{"id":"https://openalex.org/W7140110607","doi":"https://doi.org/10.48550/arxiv.2603.19560","title":"Incremental Live Programming via Shortcut Memoization","display_name":"Incremental Live Programming via Shortcut Memoization","publication_year":2026,"publication_date":"2026-03-20","ids":{"openalex":"https://openalex.org/W7140110607","doi":"https://doi.org/10.48550/arxiv.2603.19560"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.19560","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19560","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.19560","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130344971","display_name":"Marisa Kirisame","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kirisame, Marisa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072260589","display_name":"Tod S. Porter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Porter, Thomas J.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100519276","display_name":"Ruqing Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Ruqing","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101154136","display_name":"Jianqiu Zhao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhao, Jianqiu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101377538","display_name":"Yudi Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Yudi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110075320","display_name":"Ivan Wei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei, Ivan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001010367","display_name":"Cyrus Omar","orcid":"https://orcid.org/0000-0003-4502-7971"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Omar, Cyrus","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5130349468","display_name":"Pavel Panchekha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Panchekha, Pavel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5130344971"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.49630001187324524,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.49630001187324524,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.35019999742507935,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.042899999767541885,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.8748000264167786},{"id":"https://openalex.org/keywords/memoization","display_name":"Memoization","score":0.8083999752998352},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6682000160217285},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6161999702453613},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5097000002861023},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.435699999332428},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.43160000443458557},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.41940000653266907}],"concepts":[{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.8748000264167786},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8413000106811523},{"id":"https://openalex.org/C79516417","wikidata":"https://www.wikidata.org/wiki/Q1376168","display_name":"Memoization","level":4,"score":0.8083999752998352},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6682000160217285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6269000172615051},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6161999702453613},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5097000002861023},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.435699999332428},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.43160000443458557},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.41940000653266907},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4189999997615814},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.39980000257492065},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3993000090122223},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.34860000014305115},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.3447999954223633},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.3377000093460083},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.32010000944137573},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C128099668","wikidata":"https://www.wikidata.org/wiki/Q573952","display_name":"Lazy evaluation","level":3,"score":0.27459999918937683},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25920000672340393},{"id":"https://openalex.org/C2780985968","wikidata":"https://www.wikidata.org/wiki/Q1276781","display_name":"Mashing","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.19560","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19560","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.19560","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19560","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Live":[0],"programming":[1,129,161],"systems":[2],"aim":[3],"to":[4,39,145,170],"quickly":[5],"show":[6,192],"programmers":[7],"the":[8,19,40,45,87,126,151],"dynamic":[9],"impacts":[10],"of":[11,47,67,74,77,103,116,125,142,157,167,197],"program":[12,20,49,57,93],"edits.":[13],"To":[14],"do":[15],"so,":[16],"they":[17],"re-execute":[18],"whenever":[21],"it":[22],"is":[23,95,195],"edited,":[24],"which":[25,63],"poses":[26],"a":[27,78,90,100,110,123,133,140,165,173,199,203,207,211],"computational":[28],"challenge":[29],"when":[30,86],"programs":[31],"become":[32],"large":[33],"or":[34,89],"complex.":[35],"This":[36,51,97],"has":[37],"led":[38],"need":[41],"for":[42,106,181],"incrementality":[43],"in":[44,136],"implementation":[46],"live":[48,128],"interpreters.":[50],"paper":[52,98],"introduces":[53],"Chordata,":[54,137],"an":[55],"incremental":[56],"interpreter":[58],"based":[59],"on":[60,154,210],"shortcut":[61,104],"memoization,":[62],"learns":[64],"repeated":[65],"patterns":[66],"computation,":[68],"called":[69],"shortcuts,":[70],"by":[71],"observing":[72],"executions":[73],"previous":[75],"versions":[76],"program.":[79],"It":[80],"can":[81],"then":[82,121],"apply":[83],"these":[84],"shortcuts":[85],"same":[88],"structurally":[91],"similar":[92],"fragment":[94],"re-executed.":[96],"contributes":[99],"formal":[101],"semantics":[102],"memoization":[105],"any":[107],"language":[108],"with":[109,113,172,206],"rewrite-based":[111],"semantics,":[112],"mechanized":[114],"proofs":[115],"key":[117],"correctness":[118],"properties.":[119],"We":[120,149],"express":[122],"variant":[124],"Hazel":[127],"system,":[130],"expressed":[131],"as":[132],"CEK":[134],"machine,":[135],"and":[138,180],"develop":[139],"number":[141],"practical":[143],"heuristics":[144],"learn":[146],"high-value":[147],"shortcuts.":[148],"evaluate":[150],"resulting":[152],"system":[153],"editing":[155],"traces":[156],"students":[158],"solving":[159],"simple":[160],"problems.":[162],"Chordata":[163,185,194],"achieves":[164,186],"speedup":[166,200,209],"13.03\\times":[168],"compared":[169],"baseline":[171],"19.97\\times":[174],"memory":[175],"overhead.":[176],"For":[177],"smaller":[178],"changes":[179],"more":[182],"complex":[183],"programs,":[184],"even":[187,201],"greater":[188],"speedups.":[189],"Furthermore,":[190],"we":[191],"that":[193],"capable":[196],"providing":[198],"within":[202],"single":[204],"execution,":[205],"faster":[208],"larger":[212],"input.":[213]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2026-03-24T00:00:00"}