{"id":"https://openalex.org/W7204765249","doi":"https://doi.org/10.48550/arxiv.2608.27981","title":"CHISEL-ing Back Source Code with AI-enabled Iterative Recovery","display_name":"CHISEL-ing Back Source Code with AI-enabled Iterative Recovery","publication_year":2026,"publication_date":"2026-08-28","ids":{"openalex":"https://openalex.org/W7204765249","doi":"https://doi.org/10.48550/arxiv.2608.27981"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.27981","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27981","pdf_url":"https://arxiv.org/pdf/2608.27981","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":"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/2608.27981","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002057795","display_name":"Varun Kohli","orcid":"https://orcid.org/0000-0003-4497-909X","observed_orcids":["https://orcid.org/0000-0003-4497-909X"]},"institutions":[{"id":"https://openalex.org/I4405277092","display_name":"Institute of Advanced Intelligence and Computing","ror":"https://ror.org/01eczt548","country_code":"SG","type":"facility","lineage":["https://openalex.org/I4405277092"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Kohli, Varun","raw_affiliation_strings":["STAR Institute of Advanced Intelligence and Computing Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"STAR Institute of Advanced Intelligence and Computing Singapore","institution_ids":["https://openalex.org/I4405277092"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148817520","display_name":"N Raghava","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405262155","display_name":"Coimbatore Institute of Technology","ror":"https://ror.org/01nsshk90","country_code":"IN","type":"education","lineage":["https://openalex.org/I4405262155"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Raghava, N","raw_affiliation_strings":["Coimbatore Institution of Technology Coimbatore , India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Coimbatore Institution of Technology Coimbatore , India","institution_ids":["https://openalex.org/I4405262155"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123033632","display_name":"Biplab Sikdar","orcid":"https://orcid.org/0000-0002-0084-4647","observed_orcids":["https://orcid.org/0000-0002-0084-4647"]},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Sikdar, Biplab","raw_affiliation_strings":["National University of Singapore Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012540529","display_name":"Dinil Mon Divakaran","orcid":"https://orcid.org/0000-0001-8706-432X","observed_orcids":["https://orcid.org/0000-0001-8706-432X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Divakaran, Dinil Mon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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.9404000043869019,"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.9404000043869019,"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/T11424","display_name":"Security and Verification in Computing","score":0.03099999949336052,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.023000000044703484,"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/decompilation","display_name":"decompilation","score":0.8190000057220459},{"id":"https://openalex.org/keywords/compiler-feedback","display_name":"compiler feedback","score":0.5389999747276306},{"id":"https://openalex.org/keywords/coverage-guided-fuzzing","display_name":"coverage-guided fuzzing","score":0.9110000133514404},{"id":"https://openalex.org/keywords/divergence-detection","display_name":"divergence detection","score":0.6610000133514404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7706000208854675},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6809999942779541},{"id":"https://openalex.org/C2775962983","wikidata":"https://www.wikidata.org/wiki/Q474188","display_name":"Chisel","level":2,"score":0.6014000177383423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5472999811172485},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4982999861240387},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4927000105381012},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4650000035762787},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.4530999958515167},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4034999907016754},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40299999713897705},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39419999718666077},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.38019999861717224},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3749000132083893},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2955000102519989},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28299999237060547},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2705000042915344},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.25859999656677246},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2508000135421753},{"id":"https://openalex.org/C32145003","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"PL/SQL","level":5,"score":0.25060001015663147}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.27981","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27981","pdf_url":"https://arxiv.org/pdf/2608.27981","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.27981","doi":"https://doi.org/10.48550/arxiv.2608.27981","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.27981","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":"pmh:oai:arXiv.org:2608.27981","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27981","pdf_url":"https://arxiv.org/pdf/2608.27981","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204765249.pdf","grobid_xml":"https://content.openalex.org/works/W7204765249.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W4417347839","https://openalex.org/W7138041967","https://openalex.org/W7156575635","https://openalex.org/W7162112499"],"related_works":["https://openalex.org/W4411522870","https://openalex.org/W7211883960","https://openalex.org/W7171714348","https://openalex.org/W7204813045","https://openalex.org/W7172224254","https://openalex.org/W4387561181","https://openalex.org/W7154562272","https://openalex.org/W4416438512","https://openalex.org/W7220898249","https://openalex.org/W4404783570"],"abstract_inverted_index":{"Decompilation":[0],"aims":[1],"to":[2,19,66],"recover":[3,68],"high-level,":[4],"compilable,":[5],"and":[6,21,85,99,104,114,120,139,158],"semantically":[7,33],"equivalent":[8],"code":[9,70],"from":[10,71,80],"binaries.":[11],"Traditional":[12],"decompilers":[13],"produce":[14],"pseudo-C":[15],"that":[16],"is":[17,39],"difficult":[18],"read":[20],"does":[22],"not":[23],"compile,":[24],"while":[25],"the":[26,129,143,177],"recent":[27,195],"LLM-assisted":[28,199],"approaches":[29],"generate":[30],"readable,":[31],"but":[32,45],"incorrect":[34],"code.":[35],"LLM-aided":[36],"iterative":[37],"recovery":[38],"an":[40,153,163],"emerging":[41],"branch":[42],"of":[43,155,165,172],"research,":[44],"prior":[46,196],"works":[47],"rely":[48],"on":[49,123,198],"supplied":[50],"test":[51,63],"suites":[52],"for":[53,95,112,128],"semantic":[54,115],"recovery.":[55],"In":[56],"this":[57],"work,":[58],"we":[59],"present":[60],"CHISEL,":[61,147],"a":[62,81,86],"suite-free":[64],"framework":[65],"iteratively":[67],"source":[69],"Ghidra-derived":[72],"pseudo-C.":[73],"CHISEL":[74,111,169,180,189],"uses":[75],"simple":[76],"yet":[77],"effective":[78],"feedback":[79,117,181],"compiler":[82],"(static":[83],"analysis)":[84],"coverage-guided":[87],"fuzzer":[88],"(differential":[89],"analysis),":[90],"augmented":[91],"by":[92],"rich":[93],"observables":[94],"grounded":[96],"divergence":[97,102],"detection":[98],"feedback,":[100],"cross-iteration":[101],"memory,":[103],"best":[105],"candidate":[106],"retention.":[107],"We":[108],"systematically":[109],"evaluate":[110],"compilation":[113],"recovery,":[116],"oracle":[118,182],"soundness,":[119],"iteration":[121],"overhead":[122],"120":[124],"ExeBench":[125],"functions":[126],"compiled":[127],"x86-64":[130],"architecture,":[131],"across":[132],"four":[133],"optimizations":[134],"(O0-O3),":[135],"in":[136],"both":[137],"stripped":[138],"unstripped":[140],"variants,":[141],"using":[142],"open-weight":[144],"Gemma4:31b":[145],"LLM.":[146],"with":[148],"all":[149],"recommended":[150],"features,":[151],"achieves":[152],"average":[154,164],"96.1%":[156],"re-compilability":[157],"79.8%":[159],"re-executability":[160],"rates":[161],"at":[162],"2.1":[166],"iterations.":[167],"Significantly,":[168],"recovers":[170],"26%":[171],"first-generation":[173],"execution":[174],"errors.":[175],"At":[176],"same":[178],"time,":[179],"falsely":[183],"accepts":[184],"only":[185],"9.4%":[186],"candidates.":[187],"Lastly,":[188],"performs":[190],"significantly":[191],"better":[192],"than":[193],"two":[194],"work":[197],"decompilation.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-01T00:00:00"}