{"id":"https://openalex.org/W7206197834","doi":"https://doi.org/10.1145/3843967.3844678","title":"Don't Trust the Code, Check Its Effects: Runtime Refinement for Regenerated Systems Code Under an Adversarial Generator","display_name":"Don't Trust the Code, Check Its Effects: Runtime Refinement for Regenerated Systems Code Under an Adversarial Generator","publication_year":2026,"publication_date":"2026-09-29","ids":{"openalex":"https://openalex.org/W7206197834","doi":"https://doi.org/10.1145/3843967.3844678"},"language":"en","primary_location":{"id":"doi:10.1145/3843967.3844678","doi":"https://doi.org/10.1145/3843967.3844678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3843967.3844678","pdf_url":null,"source":{"id":"https://openalex.org/S7407121280","display_name":"Workshop on Practical Adoption Challenges of ML for Systems (PACMI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Practical Adoption Challenges of ML for Systems","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3843967.3844678","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5149394738","display_name":"Jinhao Hu","orcid":"https://orcid.org/0009-0009-6941-9823","observed_orcids":["https://orcid.org/0009-0009-6941-9823"]},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jinhao Hu","raw_affiliation_strings":["Max Planck Institute for Software Systems, Saarbr\u00fccken, Saarland, Germany"],"raw_orcid":"https://orcid.org/0009-0009-6941-9823","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Saarbr\u00fccken, Saarland, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063921617","display_name":"Ashvin Goel","orcid":"https://orcid.org/0000-0003-4048-5906","observed_orcids":["https://orcid.org/0000-0003-4048-5906"]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ashvin Goel","raw_affiliation_strings":["University of Toronto, Toronto, Ontario, Canada"],"raw_orcid":"https://orcid.org/0000-0003-4048-5906","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Ontario, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051818971","display_name":"Laurent Bindschaedler","orcid":"https://orcid.org/0000-0003-0559-631X","observed_orcids":["https://orcid.org/0000-0003-0559-631X"]},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Laurent Bindschaedler","raw_affiliation_strings":["Max Planck Institute for Software Systems, Saarbr\u00fccken, Saarland, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0559-631X","affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Saarbr\u00fccken, Saarland, Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.6128866,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9047999978065491,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9047999978065491,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.07460000365972519,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0024999999441206455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/reference-monitor","display_name":"reference monitor","score":0.8479999899864197},{"id":"https://openalex.org/keywords/device-drivers","display_name":"device drivers","score":0.9290000200271606},{"id":"https://openalex.org/keywords/irreversible-effects","display_name":"irreversible effects","score":0.6050000190734863}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7930999994277954},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.7228999733924866},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6855000257492065},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5450000166893005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5297999978065491},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.5231000185012817},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4189999997615814},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.41670000553131104},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.35839998722076416},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.34549999237060547},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3224000036716461},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.31299999356269836},{"id":"https://openalex.org/C148220186","wikidata":"https://www.wikidata.org/wiki/Q7111912","display_name":"Outcome (game theory)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30559998750686646},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30559998750686646},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2953000068664551},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.26980000734329224},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2628999948501587},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2590999901294708},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3843967.3844678","doi":"https://doi.org/10.1145/3843967.3844678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3843967.3844678","pdf_url":null,"source":{"id":"https://openalex.org/S7407121280","display_name":"Workshop on Practical Adoption Challenges of ML for Systems (PACMI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Practical Adoption Challenges of ML for Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2609.00430","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.00430","pdf_url":"https://arxiv.org/pdf/2609.00430","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.00430","doi":"https://doi.org/10.48550/arxiv.2609.00430","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.00430","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1145/3843967.3844678","doi":"https://doi.org/10.1145/3843967.3844678","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3843967.3844678","pdf_url":null,"source":{"id":"https://openalex.org/S7407121280","display_name":"Workshop on Practical Adoption Challenges of ML for Systems (PACMI)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Practical Adoption Challenges of ML for Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7206197834.pdf","grobid_xml":"https://content.openalex.org/works/W7206197834.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W2034711041","https://openalex.org/W2036910349","https://openalex.org/W2062340141","https://openalex.org/W2068341689","https://openalex.org/W2079029390","https://openalex.org/W2101623441","https://openalex.org/W2104413677","https://openalex.org/W2136310957","https://openalex.org/W2137621008","https://openalex.org/W2147041723","https://openalex.org/W2150593762","https://openalex.org/W2167800525","https://openalex.org/W2342083136","https://openalex.org/W2954549386","https://openalex.org/W2963530628","https://openalex.org/W4234087688","https://openalex.org/W4238954116","https://openalex.org/W4240191654","https://openalex.org/W4246466186","https://openalex.org/W4362661194","https://openalex.org/W4388886073","https://openalex.org/W4405898991","https://openalex.org/W4415007625","https://openalex.org/W7129553351","https://openalex.org/W7133310058","https://openalex.org/W7154959401","https://openalex.org/W7160376779","https://openalex.org/W7161154557","https://openalex.org/W7162338371","https://openalex.org/W7162433086","https://openalex.org/W7164360928","https://openalex.org/W7164998039","https://openalex.org/W7165615512","https://openalex.org/W7167794789","https://openalex.org/W7203688369"],"related_works":["https://openalex.org/W7214035031","https://openalex.org/W7202117462","https://openalex.org/W7172326371","https://openalex.org/W7127436505","https://openalex.org/W7223560325","https://openalex.org/W7161275153","https://openalex.org/W7171781101","https://openalex.org/W4403885780","https://openalex.org/W2106271920","https://openalex.org/W7221507630"],"abstract_inverted_index":{"Recent":[0],"work":[1,36],"uses":[2],"large":[3],"language":[4],"models":[5],"to":[6,29,111,115,122],"generate":[7],"systems":[8,70],"code":[9,71,119,126],"from":[10],"specifications,":[11],"treating":[12],"the":[13,16,20,25,55,67,91,104,107,117,120,142,149,153,156,174,180],"specification":[14,143],"as":[15,22,164],"durable":[17],"artifact":[18],"and":[19,32,49,54,93,137,172,190],"implementation":[21,26],"disposable.":[23],"Regenerating":[24],"specializes":[27],"it":[28,158],"each":[30],"workload":[31],"device.":[33],"However,":[34],"that":[35,80,106],"lives":[37,151],"in":[38,152],"a":[39,42,78,94,130,165],"forgiving":[40],"setting:":[41,69],"component's":[43],"externally":[44],"visible":[45],"effects,":[46],"its":[47,99],"writes":[48],"device":[50,170],"commands,":[51],"are":[52,74],"recoverable,":[53],"generator":[56,79],"is":[57,61,114,198],"honest,":[58],"so":[59],"trust":[60],"discharged":[62],"by":[63,77],"re-execution.":[64],"We":[65,102,161],"target":[66],"unforgiving":[68],"whose":[72],"effects":[73],"irreversible,":[75],"produced":[76,146],"may":[81],"be":[82],"adversarial.":[83],"There,":[84],"re-execution":[85],"cannot":[86],"check":[87],"an":[88],"effect":[89,136,181],"after":[90],"fact,":[92],"proof":[95],"fails":[96],"silently":[97],"when":[98,141,195],"assumptions":[100],"do.":[101],"take":[103],"position":[105],"only":[108,127,140],"safe":[109],"way":[110],"operate":[112],"here":[113],"deny":[116],"generated":[118,125],"authority":[121],"act.":[123],"The":[124],"plans,":[128],"while":[129],"fixed":[131],"trusted":[132],"mediator":[133],"owns":[134],"every":[135],"performs":[138],"one":[139],"would":[144],"have":[145],"it.":[147],"Because":[148],"guarantee":[150],"mediator,":[154],"not":[155],"code,":[157],"survives":[159],"regeneration.":[160],"instantiate":[162],"this":[163],"reference":[166],"monitor":[167],"for":[168],"regenerated":[169],"drivers,":[171],"characterize":[173],"mediability":[175],"envelope,":[176],"six":[177],"conditions":[178],"on":[179],"vocabulary:":[182],"legibility,":[183],"spec-input":[184],"observability,":[185],"correlatability,":[186],"completeness,":[187],"outcome":[188],"enumerability,":[189],"explicit":[191],"durability.":[192],"They":[193],"decide":[194],"such":[196],"mediation":[197],"possible.":[199]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-03T00:00:00"}