{"id":"https://openalex.org/W4213287115","doi":"https://doi.org/10.1145/3503222.3507764","title":"Finding missed optimizations through the lens of dead code elimination","display_name":"Finding missed optimizations through the lens of dead code elimination","publication_year":2022,"publication_date":"2022-02-22","ids":{"openalex":"https://openalex.org/W4213287115","doi":"https://doi.org/10.1145/3503222.3507764"},"language":"en","primary_location":{"id":"doi:10.1145/3503222.3507764","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503222.3507764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023299580","display_name":"Theodoros Theodoridis","orcid":"https://orcid.org/0000-0002-0896-9997"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Theodoros Theodoridis","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066738024","display_name":"Manuel Rigger","orcid":"https://orcid.org/0000-0001-8303-2099"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Manuel Rigger","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5023299580"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":9.1057,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.98599892,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"697","last_page":"709"},"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.9991000294685364,"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.9991000294685364,"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.9944000244140625,"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.8901267051696777},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8156393766403198},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.6578280925750732},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6489164233207703},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6290416121482849},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.5893932580947876},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.5415629744529724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.46259111166000366},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4327618479728699},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4153272211551666},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.41344547271728516},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14715519547462463}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8901267051696777},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8156393766403198},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.6578280925750732},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6489164233207703},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6290416121482849},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.5893932580947876},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.5415629744529724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46259111166000366},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4327618479728699},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4153272211551666},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.41344547271728516},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14715519547462463},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3503222.3507764","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3503222.3507764","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1971991620","https://openalex.org/W1975332288","https://openalex.org/W1978364288","https://openalex.org/W1989985614","https://openalex.org/W2049890071","https://openalex.org/W2087985741","https://openalex.org/W2095445208","https://openalex.org/W2121081915","https://openalex.org/W2122868537","https://openalex.org/W2145458045","https://openalex.org/W2146865435","https://openalex.org/W2153530968","https://openalex.org/W2155877593","https://openalex.org/W2170737051","https://openalex.org/W2259042472","https://openalex.org/W2272182352","https://openalex.org/W2294933397","https://openalex.org/W2295178416","https://openalex.org/W2566554990","https://openalex.org/W2783614532","https://openalex.org/W2788197406","https://openalex.org/W2790950543","https://openalex.org/W2796645376","https://openalex.org/W2865298191","https://openalex.org/W2898537641","https://openalex.org/W2911433361","https://openalex.org/W2952416601","https://openalex.org/W2982547214","https://openalex.org/W3006937969","https://openalex.org/W3040591550","https://openalex.org/W3122749996","https://openalex.org/W3123858332","https://openalex.org/W4234650869","https://openalex.org/W4238083723"],"related_works":["https://openalex.org/W2577630842","https://openalex.org/W2113798250","https://openalex.org/W1488300410","https://openalex.org/W4225492247","https://openalex.org/W2069117531","https://openalex.org/W4320560513","https://openalex.org/W2083681681","https://openalex.org/W2956382393","https://openalex.org/W1877657449","https://openalex.org/W2146865435"],"abstract_inverted_index":{"Compilers":[0],"are":[1],"foundational":[2],"software":[3],"development":[4],"tools":[5],"and":[6,36,70,100,127,175,184,191,210,232,246,253],"incorporate":[7],"increasingly":[8],"sophisticated":[9],"optimizations.":[10,81,199,249],"Due":[11],"to":[12,18,86,92,204],"their":[13,188],"complexity,":[14],"it":[15,239],"is":[16,85],"difficult":[17],"systematically":[19,161],"identify":[20,101,129],"opportunities":[21],"for":[22,208,242],"improving":[23],"them.":[24],"Indeed,":[25],"the":[26,109,118,124,148,151,155,230],"automatic":[27],"discovery":[28],"of":[29,79,112,150,157,173,197,212,234],"missed":[30,47,80,102,130,198,248],"optimizations":[31,48,131],"has":[32],"been":[33,217],"an":[34,170],"important":[35],"significant":[37],"challenge.":[38],"The":[39],"few":[40],"existing":[41],"approaches":[42],"either":[43],"cannot":[44],"accurately":[45],"pinpoint":[46],"or":[49,219],"target":[50],"only":[51],"specific":[52],"analyses.":[53],"This":[54,250],"paper":[55],"tackles":[56],"this":[57,255],"challenge":[58],"by":[59],"introducing":[60],"a":[61,68,76,113,194],"novel,":[62],"effective":[63],"approach":[64,236],"that":[65,229],"---":[66,73],"in":[67,108],"simple":[69],"general":[71],"manner":[72],"automatically":[74],"identifies":[75],"wide":[77],"range":[78],"Our":[82,200],"core":[83],"insight":[84],"leverage":[87],"dead":[88,137],"code":[89,99],"elimination":[90],"(DCE)":[91],"both":[93],"analyze":[94],"how":[95,133,163],"well":[96,134,164],"compilers":[97,135,165],"optimize":[98,166],"optimizations:":[103],"(1)":[104,181],"insert":[105],"\"optimization":[106,125],"markers\"":[107],"basic":[110,121],"blocks":[111,122],"given":[114],"program,":[115],"(2)":[116,192],"compute":[117],"program's":[119],"live/dead":[120],"using":[123,177],"markers\",":[126],"(3)":[128],"from":[132],"eliminate":[136],"blocks.":[138],"We":[139,168,227],"essentially":[140],"exploit":[141],"that,":[142],"since":[143],"DCE":[144],"heavily":[145],"depends":[146],"on":[147],"rest":[149],"optimization":[152,189],"pipeline,":[153],"through":[154],"lens":[156],"DCE,":[158],"one":[159],"can":[160],"quantify":[162],"code.":[167],"conduct":[169],"extensive":[171],"analysis":[172],"GCC":[174,209],"LLVM":[176],"our":[178,222,235],"approach,":[179],"which":[180,213],"provides":[182],"quantitative":[183],"qualitative":[185],"insights":[186],"regarding":[187],"capabilities,":[190],"uncovers":[193],"diverse":[195],"set":[196],"results":[201],"also":[202],"lead":[203],"84":[205],"bug":[206],"reports":[207],"LLVM,":[211],"62":[214],"have":[215],"already":[216],"confirmed":[218],"fixed,":[220],"demonstrating":[221],"work's":[223],"strong":[224],"practical":[225],"utility.":[226],"expect":[228],"simplicity":[231],"generality":[233],"will":[237],"make":[238],"widely":[240],"applicable":[241],"understanding":[243],"compiler":[244],"performance":[245],"finding":[247],"work":[251],"opens":[252],"initiates":[254],"promising":[256],"direction.":[257]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":18},{"year":2023,"cited_by_count":9},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}