{"id":"https://openalex.org/W2150176148","doi":"https://doi.org/10.1145/2043556.2043589","title":"Pervasive detection of process races in deployed systems","display_name":"Pervasive detection of process races in deployed systems","publication_year":2011,"publication_date":"2011-10-23","ids":{"openalex":"https://openalex.org/W2150176148","doi":"https://doi.org/10.1145/2043556.2043589","mag":"2150176148"},"language":"en","primary_location":{"id":"doi:10.1145/2043556.2043589","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2043556.2043589","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 ACM 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/A5042874821","display_name":"Oren Laadan","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Oren Laadan","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069497415","display_name":"Nicolas Viennot","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nicolas Viennot","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030297011","display_name":"Chia-Che Tsai","orcid":"https://orcid.org/0000-0002-0016-6487"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chia-Che Tsai","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075448314","display_name":"Chris Blinn","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chris Blinn","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101783316","display_name":"Junfeng Yang","orcid":"https://orcid.org/0000-0001-7771-0260"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Junfeng Yang","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055391594","display_name":"Jason Nieh","orcid":"https://orcid.org/0009-0005-8301-4479"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Nieh","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5042874821"],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":4.2009,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.94400697,"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":"353","last_page":"367"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"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":0.9998000264167786,"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.9990000128746033,"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/T11424","display_name":"Security and Verification in Computing","score":0.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.8183658123016357},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7227319478988647},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.643261194229126},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6400487422943115},{"id":"https://openalex.org/keywords/system-call","display_name":"System call","score":0.6173028945922852},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5891059041023254},{"id":"https://openalex.org/keywords/linux-kernel","display_name":"Linux kernel","score":0.5496623516082764},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5384049415588379},{"id":"https://openalex.org/keywords/rootkit","display_name":"Rootkit","score":0.5351371169090271},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5119875073432922},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.47594428062438965},{"id":"https://openalex.org/keywords/false-positives-and-false-negatives","display_name":"False positives and false negatives","score":0.4201241731643677},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3865807056427002},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3701847195625305},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3637062907218933},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3587750792503357},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13882103562355042},{"id":"https://openalex.org/keywords/malware","display_name":"Malware","score":0.12289935350418091}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8183658123016357},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7227319478988647},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.643261194229126},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6400487422943115},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.6173028945922852},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5891059041023254},{"id":"https://openalex.org/C553261973","wikidata":"https://www.wikidata.org/wiki/Q14579","display_name":"Linux kernel","level":2,"score":0.5496623516082764},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5384049415588379},{"id":"https://openalex.org/C10144332","wikidata":"https://www.wikidata.org/wiki/Q14645","display_name":"Rootkit","level":3,"score":0.5351371169090271},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5119875073432922},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.47594428062438965},{"id":"https://openalex.org/C112789634","wikidata":"https://www.wikidata.org/wiki/Q18207010","display_name":"False positives and false negatives","level":3,"score":0.4201241731643677},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3865807056427002},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3701847195625305},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3637062907218933},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3587750792503357},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13882103562355042},{"id":"https://openalex.org/C541664917","wikidata":"https://www.wikidata.org/wiki/Q14001","display_name":"Malware","level":2,"score":0.12289935350418091},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2043556.2043589","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2043556.2043589","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 ACM Symposium on Operating Systems Principles","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5729508137","display_name":null,"funder_award_id":"FA9550-07-1-0527","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7720258387","display_name":null,"funder_award_id":"CNS-1117805CNS-1054906 (CAREER)CNS-1012633CNS-0914845CNS-0905246","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G8993174218","display_name":null,"funder_award_id":"FA8650-10-C-7024FA8750-10-2-0253","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W11234669","https://openalex.org/W112288480","https://openalex.org/W171006538","https://openalex.org/W1549813142","https://openalex.org/W1867761151","https://openalex.org/W1877496576","https://openalex.org/W1887412317","https://openalex.org/W1959349287","https://openalex.org/W1967557374","https://openalex.org/W1973501242","https://openalex.org/W1978905120","https://openalex.org/W2101161997","https://openalex.org/W2104413677","https://openalex.org/W2105391037","https://openalex.org/W2123524055","https://openalex.org/W2133662847","https://openalex.org/W2135023759","https://openalex.org/W2135395375","https://openalex.org/W2136077849","https://openalex.org/W2145467766","https://openalex.org/W2149984854","https://openalex.org/W2153229512","https://openalex.org/W2157801087","https://openalex.org/W2162969183","https://openalex.org/W2166841005","https://openalex.org/W2169870841","https://openalex.org/W2170458715","https://openalex.org/W2171956059","https://openalex.org/W2242837385","https://openalex.org/W2251066406","https://openalex.org/W2281433966","https://openalex.org/W2293881818","https://openalex.org/W3137220996","https://openalex.org/W4248655060","https://openalex.org/W4251803824","https://openalex.org/W4254234063","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W1557094818","https://openalex.org/W2183246718","https://openalex.org/W4292605373","https://openalex.org/W1973412793","https://openalex.org/W4226316650","https://openalex.org/W2099261052","https://openalex.org/W2354398839","https://openalex.org/W2171038386","https://openalex.org/W2025088090","https://openalex.org/W1514297880"],"abstract_inverted_index":{"Process":[0],"races":[1,25,43,108,134,172],"occur":[2],"when":[3],"multiple":[4,105],"processes":[5],"access":[6,118],"shared":[7,119],"operating":[8],"system":[9,29,63,113,129,148],"resources,":[10],"such":[11,128],"as":[12],"files,":[13],"without":[14],"proper":[15],"synchronization.":[16],"We":[17,176],"present":[18],"the":[19,27,91,110],"first":[20,28],"study":[21,35],"of":[22,36,38,127,197],"real":[23,51,202],"process":[24,42,206],"and":[26,49,81,137,153,160,166,190],"designed":[30],"to":[31,47,53,131,169,193],"detect":[32,194],"them.":[33],"Our":[34],"hundreds":[37],"applications":[39,203],"shows":[40],"that":[41,115,183],"are":[44,135],"numerous,":[45],"difficult":[46],"debug,":[48],"a":[50,62,164,195],"threat":[52],"reliability.":[54],"To":[55,141,156],"address":[56],"this":[57],"problem,":[58],"we":[59],"created":[60],"RacePro,":[61],"for":[64],"automatically":[65],"detecting":[66],"these":[67],"races.":[68,207],"RacePro":[69,103,145,162,179],"checks":[70],"deployed":[71],"systems":[72],"in-vivo":[73],"by":[74,96,205],"recording":[75,111,188],"live":[76],"executions":[77,94],"then":[78,122],"deterministically":[79],"replaying":[80],"checking":[82,88],"them":[83],"later.":[84],"This":[85],"approach":[86],"increases":[87],"coverage":[89],"beyond":[90],"configurations":[92],"or":[93,99],"covered":[95],"software":[97],"vendors":[98],"beta":[100],"testing":[101],"sites.":[102],"records":[104],"processes,":[106],"detects":[107],"in":[109,139,180,201],"among":[112],"calls":[114,130,149],"may":[116],"concurrently":[117],"kernel":[120],"objects,":[121],"tries":[123],"different":[124],"execution":[125],"orderings":[126],"determine":[132],"which":[133],"harmful":[136,171],"result":[138],"failures.":[140],"simplify":[142],"race":[143],"detection,":[144],"models":[146],"under-specified":[147],"based":[150],"on":[151],"load":[152],"store":[154],"micro-operations.":[155],"reduce":[157],"false":[158],"positives":[159],"negatives,":[161],"uses":[163],"replay":[165],"go-live":[167],"mechanism":[168],"distill":[170],"from":[173],"benign":[174],"ones.":[175],"have":[177],"implemented":[178],"Linux,":[181],"shown":[182],"it":[184,192],"imposes":[185],"only":[186],"modest":[187],"overhead,":[189],"used":[191],"number":[196],"previously":[198],"unknown":[199],"bugs":[200],"caused":[204]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}