{"id":"https://openalex.org/W7214965235","doi":"https://doi.org/10.48550/arxiv.2609.36161","title":"From Dead Code and Static Requirements to Working Engines: Software Revival with Coding Agents","display_name":"From Dead Code and Static Requirements to Working Engines: Software Revival with Coding Agents","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214965235","doi":"https://doi.org/10.48550/arxiv.2609.36161"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.36161","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.36161","pdf_url":"https://arxiv.org/pdf/2609.36161","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.36161","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5153655413","display_name":"Tianyu Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Tianyu","raw_affiliation_strings":["Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141015830","display_name":"Dingyuan Dai","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dai, Dingyuan","raw_affiliation_strings":["UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5153655223","display_name":"Yufan Du","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Du, Yufan","raw_affiliation_strings":["UCLA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCLA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5153657780","display_name":"Zhen Yang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang, Zhen","raw_affiliation_strings":["Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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":9.999999747378752e-05,"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/ai-coding-agents","display_name":"coding agents","score":0.8999999761581421},{"id":"https://openalex.org/keywords/benchmark-design","display_name":"benchmark design","score":0.45399999618530273},{"id":"https://openalex.org/keywords/legacy-software","display_name":"legacy software","score":0.5830000042915344},{"id":"https://openalex.org/keywords/contamination-control","display_name":"contamination control","score":0.5099999904632568},{"id":"https://openalex.org/keywords/cad-systems","display_name":"CAD systems","score":0.4020000100135803},{"id":"https://openalex.org/keywords/crm-systems","display_name":"CRM systems","score":0.7089999914169312},{"id":"https://openalex.org/keywords/computational-fluid-dynamics","display_name":"computational fluid dynamics","score":0.6439999938011169}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7663999795913696},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6333000063896179},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5407999753952026},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5047000050544739},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.43479999899864197},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4196999967098236},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.39959999918937683},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.39089998602867126},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.3765000104904175},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.3702000081539154},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.36970001459121704},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.361299991607666},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.33799999952316284},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.33480000495910645},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.3285999894142151},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.32670000195503235},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32589998841285706},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.3197999894618988},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3059000074863434},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3059000074863434},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.29739999771118164},{"id":"https://openalex.org/C202105479","wikidata":"https://www.wikidata.org/wiki/Q265013","display_name":"Software evolution","level":5,"score":0.2921999990940094},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.2874000072479248},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2865000069141388},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C2778739407","wikidata":"https://www.wikidata.org/wiki/Q165372","display_name":"CLIPS","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.2777999937534332},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.275299996137619},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2606000006198883},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.257999986410141},{"id":"https://openalex.org/C198140048","wikidata":"https://www.wikidata.org/wiki/Q10859422","display_name":"Software versioning","level":3,"score":0.2540000081062317},{"id":"https://openalex.org/C63435697","wikidata":"https://www.wikidata.org/wiki/Q864135","display_name":"Binary code","level":3,"score":0.2533000111579895}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.36161","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.36161","pdf_url":"https://arxiv.org/pdf/2609.36161","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.36161","doi":"https://doi.org/10.48550/arxiv.2609.36161","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.36161","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.36161","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.36161","pdf_url":"https://arxiv.org/pdf/2609.36161","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214965235.pdf","grobid_xml":"https://content.openalex.org/works/W7214965235.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W3195140297","https://openalex.org/W4385902209","https://openalex.org/W4387561453","https://openalex.org/W4388444775","https://openalex.org/W4389166737","https://openalex.org/W4389518953","https://openalex.org/W4392822190","https://openalex.org/W4393145520","https://openalex.org/W4398191980","https://openalex.org/W4399213405","https://openalex.org/W4400023054","https://openalex.org/W4403324055","https://openalex.org/W4403345800","https://openalex.org/W4403363594","https://openalex.org/W4403707291","https://openalex.org/W4405031983","https://openalex.org/W4405035083","https://openalex.org/W4405957747","https://openalex.org/W4412945366","https://openalex.org/W4414413472","https://openalex.org/W4415109192","https://openalex.org/W4415111330","https://openalex.org/W4416025560","https://openalex.org/W4417525566","https://openalex.org/W7103754783","https://openalex.org/W7117780319","https://openalex.org/W7120088840","https://openalex.org/W7131417432","https://openalex.org/W7133198585","https://openalex.org/W7133239970","https://openalex.org/W7154743487","https://openalex.org/W7160240479","https://openalex.org/W7162002888","https://openalex.org/W7163279756","https://openalex.org/W7164577541","https://openalex.org/W7202272205"],"related_works":["https://openalex.org/W7221806101","https://openalex.org/W7223025953","https://openalex.org/W7223019374","https://openalex.org/W7204204864","https://openalex.org/W7208838833","https://openalex.org/W7160608354","https://openalex.org/W7172416829","https://openalex.org/W7127418923","https://openalex.org/W7162397884","https://openalex.org/W7165108501"],"abstract_inverted_index":{"Can":[0],"coding":[1,243],"agents":[2,244],"restore":[3],"software":[4,17,229,246],"that":[5,160,187],"no":[6],"longer":[7],"runs":[8],"while":[9],"preserving":[10],"its":[11],"underlying":[12],"methods,":[13],"and":[14,62,72,139,144,170,180,216,231,234],"reconstruct":[15],"industrial":[16],"engines":[18],"from":[19,99,219],"open":[20],"specifications?":[21],"Here":[22],"we":[23],"introduce":[24,192],"ReviveBench,":[25],"a":[26,63],"benchmark":[27],"with":[28],"two":[29,181],"task":[30,163],"families":[31],"evaluated":[32,75,111],"by":[33],"hidden":[34],"verifiers":[35,239],"calibrated":[36],"against":[37],"native":[38],"execution":[39],"environments,":[40],"established":[41],"engineering":[42],"tools,":[43],"or":[44],"purpose-built":[45],"reference":[46],"implementations.":[47],"The":[48,129],"revival":[49,230],"family":[50,131],"comprises":[51,132],"ten":[52,79],"tasks":[53,80,134],"involving":[54],"dependency":[55],"incompatibilities,":[56],"deleted":[57],"core":[58],"modules,":[59],"legacy":[60],"builds,":[61],"GPU-based":[64],"foundation":[65],"model.":[66,112],"Every":[67],"starting":[68],"workspace":[69],"fails":[70],"verification,":[71],"the":[73,96,105,117,121,149,161,207,238],"strongest":[74,122],"model":[76,123],"passes":[77,124],"all":[78,154],"in":[81,236],"at":[82],"least":[83],"one":[84],"run":[85],"each.":[86],"In":[87],"contamination-control":[88],"experiments,":[89],"identifier":[90],"obfuscation":[91],"reduces":[92],"line":[93],"similarity":[94],"to":[95,101,241],"original":[97],"implementations":[98],"0.51--0.96":[100],"0.03--0.44":[102],"without":[103],"reducing":[104],"observed":[106],"pass":[107,151],"rate":[108],"of":[109,126,228],"any":[110],"On":[113],"repositories":[114],"created":[115],"after":[116],"stated":[118],"knowledge":[119],"cutoffs,":[120],"eight":[125],"nine":[127],"runs.":[128],"reconstruction":[130],"thirteen":[133],"spanning":[135],"numerical,":[136],"geometric,":[137],"hardware,":[138],"transactional":[140],"systems":[141],"(e.g.":[142],"CAD":[143],"CRM).":[145],"Two":[146],"models":[147],"meet":[148],"benchmark's":[150],"criteria":[152],"on":[153],"thirteen,":[155],"although":[156],"our":[157],"audit":[158],"shows":[159],"CFD":[162],"cannot":[164],"establish":[165],"numerical-solver":[166],"capability.":[167],"Benchmark":[168],"construction":[169],"auditing":[171],"uncover":[172],"28":[173],"verifier":[174],"defects,":[175],"including":[176],"24":[177],"false":[178,182],"negatives":[179],"positives.":[183],"These":[184],"findings":[185],"show":[186],"executable":[188],"verification":[189],"can":[190,205],"itself":[191],"substantial":[193],"measurement":[194],"error.":[195],"We":[196],"present":[197],"three":[198],"practical":[199],"checks:":[200],"test":[201],"whether":[202],"prescribed":[203],"methods":[204],"reach":[206],"grading":[208],"thresholds,":[209],"investigate":[210],"agreement":[211],"among":[212],"independently":[213],"generated":[214],"candidates,":[215],"recompute":[217],"diagnostics":[218],"submitted":[220],"artifacts.":[221],"ReviveBench":[222],"thus":[223],"provides":[224],"both":[225],"an":[226],"evaluation":[227],"engine":[232],"reconstruction,":[233],"cases":[235],"validating":[237],"used":[240],"measure":[242],"for":[245],"design.":[247]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-01T00:00:00"}