{"id":"https://openalex.org/W7204581320","doi":"https://doi.org/10.18653/2026.emnlp-main.1898","title":"STILL: Recovering Lowered STL Semantics for LLM-assisted C++ Decompilation","display_name":"STILL: Recovering Lowered STL Semantics for LLM-assisted C++ Decompilation","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7204581320","doi":"https://doi.org/10.18653/2026.emnlp-main.1898"},"language":"en","primary_location":{"id":"doi:10.18653/2026.emnlp-main.1898","doi":"https://doi.org/10.18653/2026.emnlp-main.1898","is_oa":true,"landing_page_url":"https://doi.org/10.18653/2026.emnlp-main.1898","pdf_url":"https://aclanthology.org/2026.emnlp-main.1898.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://aclanthology.org/2026.emnlp-main.1898.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148530569","display_name":"Xiaohan Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaohan Wang","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030030910","display_name":"Kevin Leach","orcid":"https://orcid.org/0000-0002-4001-3442","observed_orcids":["https://orcid.org/0000-0002-4001-3442"]},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Leach","raw_affiliation_strings":["Vanderbilt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":1.8175,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85199072,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"43272","last_page":"43287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9937000274658203,"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.9937000274658203,"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.003100000089034438,"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.0006000000284984708,"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/standard-template-library","display_name":"Standard Template Library","score":0.9229999780654907},{"id":"https://openalex.org/keywords/humaneval","display_name":"HumanEval","score":0.5460000038146973}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7669000029563904},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7360000014305115},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.72079998254776},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.46709999442100525},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.46549999713897705},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4221000075340271},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.36880001425743103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3222000002861023},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2651999890804291}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.18653/2026.emnlp-main.1898","doi":"https://doi.org/10.18653/2026.emnlp-main.1898","is_oa":true,"landing_page_url":"https://doi.org/10.18653/2026.emnlp-main.1898","pdf_url":"https://aclanthology.org/2026.emnlp-main.1898.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2608.26408","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.26408","pdf_url":"https://arxiv.org/pdf/2608.26408","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.26408","doi":"https://doi.org/10.48550/arxiv.2608.26408","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.26408","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":"doi:10.18653/2026.emnlp-main.1898","doi":"https://doi.org/10.18653/2026.emnlp-main.1898","is_oa":true,"landing_page_url":"https://doi.org/10.18653/2026.emnlp-main.1898","pdf_url":"https://aclanthology.org/2026.emnlp-main.1898.pdf","source":{"id":"https://openalex.org/S4363608991","display_name":"Conference on Empirical Methods in Natural Language Processing (EMNLP)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204581320.pdf","grobid_xml":"https://content.openalex.org/works/W7204581320.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W2945057371","https://openalex.org/W4312047051","https://openalex.org/W4384159111","https://openalex.org/W4386185276","https://openalex.org/W4387561181","https://openalex.org/W4392265998","https://openalex.org/W4400375794","https://openalex.org/W4403536562","https://openalex.org/W4404781424","https://openalex.org/W4407308874","https://openalex.org/W4407423032","https://openalex.org/W4414684280","https://openalex.org/W4416228328","https://openalex.org/W4416438512","https://openalex.org/W4416830733","https://openalex.org/W4417081721","https://openalex.org/W4417347839","https://openalex.org/W4417516741","https://openalex.org/W7125394940","https://openalex.org/W7138041967","https://openalex.org/W7156575635","https://openalex.org/W7160997041"],"related_works":["https://openalex.org/W7154562272","https://openalex.org/W7172224254","https://openalex.org/W7211883960","https://openalex.org/W4411522870","https://openalex.org/W7204765249","https://openalex.org/W4387561181","https://openalex.org/W7213473453","https://openalex.org/W7171714348","https://openalex.org/W4417347839","https://openalex.org/W7154501863"],"abstract_inverted_index":{"LLM-assisted":[0],"decompilation":[1],"improves":[2],"readability":[3],"and":[4,21,33,61,85,106],"re-executability,":[5],"but":[6],"still":[7],"underperforms":[8],"on":[9],"stripped":[10,58,88],"C++":[11],"functions":[12],"that":[13,51],"use":[14],"the":[15,78,125],"Standard":[16],"Template":[17],"Library":[18],"(STL).Compilation,":[19],"optimization,":[20],"symbol":[22],"stripping":[23],"remove":[24],"or":[25],"obscure":[26],"source-level":[27],"semantics":[28,56],"such":[29],"as":[30,64],"container":[31,55],"types":[32],"library-call":[34],"structure,":[35],"while":[36],"traditional":[37],"decompiler":[38],"output":[39],"often":[40],"fails":[41],"to":[42,96,122],"recover":[43],"them.We":[44],"present":[45],"STILL,":[46],"a":[47],"structured":[48],"semantic":[49],"interface":[50],"predicts":[52,72],"functionlevel":[53],"STL":[54,75],"from":[57,124],"control-flow":[59],"graphs":[60],"renders":[62],"them":[63],"compact":[65],"hints":[66,92],"for":[67,82,103,108],"LLM":[68],"refinement.On":[69],"STL-BENCH,":[70],"STILL":[71],"common":[73],"containerlevel":[74],"semantics,":[76],"with":[77,101,116],"strongest":[79],"crossdataset":[80],"results":[81],"stable":[83],"string":[84],"vector":[86],"slices.On":[87],"HumanEval":[89],"decompilation,":[90],"these":[91],"enable":[93],"DeepSeek-chat":[94],"refinement":[95,105],"reach":[97],"28.4%":[98],"executability,":[99],"compared":[100],"17.4%":[102],"no-hint":[104],"8.9%":[107],"raw":[109],"Ghidra":[110],"decompilation;":[111],"hint":[112],"utility":[113],"is":[114],"downstream-backbone-dependent,":[115],"decompilation-specialized":[117],"models":[118],"requiring":[119],"lightweight":[120],"adaptation":[121],"benefit":[123],"same":[126],"interface.":[127]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-08-29T00:00:00"}