{"id":"https://openalex.org/W2536074297","doi":"https://doi.org/10.1145/2983990.2984024","title":"Precise and maximal race detection from incomplete traces","display_name":"Precise and maximal race detection from incomplete traces","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W2536074297","doi":"https://doi.org/10.1145/2983990.2984024","mag":"2536074297"},"language":"en","primary_location":{"id":"doi:10.1145/2983990.2984024","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2983990.2984024","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","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/A5103035835","display_name":"Jeff Huang","orcid":"https://orcid.org/0000-0003-1393-0752"},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jeff Huang","raw_affiliation_strings":["Texas A&M University, USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University, USA","institution_ids":["https://openalex.org/I91045830"]}]},{"author_position":"last","author":{"id":null,"display_name":"Arun K. Rajagopalan","orcid":null},"institutions":[{"id":"https://openalex.org/I91045830","display_name":"Texas A&M University","ror":"https://ror.org/01f5ytq51","country_code":"US","type":"education","lineage":["https://openalex.org/I91045830"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arun K. Rajagopalan","raw_affiliation_strings":["Texas A&M University, USA"],"affiliations":[{"raw_affiliation_string":"Texas A&M University, USA","institution_ids":["https://openalex.org/I91045830"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5103035835"],"corresponding_institution_ids":["https://openalex.org/I91045830"],"apc_list":null,"apc_paid":null,"fwci":5.1196,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.95812853,"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":"462","last_page":"476"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"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.7347835302352905},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5643786787986755},{"id":"https://openalex.org/keywords/maximal-set","display_name":"Maximal set","score":0.5427863597869873},{"id":"https://openalex.org/keywords/missing-data","display_name":"Missing data","score":0.5240224003791809},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.47942084074020386},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.458710253238678},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.4489596486091614},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44555947184562683},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4256194531917572},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4233558177947998},{"id":"https://openalex.org/keywords/complete-information","display_name":"Complete information","score":0.41012489795684814},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.394232839345932},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2075691521167755},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.19137299060821533},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18451982736587524},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09199580550193787}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7347835302352905},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5643786787986755},{"id":"https://openalex.org/C188521023","wikidata":"https://www.wikidata.org/wiki/Q6795644","display_name":"Maximal set","level":3,"score":0.5427863597869873},{"id":"https://openalex.org/C9357733","wikidata":"https://www.wikidata.org/wiki/Q6878417","display_name":"Missing data","level":2,"score":0.5240224003791809},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.47942084074020386},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.458710253238678},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.4489596486091614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44555947184562683},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4256194531917572},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4233558177947998},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.41012489795684814},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.394232839345932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2075691521167755},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.19137299060821533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18451982736587524},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09199580550193787},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"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/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2983990.2984024","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2983990.2984024","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320310164","display_name":"Texas A and M University","ror":"https://ror.org/01f5ytq51"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W1522334395","https://openalex.org/W1534988187","https://openalex.org/W1887412317","https://openalex.org/W1915915253","https://openalex.org/W1971500760","https://openalex.org/W1972544179","https://openalex.org/W1974008590","https://openalex.org/W1977476643","https://openalex.org/W1979887469","https://openalex.org/W1986511278","https://openalex.org/W1996009176","https://openalex.org/W2016323637","https://openalex.org/W2025786423","https://openalex.org/W2025819261","https://openalex.org/W2034256728","https://openalex.org/W2042373832","https://openalex.org/W2046368282","https://openalex.org/W2047068447","https://openalex.org/W2051016152","https://openalex.org/W2065675749","https://openalex.org/W2068530820","https://openalex.org/W2078197548","https://openalex.org/W2087969648","https://openalex.org/W2091980304","https://openalex.org/W2096527448","https://openalex.org/W2103408719","https://openalex.org/W2105391037","https://openalex.org/W2105980774","https://openalex.org/W2110852599","https://openalex.org/W2111900492","https://openalex.org/W2112521545","https://openalex.org/W2120476011","https://openalex.org/W2121816623","https://openalex.org/W2123184511","https://openalex.org/W2127989655","https://openalex.org/W2133662847","https://openalex.org/W2134440791","https://openalex.org/W2135023759","https://openalex.org/W2135395375","https://openalex.org/W2148011508","https://openalex.org/W2150602145","https://openalex.org/W2153174073","https://openalex.org/W2154557525","https://openalex.org/W2156370972","https://openalex.org/W2160963348","https://openalex.org/W2162630235","https://openalex.org/W2164726441","https://openalex.org/W2166091242","https://openalex.org/W2167744164","https://openalex.org/W2169870841","https://openalex.org/W2405985696","https://openalex.org/W2534587298","https://openalex.org/W2565491543","https://openalex.org/W2912815281","https://openalex.org/W3137220996","https://openalex.org/W4236306709","https://openalex.org/W4248655060","https://openalex.org/W4254906220","https://openalex.org/W4300810260","https://openalex.org/W6600049303","https://openalex.org/W6713716110"],"related_works":["https://openalex.org/W3046715470","https://openalex.org/W2531084474","https://openalex.org/W2383425257","https://openalex.org/W1982812811","https://openalex.org/W1540896195","https://openalex.org/W2161425454","https://openalex.org/W4362712030","https://openalex.org/W2014711626","https://openalex.org/W2125104802","https://openalex.org/W3083295843"],"abstract_inverted_index":{"We":[0],"present":[1],"RDIT,":[2],"a":[3,41,56,82,91],"novel":[4],"dynamic":[5],"technique":[6],"to":[7,116,157],"detect":[8,118],"data":[9,70],"races":[10,119,139],"in":[11,19,94,127],"multithreaded":[12],"programs":[13],"with":[14,98,120,140],"incomplete":[15,50],"trace":[16],"information,":[17],"i.e.,":[18],"the":[20,48,63,68,77],"presence":[21],"of":[22,44,71,137],"missing":[23,64,83,103,166],"events.":[24],"RDIT":[25,52,114,123],"is":[26,53],"both":[27],"precise":[28,159],"and":[29,38,105,133,152],"maximal:":[30],"it":[31,39,89],"does":[32],"not":[33],"report":[34,161],"any":[35],"false":[36,142,163],"alarms":[37,164],"detects":[40],"maximal":[42,108,121],"set":[43],"true":[45,138],"traces":[46],"from":[47],"observed":[49],"trace.":[51],"underpinned":[54],"by":[55,66,106],"sound":[57],"BarrierPair":[58],"model":[59],"that":[60,81,96],"abstracts":[61],"away":[62],"events":[65,100],"capturing":[67],"invocation":[69],"their":[72],"enclosing":[73],"methods.":[74],"By":[75],"making":[76],"least":[78],"conservative":[79],"abstraction":[80],"method":[84],"introduces":[85],"synchronization":[86],"only":[87],"when":[88,165],"has":[90,124,134],"memory":[92],"address":[93],"scope":[95],"overlaps":[97],"other":[99,102],"or":[101],"methods,":[104],"formulating":[107],"thread":[109],"causality":[110],"as":[111,148],"logical":[112],"constraints,":[113],"guarantees":[115],"precisely":[117],"capability.":[122],"been":[125],"applied":[126],"seven":[128],"real-world":[129],"large":[130],"concurrent":[131],"systems":[132],"detected":[135],"dozens":[136],"zero":[141],"alarms.":[143],"Comparatively,":[144],"existing":[145],"algorithms":[146],"such":[147],"Happens-Before,":[149],"Causal-":[150],"Precedes,":[151],"Maximal-Causality":[153],"which":[154],"are":[155],"known":[156],"be":[158],"all":[160],"many":[162],"synchronizations.":[167]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":3}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}