{"id":"https://openalex.org/W7160997041","doi":"https://doi.org/10.48550/arxiv.2605.11501","title":"Decaf: Improving Neural Decompilation with Automatic Feedback and Search","display_name":"Decaf: Improving Neural Decompilation with Automatic Feedback and Search","publication_year":2026,"publication_date":"2026-05-12","ids":{"openalex":"https://openalex.org/W7160997041","doi":"https://doi.org/10.48550/arxiv.2605.11501"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.11501","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.11501","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":"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.11501","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067965268","display_name":"Alexander Shypula","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shypula, Alexander","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029243071","display_name":"Osbert Bastani","orcid":"https://orcid.org/0000-0001-9990-7566"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bastani, Osbert","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136063387","display_name":"Edward Schwartz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schwartz, Edward","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/T10260","display_name":"Software Engineering Research","score":0.7235999703407288,"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.7235999703407288,"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":0.04190000146627426,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.03020000085234642,"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/source-code","display_name":"Source code","score":0.5692999958992004},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.490200012922287},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4781000018119812},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.47040000557899475},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4390999972820282},{"id":"https://openalex.org/keywords/identifier","display_name":"Identifier","score":0.42100000381469727},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3467999994754791},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.3418999910354614},{"id":"https://openalex.org/keywords/genetic-programming","display_name":"Genetic programming","score":0.32409998774528503}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8385000228881836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5774999856948853},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5692999958992004},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5605000257492065},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.490200012922287},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4781000018119812},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.47040000557899475},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4390999972820282},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.42100000381469727},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3617999851703644},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3467999994754791},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.3418999910354614},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.32409998774528503},{"id":"https://openalex.org/C2777394884","wikidata":"https://www.wikidata.org/wiki/Q762268","display_name":"Automatic programming","level":2,"score":0.30480000376701355},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C60908668","wikidata":"https://www.wikidata.org/wiki/Q690207","display_name":"Perceptron","level":3,"score":0.29809999465942383},{"id":"https://openalex.org/C2911011789","wikidata":"https://www.wikidata.org/wiki/Q130741","display_name":"Hallucinating","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.2856000065803528},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.2800999879837036},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2750999927520752},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.26829999685287476},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.11501","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.11501","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.11501","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.11501","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":"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"},"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":{"Decompilers":[0],"are":[1,31,46,65],"useful":[2,47],"tools":[3,48],"used":[4,108],"in":[5],"reverse":[6],"engineering":[7],"to":[8,40,55,91,109,137,147],"understand":[9],"compiled":[10,17],"source":[11,14,150],"code.":[12,43,151],"Reconstructing":[13],"code":[15,39],"from":[16,133],"binaries":[18],"is":[19,159],"a":[20,66],"challenging":[21],"task,":[22],"because":[23],"high-level":[24,71],"syntax,":[25,72],"identifiers,":[26,73],"and":[27,59,74,86,98],"custom":[28],"data":[29,97],"types":[30],"generally":[32],"lost":[33],"as":[34],"the":[35,112,129,140,148],"compiler":[36,104],"translates":[37],"human-readable":[38],"low-level":[41],"machine":[42],"Deterministic":[44],"decompilers":[45,94],"for":[49,69,162],"binary":[50],"analysis,":[51],"but":[52,76],"can":[53,78,106],"struggle":[54],"infer":[56],"idiomatic":[57],"syntax":[58],"identifier":[60],"names.":[61],"Generative":[62],"AI":[63],"models":[64],"natural":[67],"fit":[68],"reconstructing":[70],"types,":[75],"they":[77],"still":[79],"suffer":[80],"by":[81],"hallucinating":[82],"improper":[83],"programming":[84],"constructs":[85],"semantics.":[87],"Instead":[88],"of":[89,115],"attempting":[90],"improve":[92,111],"neural":[93,116,130,165],"with":[95,125],"more":[96,99],"training,":[100],"we":[101],"argue":[102],"that":[103],"feedback":[105,157],"be":[107],"dramatically":[110],"semantic":[113],"correctness":[114],"decompiler":[117],"outputs":[118],"via":[119],"search.":[120],"Our":[121],"system,":[122],"Decaf":[123],"(DECompilation":[124],"Automated":[126],"Feedback),":[127],"raises":[128],"decompilation":[131,166],"rate":[132],"26.0%":[134],"on":[135,139],"ExeBench":[136],"83.9%":[138],"Real":[141],"-O2":[142],"split":[143],"without":[144],"sacrificing":[145],"similarity":[146],"original":[149],"We":[152],"also":[153],"find":[154],"our":[155],"automatic":[156],"methodology":[158],"highly":[160],"effective":[161],"improving":[163],"weaker":[164],"models.":[167]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-14T00:00:00"}