{"id":"https://openalex.org/W4398785915","doi":"https://doi.org/10.1145/3639476.3639763","title":"Beyond a Joke: Dead Code Elimination Can Delete Live Code","display_name":"Beyond a Joke: Dead Code Elimination Can Delete Live Code","publication_year":2024,"publication_date":"2024-04-14","ids":{"openalex":"https://openalex.org/W4398785915","doi":"https://doi.org/10.1145/3639476.3639763"},"language":"en","primary_location":{"id":"doi:10.1145/3639476.3639763","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3639476.3639763","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3639476.3639763","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3639476.3639763","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071747248","display_name":"Haoxin Tu","orcid":"https://orcid.org/0000-0003-2389-1881"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]},{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["CN","SG"],"is_corresponding":true,"raw_author_name":"Haoxin Tu","raw_affiliation_strings":["School of Computing and Information Systems, Singapore Management University, Singapore, Singapore","School of Software, Dalian University of Technology, Dalian, Liaoning Provice, China","School of Computing and Information Systems, Singapore Management University, Singapore, Singapore School of Software, Dalian University of Technology, Dalian, Liaoning Provice, China"],"raw_orcid":"https://orcid.org/0000-0003-2389-1881","affiliations":[{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, Liaoning Provice, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Singapore, Singapore School of Software, Dalian University of Technology, Dalian, Liaoning Provice, China","institution_ids":["https://openalex.org/I79891267","https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083048049","display_name":"Lingxiao Jiang","orcid":"https://orcid.org/0000-0002-4336-8548"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Lingxiao Jiang","raw_affiliation_strings":["School of Computing and Information Systems, Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-4336-8548","affiliations":[{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079108949","display_name":"Debin Gao","orcid":"https://orcid.org/0000-0001-9412-9961"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Debin Gao","raw_affiliation_strings":["School of Computing and Information Systems, Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0009-0001-0168-6230","affiliations":[{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, Liaoning Provice, China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, Liaoning Provice, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5071747248"],"corresponding_institution_ids":["https://openalex.org/I27357992","https://openalex.org/I79891267"],"apc_list":null,"apc_paid":null,"fwci":0.4701,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56922503,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"32","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983000159263611,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983000159263611,"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.9979000091552734,"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/T10260","display_name":"Software Engineering Research","score":0.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8922711610794067},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8508023619651794},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8179922103881836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6941336393356323},{"id":"https://openalex.org/keywords/dead-code-elimination","display_name":"Dead code elimination","score":0.6837660074234009},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6233862638473511},{"id":"https://openalex.org/keywords/dead-code","display_name":"Dead code","score":0.6070106625556946},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5727666616439819},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.47619855403900146},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4522947072982788},{"id":"https://openalex.org/keywords/unreachable-code","display_name":"Unreachable code","score":0.4516526758670807},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4416922926902771},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4191451966762543},{"id":"https://openalex.org/keywords/redundant-code","display_name":"Redundant code","score":0.3663340210914612},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.29385507106781006},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1836806833744049},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.0701974630355835}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8922711610794067},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8508023619651794},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8179922103881836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6941336393356323},{"id":"https://openalex.org/C2144512","wikidata":"https://www.wikidata.org/wiki/Q1143090","display_name":"Dead code elimination","level":5,"score":0.6837660074234009},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6233862638473511},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.6070106625556946},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5727666616439819},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.47619855403900146},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4522947072982788},{"id":"https://openalex.org/C50951305","wikidata":"https://www.wikidata.org/wiki/Q2482534","display_name":"Unreachable code","level":5,"score":0.4516526758670807},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4416922926902771},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4191451966762543},{"id":"https://openalex.org/C151578736","wikidata":"https://www.wikidata.org/wiki/Q1251793","display_name":"Redundant code","level":4,"score":0.3663340210914612},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29385507106781006},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1836806833744049},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0701974630355835},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3639476.3639763","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3639476.3639763","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3639476.3639763","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-9926","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/8923","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"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":"https://doi.org/10.1145/3639476.3639763","raw_type":"Conference Proceeding Article"}],"best_oa_location":{"id":"doi:10.1145/3639476.3639763","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3639476.3639763","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3639476.3639763","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4398785915.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1516050218","https://openalex.org/W2155877593","https://openalex.org/W2170737051","https://openalex.org/W2888320512","https://openalex.org/W3000636126","https://openalex.org/W3107362213","https://openalex.org/W3130011944","https://openalex.org/W3183467446","https://openalex.org/W3205281171","https://openalex.org/W4205862895","https://openalex.org/W4213287115","https://openalex.org/W4246263814","https://openalex.org/W4284961179","https://openalex.org/W4300420355"],"related_works":["https://openalex.org/W2161969548","https://openalex.org/W4244016640","https://openalex.org/W3008325674","https://openalex.org/W2036000779","https://openalex.org/W2112669344","https://openalex.org/W1539844444","https://openalex.org/W2045218056","https://openalex.org/W179346248","https://openalex.org/W2011669306","https://openalex.org/W2999906275"],"abstract_inverted_index":{"Dead":[0],"Code":[1],"Elimination":[2],"(DCE)":[3],"is":[4,55,60],"a":[5,46,77,97],"fundamental":[6],"compiler":[7,34,50,172],"optimization":[8],"technique":[9],"that":[10,128],"removes":[11],"dead":[12,68],"code":[13,69,139],"(e.g.,":[14],"unreachable":[15],"or":[16,29],"reachable":[17],"but":[18],"whose":[19],"results":[20],"are":[21,36,42],"unused)":[22],"in":[23,70,147,160],"the":[24,120,157],"program":[25],"to":[26,81,86,114,156],"produce":[27],"smaller":[28],"faster":[30],"executables.":[31],"However,":[32],"since":[33],"optimizations":[35,51],"typically":[37],"aggressively":[38],"performed":[39,63],"and":[40,64,109,140,164],"there":[41],"complex":[43],"relationships/interplay":[44],"among":[45],"vast":[47],"number":[48],"of":[49],"(including":[52],"DCE),":[53],"it":[54],"not":[56],"known":[57],"whether":[58],"DCE":[59,84,162],"indeed":[61],"correctly":[62],"will":[65],"only":[66],"delete":[67,88],"practice.":[71],"In":[72],"this":[73,93],"study,":[74],"we":[75,95],"open":[76],"new":[78,98,170],"research":[79],"problem":[80],"investigate:":[82],"can":[83,130],"happen":[85],"erroneously":[87,121,136],"live":[89,123,138],"code?":[90],"To":[91],"tackle":[92],"problem,":[94],"design":[96],"approach":[99],"named":[100],"Xdead,":[101],"which":[102],"leverages":[103],"differential":[104],"testing,":[105],"static":[106],"binary":[107],"analysis,":[108],"dynamic":[110],"symbolic":[111],"execution":[112],"techniques,":[113],"detect":[115,142],"miscompilation":[116,145],"bugs":[117,146],"caused":[118],"by":[119],"deleted":[122,137],"code.":[124],"Preliminary":[125],"evaluation":[126],"shows":[127],"Xdead":[129],"identify":[131],"many":[132],"divergent":[133],"portions":[134],"indicating":[135],"finally":[141],"two":[143],"such":[144],"LLVM":[148],"compilers.":[149],"Our":[150],"findings":[151],"call":[152],"for":[153],"more":[154,165],"attention":[155],"potential":[158],"issues":[159],"existing":[161],"implementations":[163],"conservative":[166],"strategies":[167],"when":[168],"designing":[169],"DCE-related":[171],"optimizations.":[173]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}