{"id":"https://openalex.org/W2344916214","doi":"https://doi.org/10.1109/tse.2016.2531666","title":"A Lightweight System for Detecting and Tolerating Concurrency Bugs","display_name":"A Lightweight System for Detecting and Tolerating Concurrency Bugs","publication_year":2016,"publication_date":"2016-02-18","ids":{"openalex":"https://openalex.org/W2344916214","doi":"https://doi.org/10.1109/tse.2016.2531666","mag":"2344916214"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2016.2531666","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2016.2531666","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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/A5100621292","display_name":"Mingxing Zhang","orcid":"https://orcid.org/0000-0001-9939-158X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingxing Zhang","raw_affiliation_strings":["Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115602897","display_name":"Yongwei Wu","orcid":"https://orcid.org/0000-0002-6651-7032"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongwei Wu","raw_affiliation_strings":["Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China"],"raw_orcid":"https://orcid.org/0000-0002-6651-7032","affiliations":[{"raw_affiliation_string":"Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061448314","display_name":"Shan Lu","orcid":"https://orcid.org/0000-0002-0757-4600"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shan Lu","raw_affiliation_strings":["University of Chicago, Chicago, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago, Chicago, IL","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089676563","display_name":"Shanxiang Qi","orcid":null},"institutions":[{"id":"https://openalex.org/I2946016260","display_name":"Uber AI (United States)","ror":"https://ror.org/05vm0ed18","country_code":"US","type":"company","lineage":["https://openalex.org/I2946016260"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shanxiang Qi","raw_affiliation_strings":["UBER growth team, San Francisco, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UBER growth team, San Francisco, CA","institution_ids":["https://openalex.org/I2946016260"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027304285","display_name":"Jinglei Ren","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinglei Ren","raw_affiliation_strings":["Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108050911","display_name":"Weimin Zheng","orcid":"https://orcid.org/0000-0002-4450-5428"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weimin Zheng","raw_affiliation_strings":["Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technology Innovation Center at Yinzhou, Yangtze Delta Region Institute of Tsinghua University, Zhejiang, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9372,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.72446489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"42","issue":"10","first_page":"899","last_page":"917"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9991000294685364,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8919236660003662},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8673526048660278},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.8567270040512085},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6440908908843994},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5937703251838684},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5673854351043701},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4549810290336609},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.4188830852508545},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4070548713207245},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3935122489929199},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32464468479156494}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8919236660003662},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8673526048660278},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.8567270040512085},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6440908908843994},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5937703251838684},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5673854351043701},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4549810290336609},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.4188830852508545},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4070548713207245},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3935122489929199},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32464468479156494},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2016.2531666","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2016.2531666","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1370997311","display_name":null,"funder_award_id":"CCF-1217582","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4006564843","display_name":"\u5927\u6570\u636e\u9ad8\u6548\u80fd\u5b58\u50a8\u4e0e\u7ba1\u7406\u65b9\u6cd5\u7814\u7a76","funder_award_id":"61433008","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5978375883","display_name":null,"funder_award_id":"U1435216","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G692641932","display_name":null,"funder_award_id":"CCF-1439091","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7260597857","display_name":"\u9762\u5411\u9ad8\u6027\u80fd\u8ba1\u7b97\u7684\u9ad8\u6548\u5e73\u53f0\u865a\u62df\u5316\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61170210","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8973672947","display_name":"\u4e91\u5b58\u50a8\u7cfb\u7edf\u5b89\u5168\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61373145","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":81,"referenced_works":["https://openalex.org/W1478599539","https://openalex.org/W1873898332","https://openalex.org/W1887412317","https://openalex.org/W1967959506","https://openalex.org/W1972544179","https://openalex.org/W1977476643","https://openalex.org/W1994305220","https://openalex.org/W2011974310","https://openalex.org/W2013560272","https://openalex.org/W2016314068","https://openalex.org/W2023889124","https://openalex.org/W2041235686","https://openalex.org/W2049381173","https://openalex.org/W2061504544","https://openalex.org/W2082766667","https://openalex.org/W2084719450","https://openalex.org/W2088270410","https://openalex.org/W2096155624","https://openalex.org/W2101161997","https://openalex.org/W2101493984","https://openalex.org/W2101785823","https://openalex.org/W2102640269","https://openalex.org/W2102674270","https://openalex.org/W2104000753","https://openalex.org/W2105391037","https://openalex.org/W2108637333","https://openalex.org/W2110279000","https://openalex.org/W2110852599","https://openalex.org/W2110908283","https://openalex.org/W2111413199","https://openalex.org/W2111759889","https://openalex.org/W2112401557","https://openalex.org/W2113027907","https://openalex.org/W2115015193","https://openalex.org/W2116680978","https://openalex.org/W2119567442","https://openalex.org/W2120027538","https://openalex.org/W2127825616","https://openalex.org/W2135023759","https://openalex.org/W2135395375","https://openalex.org/W2135948849","https://openalex.org/W2137270184","https://openalex.org/W2138555106","https://openalex.org/W2145021036","https://openalex.org/W2145377152","https://openalex.org/W2147506993","https://openalex.org/W2149538119","https://openalex.org/W2150290060","https://openalex.org/W2150602145","https://openalex.org/W2153185479","https://openalex.org/W2153229512","https://openalex.org/W2153723363","https://openalex.org/W2155497473","https://openalex.org/W2158175015","https://openalex.org/W2159856414","https://openalex.org/W2160983664","https://openalex.org/W2164530016","https://openalex.org/W2167744164","https://openalex.org/W2171008784","https://openalex.org/W2251066406","https://openalex.org/W2752885492","https://openalex.org/W3142284768","https://openalex.org/W3145128584","https://openalex.org/W3148851051","https://openalex.org/W4234273773","https://openalex.org/W4235116491","https://openalex.org/W4238549726","https://openalex.org/W4243324871","https://openalex.org/W4246166885","https://openalex.org/W4248655060","https://openalex.org/W4253159720","https://openalex.org/W4254906220","https://openalex.org/W6639248035","https://openalex.org/W6639456316","https://openalex.org/W6675385003","https://openalex.org/W6679281492","https://openalex.org/W6680291832","https://openalex.org/W6681208820","https://openalex.org/W6682589631","https://openalex.org/W6682884050","https://openalex.org/W6691718206"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2761464920","https://openalex.org/W2019062800","https://openalex.org/W2899146177","https://openalex.org/W1507160831","https://openalex.org/W2186490196","https://openalex.org/W2616010075","https://openalex.org/W2786550303","https://openalex.org/W2059943739","https://openalex.org/W2167421399"],"abstract_inverted_index":{"Along":[0],"with":[1,160,179,225],"the":[2,13,24,41,64,221],"prevalence":[3],"of":[4,12,17,27,88,124,189,196],"multi-threaded":[5],"programs,":[6],"concurrency":[7,28,125,136,182,197],"bugs":[8,31,71,89,137,183,211],"have":[9,142],"become":[10],"one":[11],"most":[14,122],"important":[15,194],"sources":[16],"software":[18],"bugs.":[19,126],"Even":[20],"worse,":[21],"due":[22],"to":[23,35,50,58,133,149,157],"non-deterministic":[25],"nature":[26],"bugs,":[29,198],"these":[30],"are":[32,81],"both":[33,200],"difficult":[34],"detect":[36,61,121],"and":[37,78,173,191,202,247],"fix":[38],"even":[39],"after":[40],"detection.":[42],"As":[43],"a":[44,109,151,161],"result,":[45],"it":[46,146],"is":[47,56,155,187],"highly":[48],"desired":[49],"develop":[51,150],"an":[52,101],"all-around":[53],"approach":[54],"that":[55,119,154,185,215,231],"able":[57,156],"not":[59,168],"only":[60],"them":[62],"during":[63,72],"testing":[65],"phase":[66],"but":[67],"also":[68,207],"tolerate":[69],"undetected":[70],"production":[73],"runs.":[74],"However,":[75],"existing":[76],"bug-detecting":[77],"bug-tolerating":[79],"tools":[80],"usually":[82],"either":[83],"<i>1)</i>":[84],"constrained":[85],"in":[86,220],"types":[87,123,195],"they":[90],"can":[91,120,130],"handle":[92],"or":[93],"<i>2)</i>":[94],"requiring":[95],"specific":[96],"hardware":[97],"supports":[98],"for":[99,243],"achieving":[100],"acceptable":[102],"overhead.":[103],"In":[104],"this":[105],"paper,":[106],"we":[107],"present":[108],"novel":[110],"program":[111],"invariant,":[112],"name":[113],"Anticipating":[114],"Invariant":[115],"(":[116,236],"<small>Ai</small>":[117,129,186,232],"),":[118],"More":[127],"importantly,":[128],"be":[131],"used":[132],"anticipate":[134],"many":[135,193,244],"before":[138,219],"any":[139],"irreversible":[140],"changes":[141],"been":[143],"made.":[144],"Thus":[145],"enables":[147],"us":[148],"software-only":[152],"system":[153],"forestall":[158],"failures":[159],"simple":[162],"thread":[163],"stalling":[164],"technique,":[165],"which":[166],"does":[167],"rely":[169],"on":[170],"execution":[171],"roll-back":[172],"hence":[174],"has":[175,206],"good":[176],"performance.":[177],"Experiments":[178],"35":[180],"real-world":[181],"demonstrate":[184],"capable":[188],"detecting":[190],"tolerating":[192],"including":[199],"atomicity":[201],"order":[203],"violations.":[204],"It":[205],"exposed":[208],"two":[209],"new":[210],"(confirmed":[212],"by":[213],"developers)":[214],"were":[216],"never":[217],"reported":[218],"literature.":[222],"Performance":[223],"evaluation":[224],"6":[226],"representative":[227],"parallel":[228],"programs":[229],"shows":[230],"incurs":[233],"negligible":[234],"overhead":[235],"<inline-formula>":[237],"<tex-math":[238],"notation=\"LaTeX\">$":[239],"&lt;":[240],"1\\%$</tex-math></inline-formula>":[241],")":[242],"nontrivial":[245],"desktop":[246],"server":[248],"applications.":[249]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}