{"id":"https://openalex.org/W2790741450","doi":"https://doi.org/10.1145/3173162.3177153","title":"Optimistic Hybrid Analysis","display_name":"Optimistic Hybrid Analysis","publication_year":2018,"publication_date":"2018-03-19","ids":{"openalex":"https://openalex.org/W2790741450","doi":"https://doi.org/10.1145/3173162.3177153","mag":"2790741450"},"language":"en","primary_location":{"id":"doi:10.1145/3173162.3177153","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3173162.3177153","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Third 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/A5064664114","display_name":"David Devecsery","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Devecsery","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027819880","display_name":"Peter M. Chen","orcid":"https://orcid.org/0000-0002-5951-4183"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter M. Chen","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000977391","display_name":"Jason Flinn","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Flinn","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075649670","display_name":"Satish Narayanasamy","orcid":"https://orcid.org/0000-0001-5016-1214"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Satish Narayanasamy","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":3.6978,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.93583317,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"348","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/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/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"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/static-analysis","display_name":"Static analysis","score":0.9073187708854675},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8528788089752197},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8220824599266052},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7654944062232971},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.7047450542449951},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.6885488033294678},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6129827499389648},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5899999141693115},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.5546622276306152},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.5364096760749817},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4922546446323395},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4838098883628845},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4556972086429596},{"id":"https://openalex.org/keywords/speculative-execution","display_name":"Speculative execution","score":0.44772037863731384},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3623850643634796},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.32401561737060547},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2375735342502594},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.159405916929245},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1136210560798645}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.9073187708854675},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8528788089752197},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8220824599266052},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7654944062232971},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.7047450542449951},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.6885488033294678},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6129827499389648},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5899999141693115},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.5546622276306152},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.5364096760749817},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4922546446323395},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4838098883628845},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4556972086429596},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.44772037863731384},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3623850643634796},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32401561737060547},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2375735342502594},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.159405916929245},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1136210560798645},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3173162.3177153","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3173162.3177153","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4312113824","display_name":null,"funder_award_id":"CNS-1513718, SHF-1703931, and CAREER-1149773.","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W71443740","https://openalex.org/W175329226","https://openalex.org/W1586099086","https://openalex.org/W1770279127","https://openalex.org/W1843474218","https://openalex.org/W1958945689","https://openalex.org/W1963971515","https://openalex.org/W1964647125","https://openalex.org/W1968847337","https://openalex.org/W1969962573","https://openalex.org/W1972544179","https://openalex.org/W1979582240","https://openalex.org/W1992371286","https://openalex.org/W2024442685","https://openalex.org/W2061640969","https://openalex.org/W2075309900","https://openalex.org/W2079877139","https://openalex.org/W2103318645","https://openalex.org/W2116409384","https://openalex.org/W2117948828","https://openalex.org/W2120308515","https://openalex.org/W2121204404","https://openalex.org/W2121696621","https://openalex.org/W2122312154","https://openalex.org/W2122757982","https://openalex.org/W2127929122","https://openalex.org/W2128835824","https://openalex.org/W2133662847","https://openalex.org/W2133802223","https://openalex.org/W2135453964","https://openalex.org/W2140021378","https://openalex.org/W2140611647","https://openalex.org/W2144300381","https://openalex.org/W2149237601","https://openalex.org/W2153174073","https://openalex.org/W2153578567","https://openalex.org/W2154557525","https://openalex.org/W2156858199","https://openalex.org/W2157479538","https://openalex.org/W2158126684","https://openalex.org/W2161600851","https://openalex.org/W2164726441","https://openalex.org/W2166091242","https://openalex.org/W2167744164","https://openalex.org/W2171745083","https://openalex.org/W2295303622","https://openalex.org/W2625706696","https://openalex.org/W2912412735","https://openalex.org/W2913256667","https://openalex.org/W2914563499","https://openalex.org/W3005402394","https://openalex.org/W3142323636","https://openalex.org/W4230177578","https://openalex.org/W4230964626","https://openalex.org/W4243885711","https://openalex.org/W4253782958","https://openalex.org/W4300810260","https://openalex.org/W6603393843"],"related_works":["https://openalex.org/W4226031072","https://openalex.org/W2392294830","https://openalex.org/W2078882461","https://openalex.org/W2081659623","https://openalex.org/W48604291","https://openalex.org/W2016796784","https://openalex.org/W3120011499","https://openalex.org/W2514903476","https://openalex.org/W4246237463","https://openalex.org/W2306294637"],"abstract_inverted_index":{"Dynamic":[0],"analysis":[1,47,55,72,86,108,167,180,207,226,231,237,248,268],"tools,":[2],"such":[3],"as":[4,209,213],"those":[5],"that":[6,69,80,147,168,191],"detect":[7],"data-races,":[8],"verify":[9],"memory":[10],"safety,":[11],"and":[12,23,140,211,239,252,255,269],"identify":[13],"information":[14],"flow,":[15],"have":[16],"become":[17],"a":[18,125,135,142,160,201,259,272],"vital":[19],"part":[20],"of":[21,84,117,138,144],"testing":[22],"debugging":[24],"complex":[25],"software":[26],"systems.":[27],"While":[28],"these":[29,50,170],"tools":[30,51],"are":[31],"powerful,":[32],"their":[33],"slow":[34],"speed":[35,228],"often":[36],"limits":[37],"how":[38],"effectively":[39],"they":[40],"can":[41,227,238],"be":[42],"deployed":[43],"in":[44],"practice.":[45],"Hybrid":[46],"speeds":[48],"up":[49,229],"by":[52,76],"using":[53],"static":[54,91,99,166,225,236],"to":[56,104,124,249],"decrease":[57],"the":[58,82,110,115,177,185,196],"work":[59],"performed":[60],"during":[61,150,190],"dynamic":[62,85,107,179,215,230],"analysis.":[63,92,131,204],"In":[64],"this":[65],"paper":[66],"we":[67,158,175],"argue":[68],"current":[70],"hybrid":[71,130,203,206,247,267,273],"is":[73,102,198,208,218],"needlessly":[74],"hampered":[75],"an":[77,88],"incorrect":[78],"assumption":[79],"preserving":[81],"soundness":[83],"requires":[87],"underlying":[89],"sound":[90,106,212,235],"We":[93,132,244],"observe":[94],"that,":[95],"even":[96],"with":[97,200,265],"unsound":[98,224],"analysis,":[100,216],"it":[101],"possible":[103],"achieve":[105,256],"for":[109],"executions":[111,139],"which":[112],"fall":[113],"within":[114],"set":[116,137,143],"states":[118],"statically":[119],"considered.":[120],"This":[121],"leads":[122],"us":[123],"new":[126],"approach,":[127],"called":[128],"optimistic":[129,246],"first":[133],"profile":[134],"small":[136],"generate":[141],"likely":[145],"invariants":[146,171,187],"hold":[148,172,188],"true":[149,189],"most,":[151],"but":[152,164,217],"not":[153],"necessarily":[154],"all,":[155],"executions.":[156],"Next,":[157],"apply":[159,245],"much":[161,220,232],"more":[162,233],"precise,":[163],"unsound,":[165],"assumes":[169],"true.":[173],"Finally,":[174],"run":[176],"resulting":[178],"speculatively":[181],"while":[182],"verifying":[183],"whether":[184],"assumed":[186],"particular":[192],"execution;":[193],"if":[194],"not,":[195],"program":[197,253],"reexecuted":[199],"traditional":[202,214,266],"Optimistic":[205],"precise":[210],"typically":[219],"faster":[221],"because":[222],"(1)":[223],"than":[234],"(2)":[240],"verifications":[241],"rarely":[242],"fail.":[243],"race":[250,261],"detection":[251],"slicing":[254],"1.8x":[257],"over":[258,271],"state-of-the-art":[260],"detector":[262],"(FastTrack)":[263],"optimized":[264],"8.3x":[270],"backward":[274],"slicer":[275],"(Giri).":[276]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}