{"id":"https://openalex.org/W2624178362","doi":"https://doi.org/10.1145/3062341.3062343","title":"Taming undefined behavior in LLVM","display_name":"Taming undefined behavior in LLVM","publication_year":2017,"publication_date":"2017-06-14","ids":{"openalex":"https://openalex.org/W2624178362","doi":"https://doi.org/10.1145/3062341.3062343","mag":"2624178362"},"language":"en","primary_location":{"id":"doi:10.1145/3062341.3062343","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3062341.3062343","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100318692","display_name":"Juneyoung Lee","orcid":"https://orcid.org/0000-0001-8073-9304"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Juneyoung Lee","raw_affiliation_strings":["Seoul National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University, South Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033994870","display_name":"Yoonseung Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yoonseung Kim","raw_affiliation_strings":["Seoul National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University, South Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054933763","display_name":"Youngju Song","orcid":"https://orcid.org/0000-0001-7093-3824"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Youngju Song","raw_affiliation_strings":["Seoul National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University, South Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035382393","display_name":"Chung-Kil Hur","orcid":"https://orcid.org/0000-0002-1656-0913"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Chung-Kil Hur","raw_affiliation_strings":["Seoul National University, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University, South Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053663591","display_name":"Sanjoy Das","orcid":"https://orcid.org/0000-0003-0699-1848"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sanjoy Das","raw_affiliation_strings":["Azul Systems, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Azul Systems, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052430658","display_name":"David Majnemer","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Majnemer","raw_affiliation_strings":["Google, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066046345","display_name":"John Regehr","orcid":"https://orcid.org/0000-0001-7025-4610"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Regehr","raw_affiliation_strings":["University of Utah, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088560717","display_name":"Nuno P. Lopes","orcid":"https://orcid.org/0000-0002-3160-1672"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nuno P. Lopes","raw_affiliation_strings":["Microsoft Research, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.8039,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":{"value":0.95453532,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"633","last_page":"647"},"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.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/compiler","display_name":"Compiler","score":0.8848944902420044},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8816671371459961},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6979081630706787},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6796159744262695},{"id":"https://openalex.org/keywords/intermediate-language","display_name":"Intermediate language","score":0.5847978591918945},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4612094461917877},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.44257909059524536},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.41851773858070374},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.331464558839798},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.1271633803844452},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.11827197670936584}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8848944902420044},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8816671371459961},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6979081630706787},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6796159744262695},{"id":"https://openalex.org/C77660490","wikidata":"https://www.wikidata.org/wiki/Q244916","display_name":"Intermediate language","level":3,"score":0.5847978591918945},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4612094461917877},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.44257909059524536},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.41851773858070374},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.331464558839798},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.1271633803844452},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.11827197670936584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3062341.3062343","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3062341.3062343","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:s-space.snu.ac.kr:10371/192902","is_oa":false,"landing_page_url":"https://hdl.handle.net/10371/192902","pdf_url":null,"source":{"id":"https://openalex.org/S4306401345","display_name":"Seoul National University Open Repository (Seoul National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139264467","host_organization_name":"Seoul National University","host_organization_lineage":["https://openalex.org/I139264467"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332195","display_name":"Samsung","ror":"https://ror.org/04w3jy968"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1680927362","https://openalex.org/W1969064066","https://openalex.org/W1969132748","https://openalex.org/W1978364288","https://openalex.org/W1982205631","https://openalex.org/W1990087033","https://openalex.org/W1998263113","https://openalex.org/W2003164052","https://openalex.org/W2023035194","https://openalex.org/W2034340985","https://openalex.org/W2061915850","https://openalex.org/W2076422924","https://openalex.org/W2101225843","https://openalex.org/W2158493209","https://openalex.org/W2167029843","https://openalex.org/W2168096831","https://openalex.org/W2242334801","https://openalex.org/W2284787681","https://openalex.org/W2287408962","https://openalex.org/W2338718339","https://openalex.org/W2410327772","https://openalex.org/W2414762192","https://openalex.org/W2581356531","https://openalex.org/W2592137786","https://openalex.org/W2743924600","https://openalex.org/W3098190183","https://openalex.org/W3142903977","https://openalex.org/W4298447450","https://openalex.org/W6684757631"],"related_works":["https://openalex.org/W3083197299","https://openalex.org/W2134386444","https://openalex.org/W4226439887","https://openalex.org/W2374859588","https://openalex.org/W1487052613","https://openalex.org/W2516139633","https://openalex.org/W2289487420","https://openalex.org/W2010714123","https://openalex.org/W2508091716","https://openalex.org/W2188615207"],"abstract_inverted_index":{"A":[0],"central":[1],"concern":[2],"for":[3,15,57],"an":[4,40],"optimizing":[5,59],"compiler":[6,60],"is":[7],"the":[8,50,84,114,150],"design":[9,44],"of":[10,42,52,76,86,124,132,185],"its":[11],"intermediate":[12],"representation":[13],"(IR)":[14],"code.":[16,187],"The":[17,55,121],"IR":[18,43,56,111,126,157],"should":[19,27],"make":[20],"it":[21],"easy":[22],"to":[23,82,97,108,113,128,149],"perform":[24],"transformations,":[25],"and":[26,31,69,93,107,138,158,168],"also":[28,96],"afford":[29],"efficient":[30],"precise":[32],"static":[33],"analysis.":[34],"In":[35],"this":[36],"paper":[37],"we":[38,61,152],"study":[39],"aspect":[41],"that":[45,116,160,169],"has":[46],"received":[47],"little":[48],"attention:":[49],"role":[51],"undefined":[53,77],"behavior.":[54],"every":[58],"have":[62,153],"looked":[63],"at,":[64],"including":[65],"GCC,":[66],"LLVM,":[67],"Intel's,":[68],"Microsoft's,":[70],"supports":[71],"one":[72],"or":[73,183],"more":[74],"forms":[75],"behavior":[78],"(UB),":[79],"not":[80,179],"only":[81],"reflect":[83],"semantics":[85,112,123],"UB-heavy":[87],"programming":[88],"languages":[89],"such":[90,103],"as":[91,104],"C":[92],"C++,":[94],"but":[95],"model":[98],"inherently":[99],"unsafe":[100],"low-level":[101],"operations":[102],"memory":[105],"stores":[106],"avoid":[109],"over-constraining":[110],"point":[115],"desirable":[117,171],"transformations":[118,173],"become":[119,174],"illegal.":[120],"current":[122],"LLVM's":[125,156],"fails":[127],"justify":[129],"some":[130,170],"cases":[131],"loop":[133],"unswitching,":[134],"global":[135],"value":[136],"numbering,":[137],"other":[139],"important":[140],"\"textbook\"":[141],"optimizations,":[142],"causing":[143],"long-standing":[144],"bugs.":[145],"We":[146],"present":[147],"solutions":[148,177],"problems":[151],"identified":[154],"in":[155,164],"show":[159],"most":[161],"optimizations":[162],"currently":[163],"LLVM":[165],"remain":[166],"sound,":[167],"new":[172],"permissible.":[175],"Our":[176],"do":[178],"degrade":[180],"compile":[181],"time":[182],"performance":[184],"generated":[186]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":3}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}