{"id":"https://openalex.org/W3033606455","doi":"https://doi.org/10.1145/3385412.3385964","title":"Scalable validation of binary lifters","display_name":"Scalable validation of binary lifters","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3033606455","doi":"https://doi.org/10.1145/3385412.3385964","mag":"3033606455"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3385964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.ideals.illinois.edu/items/115576/bitstreams/378104/data.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016183413","display_name":"Sandeep Dasgupta","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sandeep Dasgupta","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101565027","display_name":"S. Dinesh","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sushant Dinesh","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047694887","display_name":"Deepan Venkatesh","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Deepan Venkatesh","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059017058","display_name":"Vikram Adve","orcid":"https://orcid.org/0000-0002-0760-9690"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vikram S. Adve","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027987862","display_name":"Christopher W. Fletcher","orcid":"https://orcid.org/0000-0002-9995-5995"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher W. Fletcher","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016183413"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":3.0645,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.91639645,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"655","last_page":"671"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7053666114807129},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.6068928241729736},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6008886098861694},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3222368359565735},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1737697720527649},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11327487230300903},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.06409209966659546}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7053666114807129},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.6068928241729736},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6008886098861694},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3222368359565735},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1737697720527649},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11327487230300903},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.06409209966659546}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3385412.3385964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385964","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:www.ideals.illinois.edu:2142/107968","is_oa":true,"landing_page_url":"http://hdl.handle.net/2142/107968","pdf_url":"https://www.ideals.illinois.edu/items/115576/bitstreams/378104/data.pdf","source":{"id":"https://openalex.org/S4377196349","display_name":"IDEALS (University of Illinois Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I157725225","host_organization_name":"University of Illinois Urbana-Champaign","host_organization_lineage":["https://openalex.org/I157725225"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"}],"best_oa_location":{"id":"pmh:oai:www.ideals.illinois.edu:2142/107968","is_oa":true,"landing_page_url":"http://hdl.handle.net/2142/107968","pdf_url":"https://www.ideals.illinois.edu/items/115576/bitstreams/378104/data.pdf","source":{"id":"https://openalex.org/S4377196349","display_name":"IDEALS (University of Illinois Urbana-Champaign)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I157725225","host_organization_name":"University of Illinois Urbana-Champaign","host_organization_lineage":["https://openalex.org/I157725225"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3033606455.pdf","grobid_xml":"https://content.openalex.org/works/W3033606455.grobid-xml"},"referenced_works_count":68,"referenced_works":["https://openalex.org/W17195072","https://openalex.org/W49922133","https://openalex.org/W105783207","https://openalex.org/W157156687","https://openalex.org/W369805404","https://openalex.org/W794833203","https://openalex.org/W1480909796","https://openalex.org/W1514171102","https://openalex.org/W1522250664","https://openalex.org/W1546956568","https://openalex.org/W1562605315","https://openalex.org/W1568717897","https://openalex.org/W1806382567","https://openalex.org/W1823377586","https://openalex.org/W1970005004","https://openalex.org/W1990717911","https://openalex.org/W1992181084","https://openalex.org/W1998988707","https://openalex.org/W2001723134","https://openalex.org/W2012131382","https://openalex.org/W2015903771","https://openalex.org/W2030906223","https://openalex.org/W2040856861","https://openalex.org/W2042428991","https://openalex.org/W2047226031","https://openalex.org/W2052897520","https://openalex.org/W2062340141","https://openalex.org/W2088514859","https://openalex.org/W2090554354","https://openalex.org/W2100218206","https://openalex.org/W2107075183","https://openalex.org/W2108174561","https://openalex.org/W2113864883","https://openalex.org/W2114780348","https://openalex.org/W2117115928","https://openalex.org/W2119251836","https://openalex.org/W2120635877","https://openalex.org/W2123553986","https://openalex.org/W2126823808","https://openalex.org/W2128345666","https://openalex.org/W2131750946","https://openalex.org/W2134633067","https://openalex.org/W2137530017","https://openalex.org/W2138517425","https://openalex.org/W2140529677","https://openalex.org/W2140839850","https://openalex.org/W2147118954","https://openalex.org/W2148686658","https://openalex.org/W2153185479","https://openalex.org/W2155943969","https://openalex.org/W2161992906","https://openalex.org/W2169294765","https://openalex.org/W2170267084","https://openalex.org/W2466114212","https://openalex.org/W2496999134","https://openalex.org/W2514974017","https://openalex.org/W2583316335","https://openalex.org/W2739649174","https://openalex.org/W2742295185","https://openalex.org/W2767373589","https://openalex.org/W2911450990","https://openalex.org/W2913986094","https://openalex.org/W2914563499","https://openalex.org/W2955008836","https://openalex.org/W2955626199","https://openalex.org/W4206368310","https://openalex.org/W4239813889","https://openalex.org/W4253559753"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2389214306"],"abstract_inverted_index":{"Validating":[0],"the":[1,28,82,99,107,113,144,166,169,180,210,221],"correctness":[2,20,29,223],"of":[3,30,54,88,112,115,182,189,212,224],"binary":[4,12],"lifters":[5],"is":[6,21,63,81,172],"pivotal":[7],"to":[8,42,84,130,136,156,175,206,219],"gain":[9],"trust":[10],"in":[11,17,36,110,191,197],"analysis,":[13],"especially":[14],"when":[15],"used":[16,70],"scenarios":[18],"where":[19],"important.":[22],"Existing":[23],"approaches":[24],"focus":[25],"on":[26,91],"validating":[27],"lifting":[31],"instructions":[32,56,90,116,129,190],"or":[33],"basic":[34],"blocks":[35],"isolation":[37,192],"and":[38,105,168],"do":[39,85],"not":[40,64],"scale":[41],"full":[43,213],"programs.":[44],"In":[45],"this":[46],"work,":[47],"we":[48,121,142,151],"show":[49],"that":[50,126],"formal":[51,102],"translation":[52,86,187],"validation":[53,87,188,211],"single":[55,89],"for":[57,75,118],"a":[58,72,123,149,158,176,200],"complex":[59],"ISA":[60],"like":[61],"x86-64":[62,205],"only":[65],"practical,":[66],"but":[67],"can":[68],"be":[69],"as":[71,94,96],"building":[73],"block":[74],"scalable":[76],"full-program":[77],"validation.":[78],"Our":[79],"work":[80],"first":[83],"an":[92],"architecture":[93],"extensive":[95],"x86-64,":[97],"uses":[98,127],"most":[100],"precise":[101],"semantics":[103],"available,":[104],"has":[106],"widest":[108],"coverage":[109],"terms":[111],"number":[114],"tested":[117],"correctness.":[119],"Next,":[120],"develop":[122,152],"novel":[124],"technique":[125],"validated":[128,145],"enable":[131],"program-level":[132],"validation,":[133],"without":[134],"resorting":[135],"performance-heavy":[137],"semantic":[138,162,183],"equivalence":[139,163],"checking.":[140],"Specifically,":[141],"compose":[143],"IR":[146],"sequences":[147],"using":[148],"tool":[150],"called":[153],"Compositional":[154],"Lifter":[155],"create":[157],"reference":[159,167],"standard.":[160],"The":[161,186],"check":[164,178],"between":[165],"lifter":[170,203],"output":[171],"then":[173],"reduced":[174],"graph-isomorphism":[177],"through":[179],"use":[181],"preserving":[184],"transformations.":[185],"revealed":[193],"29":[194],"new":[195],"bugs":[196],"McSema":[198],"\u2013":[199],"mature":[201],"open-source":[202],"from":[204,228],"LLVM":[207],"IR.":[208],"Towards":[209],"programs,":[214],"our":[215],"approach":[216],"was":[217],"able":[218],"prove":[220],"translational":[222],"2254/2348":[225],"functions":[226],"taken":[227],"LLVM\u2019s":[229],"single-source":[230],"benchmark":[231],"test-suite.":[232]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}