{"id":"https://openalex.org/W7166052013","doi":"https://doi.org/10.48550/arxiv.2606.27122","title":"Mostly Automatic Translation of Language Interpreters from C to Safe Rust","display_name":"Mostly Automatic Translation of Language Interpreters from C to Safe Rust","publication_year":2026,"publication_date":"2026-06-25","ids":{"openalex":"https://openalex.org/W7166052013","doi":"https://doi.org/10.48550/arxiv.2606.27122"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.27122","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.27122","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.27122","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139425870","display_name":"Bo Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Bo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139463667","display_name":"Brandon Paulsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paulsen, Brandon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029677703","display_name":"Joey Dodds","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dodds, Joey","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139432163","display_name":"Daniel Kroening","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kroening, Daniel","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139452478","display_name":"Umang Mathur","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mathur, Umang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139412891","display_name":"Prateek Saxena","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saxena, Prateek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T11424","display_name":"Security and Verification in Computing","score":0.8928999900817871,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.8928999900817871,"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/T10126","display_name":"Logic, programming, and type systems","score":0.044599998742341995,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.014100000262260437,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/interpreter","display_name":"Interpreter","score":0.6550999879837036},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5523999929428101},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.46309998631477356},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.4203000068664551},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.397599995136261},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.3828999996185303},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.37119999527931213},{"id":"https://openalex.org/keywords/compiled-language","display_name":"Compiled language","score":0.36070001125335693}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7168999910354614},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.6550999879837036},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5523999929428101},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4959000051021576},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4869000017642975},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46549999713897705},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.46309998631477356},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.4203000068664551},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.397599995136261},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.3828999996185303},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.37119999527931213},{"id":"https://openalex.org/C92966194","wikidata":"https://www.wikidata.org/wiki/Q651794","display_name":"Compiled language","level":4,"score":0.36070001125335693},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.29679998755455017},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.29580000042915344},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.28790000081062317},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.25929999351501465},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.27122","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.27122","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.27122","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.27122","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":"Preprint"},"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":{"Translating":[0],"C":[1,51,69,130],"programs":[2,20,49],"to":[3,9,52,65,71,80,108,215],"safe":[4,53,72,135],"Rust":[5,136],"is":[6,158],"challenging":[7],"owing":[8],"significant":[10],"differences":[11],"in":[12,129,133,223],"typing":[13],"constraints,":[14],"ownership,":[15],"and":[16,34,94,126,170,192],"borrowing":[17],"rules.":[18],"Interpreter":[19],"are":[21,131],"particularly":[22],"important":[23],"targets":[24],"for":[25],"such":[26,121],"translation,":[27],"as":[28,122],"they":[29],"often":[30],"handle":[31],"untrusted":[32],"inputs":[33],"suffer":[35],"from":[36,50,63,166],"memory-related":[37],"vulnerabilities.":[38],"We":[39],"present":[40,128],"Reboot,":[41,56],"a":[42,152,159,181],"mostly-automatic":[43],"technique":[44],"that":[45,104,118,208],"translates":[46],"real-world":[47],"interpreter":[48],"Rust.":[54],"Using":[55],"we":[57],"have":[58],"translated":[59],"six":[60],"interpreters":[61],"ranging":[62],"6k":[64],"23k":[66],"lines":[67],"of":[68,89,154],"code":[70],"Rust,":[73],"with":[74,174,200,220],"each":[75,157,175],"translation":[76,147,164,196,212,218],"requiring":[77],"only":[78],"1":[79],"11":[81],"brief":[82],"user":[83],"interventions.":[84],"All":[85],"translations":[86],"pass":[87,97,224],"100%":[88],"the":[90,109,134,146,163,167],"provided":[91],"test":[92,228],"suites,":[93],"achieve":[95],"62%--92%":[96],"rates":[98,225],"on":[99,115,198,226],"separately":[100],"created":[101],"validation":[102,191,227],"tests":[103],"were":[105],"never":[106],"exposed":[107],"system.":[110],"A":[111],"security":[112],"case":[113],"study":[114,206],"mujs":[116],"shows":[117],"memory":[119],"vulnerabilities":[120],"heap":[123],"buffer":[124],"overflows":[125],"use-after-free":[127],"eliminated":[132],"translation.":[137],"Two":[138],"ideas":[139],"underpin":[140],"Reboot.":[141],"First,":[142],"feature":[143,209],"reduction":[144,210],"decomposes":[145],"by":[148],"program":[149],"features,":[150,173],"creating":[151],"sequence":[153],"milestones":[155],"where":[156],"complete,":[160],"testable":[161],"program;":[162],"starts":[165],"simplest":[168],"version":[169],"incrementally":[171],"restores":[172],"milestone":[176],"validated":[177],"before":[178],"proceeding.":[179],"Second,":[180],"multi-agent":[182,217],"architecture":[183],"orchestrates":[184],"inherently":[185],"unreliable":[186],"coding":[187],"agents":[188],"through":[189],"automated":[190],"feedback,":[193],"keeping":[194],"long-running":[195],"workflows":[197],"track":[199],"minimal":[201],"human":[202],"involvement.":[203],"An":[204],"ablation":[205],"confirms":[207],"improves":[211],"correctness":[213],"compared":[214],"using":[216],"alone,":[219],"6%--20%":[221],"improvements":[222],"suites.":[229]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-27T00:00:00"}