{"id":"https://openalex.org/W2899083685","doi":"https://doi.org/10.1145/3236024.3236071","title":"CloudRaid: hunting concurrency bugs in the cloud via log-mining","display_name":"CloudRaid: hunting concurrency bugs in the cloud via log-mining","publication_year":2018,"publication_date":"2018-10-26","ids":{"openalex":"https://openalex.org/W2899083685","doi":"https://doi.org/10.1145/3236024.3236071","mag":"2899083685"},"language":"en","primary_location":{"id":"doi:10.1145/3236024.3236071","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236024.3236071","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","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/A5068388413","display_name":"Jie Lu","orcid":"https://orcid.org/0000-0002-4162-0404"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Lu","raw_affiliation_strings":["Institute of Computing Technology at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100448999","display_name":"Feng Li","orcid":"https://orcid.org/0009-0002-4302-462X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Li","raw_affiliation_strings":["Institute of Computing Technology at Chinese Academy of Sciences, China / Institute of Information Engineering at Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology at Chinese Academy of Sciences, China / Institute of Information Engineering at Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210090176","https://openalex.org/I4210156404"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100317802","display_name":"Lian Li","orcid":"https://orcid.org/0000-0002-4476-0541"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lian Li","raw_affiliation_strings":["Institute of Computing Technology at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053070701","display_name":"Xiaobing Feng","orcid":"https://orcid.org/0000-0003-2909-7750"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaobing Feng","raw_affiliation_strings":["Institute of Computing Technology at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1673,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.93112936,"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":"3","last_page":"14"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":1.0,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9983000159263611,"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/computer-science","display_name":"Computer science","score":0.8359134197235107},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8259690999984741},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.7469488382339478},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47794225811958313},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4353317618370056},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.4233558177947998},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23624888062477112},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19599804282188416},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.07060906291007996}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8359134197235107},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8259690999984741},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.7469488382339478},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47794225811958313},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4353317618370056},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.4233558177947998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23624888062477112},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19599804282188416},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.07060906291007996}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3236024.3236071","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236024.3236071","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W1243432849","https://openalex.org/W1415938757","https://openalex.org/W1455804204","https://openalex.org/W1490055319","https://openalex.org/W1563576199","https://openalex.org/W1576549127","https://openalex.org/W1587989274","https://openalex.org/W1591717411","https://openalex.org/W1591888204","https://openalex.org/W1649645444","https://openalex.org/W1834470623","https://openalex.org/W1847696060","https://openalex.org/W1928966627","https://openalex.org/W1972544179","https://openalex.org/W1993660990","https://openalex.org/W2006307164","https://openalex.org/W2028042531","https://openalex.org/W2032467893","https://openalex.org/W2037879546","https://openalex.org/W2039157918","https://openalex.org/W2044819105","https://openalex.org/W2051505342","https://openalex.org/W2080205938","https://openalex.org/W2087946700","https://openalex.org/W2102632804","https://openalex.org/W2105947650","https://openalex.org/W2106468386","https://openalex.org/W2120416238","https://openalex.org/W2121977387","https://openalex.org/W2124767313","https://openalex.org/W2147891468","https://openalex.org/W2150990363","https://openalex.org/W2153229512","https://openalex.org/W2162630235","https://openalex.org/W2167744164","https://openalex.org/W2171008784","https://openalex.org/W2173213060","https://openalex.org/W2296009094","https://openalex.org/W2326344342","https://openalex.org/W2327265941","https://openalex.org/W2522585932","https://openalex.org/W2547862110","https://openalex.org/W2604985896","https://openalex.org/W2626029330","https://openalex.org/W2767094836","https://openalex.org/W2899510293","https://openalex.org/W3033684424","https://openalex.org/W3046620162","https://openalex.org/W4205950948","https://openalex.org/W4238388226","https://openalex.org/W4243654206","https://openalex.org/W4249574990","https://openalex.org/W4251697482","https://openalex.org/W4252162128","https://openalex.org/W6635271661"],"related_works":["https://openalex.org/W321339674","https://openalex.org/W2019062800","https://openalex.org/W2899146177","https://openalex.org/W2167421399","https://openalex.org/W2616010075","https://openalex.org/W1507160831","https://openalex.org/W2186490196","https://openalex.org/W2059943739","https://openalex.org/W4243156926","https://openalex.org/W2162969183"],"abstract_inverted_index":{"Cloud":[0],"systems":[1],"suffer":[2],"from":[3,91,131],"distributed":[4,32],"concurrency":[5,33,38],"bugs,":[6],"which":[7,99],"are":[8,51,82,100],"notoriously":[9],"difficult":[10],"to":[11,16,30,53,84,94,109,147],"detect":[12],"and":[13,19,45],"often":[14],"lead":[15],"data":[17],"loss":[18],"service":[20],"outage.":[21],"This":[22],"paper":[23],"presents":[24],"CloudRaid,":[25],"a":[26,114],"new":[27],"effective":[28],"tool":[29],"battle":[31],"bugs.":[34],"CloudRaid":[35,88,107],"automatically":[36],"detects":[37],"bugs":[39],"in":[40,123],"cloud":[41,61],"systems,":[42],"by":[43],"analyzing":[44],"testing":[46],"those":[47,96],"message":[48,74,80,97],"orderings":[49,75,81,98],"that":[50,58],"likely":[52],"expose":[54,85],"errors.":[55,86],"We":[56],"observe":[57],"large-scale":[59],"online":[60],"applications":[62],"process":[63],"millions":[64],"of":[65,73,113,116],"user":[66],"requests":[67],"per":[68],"second,":[69],"exercising":[70],"many":[71],"permutations":[72],"extensively.":[76],"Those":[77],"already":[78],"sufficiently-tested":[79],"unlikely":[83],"Hence,":[87],"mines":[89],"logs":[90],"previous":[92],"executions":[93],"uncover":[95],"feasible,":[101],"but":[102,125],"not":[103],"sufficiently":[104],"tested.":[105],"Specifically,":[106],"tries":[108],"flip":[110],"the":[111,136],"order":[112,137],"pair":[115],"messages":[117],"<S,P>":[118],"if":[119],"they":[120],"may":[121],"happen":[122],"parallel,":[124],"S":[126],"always":[127],"arrives":[128],"before":[129],"P":[130,138],"existing":[132],"logs,":[133],"i.e.,":[134],"excercising":[135],"\u21a3":[139],"S.":[140],"The":[141],"log-based":[142],"approach":[143],"makes":[144],"it":[145],"suitable":[146],"live":[148],"systems.":[149]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}