{"id":"https://openalex.org/W2138546883","doi":"https://doi.org/10.1145/1294261.1294272","title":"MUVI","display_name":"MUVI","publication_year":2007,"publication_date":"2007-10-14","ids":{"openalex":"https://openalex.org/W2138546883","doi":"https://doi.org/10.1145/1294261.1294272","mag":"2138546883"},"language":"en","primary_location":{"id":"doi:10.1145/1294261.1294272","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1294261.1294272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles","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/A5061448314","display_name":"Shan Lu","orcid":"https://orcid.org/0000-0002-0757-4600"},"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":"Shan Lu","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100693311","display_name":"Soyeon Park","orcid":"https://orcid.org/0000-0003-1009-8630"},"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":"Soyeon Park","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113712508","display_name":"Chongfeng Hu","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":"Chongfeng Hu","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027148228","display_name":"Xiao Ma","orcid":"https://orcid.org/0000-0001-5742-8890"},"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":"Xiao Ma","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109838329","display_name":"Weihang Jiang","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":"Weihang Jiang","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054955949","display_name":"Zhenmin Li","orcid":"https://orcid.org/0000-0003-3279-9083"},"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":"Zhenmin Li","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015782472","display_name":"Raluca Ada Popa","orcid":null},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Raluca A. Popa","raw_affiliation_strings":["MIT, boston, MA","MIT, Boston, MA"],"affiliations":[{"raw_affiliation_string":"MIT, boston, MA","institution_ids":["https://openalex.org/I4210110987"]},{"raw_affiliation_string":"MIT, Boston, MA","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102985059","display_name":"Yuanyuan Zhou","orcid":"https://orcid.org/0000-0001-8378-6296"},"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":"Yuanyuan Zhou","raw_affiliation_strings":["University of Illinois at Urbana Champaign, Urbana, IL","[University of Illinois at Urbana-Champaign,Urbana,IL]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana Champaign, Urbana, IL","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,Urbana,IL]","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5061448314"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":43.1479,"has_fulltext":false,"cited_by_count":216,"citation_normalized_percentile":{"value":0.99757754,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"103","last_page":"116"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8363460302352905},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.833745539188385},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.7073780298233032},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5965591669082642},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5395672917366028},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49359309673309326},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40584903955459595}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8363460302352905},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.833745539188385},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.7073780298233032},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5965591669082642},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5395672917366028},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49359309673309326},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40584903955459595},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1294261.1294272","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1294261.1294272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W159524162","https://openalex.org/W1500546894","https://openalex.org/W1514171102","https://openalex.org/W1567790484","https://openalex.org/W1582331515","https://openalex.org/W1965462925","https://openalex.org/W1968027261","https://openalex.org/W1972544179","https://openalex.org/W1983119041","https://openalex.org/W1994305220","https://openalex.org/W2002179840","https://openalex.org/W2019611783","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2061239425","https://openalex.org/W2065675749","https://openalex.org/W2082766667","https://openalex.org/W2088139180","https://openalex.org/W2088270410","https://openalex.org/W2103685452","https://openalex.org/W2105391037","https://openalex.org/W2108204150","https://openalex.org/W2111759889","https://openalex.org/W2113751407","https://openalex.org/W2116409384","https://openalex.org/W2119467398","https://openalex.org/W2121059325","https://openalex.org/W2124666592","https://openalex.org/W2127989655","https://openalex.org/W2128453996","https://openalex.org/W2131954495","https://openalex.org/W2133662847","https://openalex.org/W2134633067","https://openalex.org/W2137422315","https://openalex.org/W2149984854","https://openalex.org/W2153229512","https://openalex.org/W2155479707","https://openalex.org/W2156841542","https://openalex.org/W2161600851","https://openalex.org/W2162446957","https://openalex.org/W2169611673","https://openalex.org/W2295399529","https://openalex.org/W2350778671","https://openalex.org/W3141930102","https://openalex.org/W4231709874","https://openalex.org/W4233793161","https://openalex.org/W4239813889","https://openalex.org/W4242949098","https://openalex.org/W4243324871","https://openalex.org/W4248655060","https://openalex.org/W4251803824","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W2061417947","https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2900719967","https://openalex.org/W2161928627","https://openalex.org/W4388482952","https://openalex.org/W2786113878","https://openalex.org/W2787155073","https://openalex.org/W2727867943","https://openalex.org/W4322631505"],"abstract_inverted_index":{"Software":[0],"defects":[1],"significantly":[2],"reduce":[3],"system":[4],"dependability.":[5],"Among":[6],"various":[7],"types":[8,57],"of":[9,18,37,58,128,133,180,183,214],"software":[10],"bugs,":[11],"semantic":[12,38,122],"and":[13,39,53,72,97,157,169],"concurrency":[14,40,75,165,187,203],"bugs":[15,123,166,188,204,217],"are":[16,65,78],"two":[17,56],"the":[19,82,113,125,138,173,177,184,215,223],"most":[20],"difficult":[21],"to":[22,149],"detect.":[23],"This":[24],"paper":[25],"proposes":[26],"a":[27,69],"novel":[28],"method,":[29],"called":[30],"MUVI,":[31],"that":[32,172,207],"detects":[33,55,117],"an":[34],"important":[35],"class":[36],"bugs.":[41],"MUVI":[42,90,99,116,146,196,229],"automatically":[43,100],"infers":[44,101],"commonly":[45],"existing":[46],"multi-variable":[47,74,147,164,186,202],"access":[48,106],"correlations":[49,107],"through":[50],"code":[51],"analysis":[52],"then":[54],"related":[59],"bugs:":[60],"(1)":[61],"inconsistent":[62,120],"updates--correlated":[63],"variables":[64],"not":[66,79],"updated":[67],"in":[68,81,86,205],"consistent":[70],"way,":[71],"(2)":[73],"bugs--correlated":[76],"accesses":[77],"protected":[80],"same":[83],"atomic":[84],"sections":[85],"concurrent":[87],"programs.We":[88],"evaluate":[89],"on":[91,112,141,161,193],"four":[92,181,200],"large":[93],"applications:":[94],"Linux,":[95],"Mozilla,MySQL,":[96],"PostgreSQL.":[98],"more":[102],"than":[103],"6000":[104],"variable":[105],"with":[108,131,189],"high":[109],"accuracy":[110],"(83%).Based":[111],"inferred":[114],"correlations,":[115],"39":[118],"new":[119,201],"update":[121],"from":[124,167],"latest":[126],"versions":[127],"these":[129],"applications,":[130],"17":[132],"them":[134],"recently":[135],"confirmed":[136],"by":[137,222],"developers":[139],"based":[140],"our":[142,228],"reports.We":[143],"also":[144,197],"implemented":[145],"extensions":[148],"tworepresentative":[150],"data":[151],"race":[152,225],"bug":[153],"detection":[154],"methods":[155],"(lock-set":[156],"happens-before).":[158],"Our":[159],"evaluation":[160],"five":[162,185],"real-world":[163],"Mozilla":[168,206],"MySQL":[170],"shows":[171],"MUVI-extension":[174],"correctly":[175,221],"identifies":[176],"root":[178],"causes":[179],"out":[182],"14%":[190],"additional":[191],"overhead":[192],"average.":[194],"Interestingly,":[195],"helps":[198],"detect":[199],"have":[208],"never":[209],"been":[210],"reported":[211],"before.":[212],"None":[213],"nine":[216],"can":[218],"be":[219],"identified":[220],"original":[224],"detectors":[226],"without":[227],"extensions.":[230]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":11},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":12},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":23},{"year":2013,"cited_by_count":28},{"year":2012,"cited_by_count":18}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}