{"id":"https://openalex.org/W2899833378","doi":"https://doi.org/10.1145/3290370","title":"A true positives theorem for a static race detector","display_name":"A true positives theorem for a static race detector","publication_year":2019,"publication_date":"2019-01-02","ids":{"openalex":"https://openalex.org/W2899833378","doi":"https://doi.org/10.1145/3290370","mag":"2899833378"},"language":"en","primary_location":{"id":"doi:10.1145/3290370","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290370","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290370","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3290370","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Nikos Gorogiannis","orcid":null},"institutions":[{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]},{"id":"https://openalex.org/I4210111288","display_name":"Meta (United Kingdom)","ror":"https://ror.org/020ye1821","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210111288","https://openalex.org/I4210114444"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Nikos Gorogiannis","raw_affiliation_strings":["Facebook, UK / Middlesex University, UK"],"affiliations":[{"raw_affiliation_string":"Facebook, UK / Middlesex University, UK","institution_ids":["https://openalex.org/I60488453","https://openalex.org/I4210111288"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Peter W. O'Hearn","orcid":null},"institutions":[{"id":"https://openalex.org/I4210111288","display_name":"Meta (United Kingdom)","ror":"https://ror.org/020ye1821","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210111288","https://openalex.org/I4210114444"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Peter W. O'Hearn","raw_affiliation_strings":["Facebook, UK / University College London, UK"],"affiliations":[{"raw_affiliation_string":"Facebook, UK / University College London, UK","institution_ids":["https://openalex.org/I4210111288","https://openalex.org/I45129253"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ilya Sergey","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I3089745140","display_name":"Yale-NUS College","ror":"https://ror.org/04g9wch13","country_code":"SG","type":"education","lineage":["https://openalex.org/I3089745140"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ilya Sergey","raw_affiliation_strings":["Yale-NUS College, Singapore / National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"Yale-NUS College, Singapore / National University of Singapore, Singapore","institution_ids":["https://openalex.org/I3089745140","https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210111288","https://openalex.org/I60488453"],"apc_list":null,"apc_paid":null,"fwci":4.2221,"has_fulltext":true,"cited_by_count":25,"citation_normalized_percentile":{"value":0.9460098,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"3","issue":"POPL","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.5095000267028809,"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.5095000267028809,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.3582000136375427,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.020600000396370888,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/false-positive-paradox","display_name":"False positive paradox","score":0.633899986743927},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6244999766349792},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.6025999784469604},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.47929999232292175},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.388700008392334},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.38589999079704285}],"concepts":[{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.633899986743927},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6244999766349792},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6150000095367432},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.6025999784469604},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.47929999232292175},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.462799996137619},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.388700008392334},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.38589999079704285},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36079999804496765},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.29019999504089355},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2754000127315521},{"id":"https://openalex.org/C2989486834","wikidata":"https://www.wikidata.org/wiki/Q3808900","display_name":"True positive rate","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.266400009393692},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2653000056743622},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2597000002861023}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3290370","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290370","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290370","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:eprints.mdx.ac.uk:29747","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400025","display_name":"Middlesex University Research Repository (Middlesex University Of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60488453","host_organization_name":"Middlesex University","host_organization_lineage":["https://openalex.org/I60488453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"},{"id":"pmh:oai:arXiv.org:1811.03503","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.03503","pdf_url":"https://arxiv.org/pdf/1811.03503","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3290370","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290370","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290370","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2899833378.pdf","grobid_xml":"https://content.openalex.org/works/W2899833378.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W31392846","https://openalex.org/W2014764321","https://openalex.org/W2025819261","https://openalex.org/W2043100293","https://openalex.org/W2052087935","https://openalex.org/W2054739713","https://openalex.org/W2081281361","https://openalex.org/W2084875723","https://openalex.org/W2102832761","https://openalex.org/W2106647551","https://openalex.org/W2107147876","https://openalex.org/W2109033563","https://openalex.org/W2122745100","https://openalex.org/W2125398300","https://openalex.org/W2140021378","https://openalex.org/W2140341752","https://openalex.org/W2167744164","https://openalex.org/W2560856221","https://openalex.org/W2564852534","https://openalex.org/W2788308668","https://openalex.org/W2798352717","https://openalex.org/W2898125173","https://openalex.org/W2899833378","https://openalex.org/W4229635525","https://openalex.org/W4300810260"],"related_works":[],"abstract_inverted_index":{"RacerD":[0,104],"is":[1,139],"a":[2,41,44,49,67],"static":[3,151,155,193],"race":[4],"detector":[5],"that":[6,103,129,157],"has":[7,17,30],"been":[8,166],"proven":[9],"to":[10,43,97,110],"be":[11,125,184],"effective":[12,159,192],"in":[13,90,150,160,171,176,187],"engineering":[14],"practice:":[15],"it":[16],"seen":[18,126],"thousands":[19],"of":[20,34,62,76,79,135,142,147,180],"data":[21],"races":[22],"fixed":[23],"by":[24,94],"developers":[25],"before":[26],"reaching":[27],"production,":[28],"and":[29,112,190],"supported":[31],"the":[32,63,83,91,95,99,114,130,140,143,177],"migration":[33],"Facebook's":[35],"Android":[36],"app":[37],"rendering":[38],"infrastructure":[39],"from":[40,101],"single-threaded":[42],"multi-threaded":[45],"architecture.":[46],"We":[47,70],"prove":[48],"True":[50],"Positives":[51],"Theorem":[52],"stating":[53],"that,":[54,175],"under":[55],"certain":[56],"assumptions,":[57],"an":[58,73,77,133,136],"idealized":[59],"theoretical":[60],"version":[61],"analysis":[64,131],"never":[65],"reports":[66],"false":[68],"positive.":[69],"also":[71],"provide":[72],"empirical":[74],"evaluation":[75],"implementation":[78],"this":[80,181],"analysis,":[81],"versus":[82],"original":[84],"RacerD.":[85],"The":[86],"theorem":[87,115],"was":[88,105],"motivated":[89],"first":[92],"case":[93],"desire":[96],"understand":[98],"observation":[100],"production":[102],"providing":[106],"remarkably":[107],"accurate":[108],"signal":[109],"developers,":[111],"then":[113],"guided":[116],"further":[117],"analyzer":[118],"design":[119],"decisions.":[120],"Technically,":[121],"our":[122],"result":[123],"can":[124],"as":[127,168],"saying":[128],"computes":[132],"under-approximation":[134],"over-approximation,":[137],"which":[138],"reverse":[141],"more":[144],"usual":[145],"(over":[146],"under)":[148],"situation":[149],"analysis.":[152],"Until":[153],"now,":[154],"analyzers":[156],"are":[158],"practice":[161],"but":[162],"unsound":[163],"have":[164],"often":[165],"regarded":[167],"ad":[169],"hoc;":[170],"contrast,":[172],"we":[173],"suggest":[174],"future,":[178],"theorems":[179],"variety":[182],"might":[183],"generally":[185],"useful":[186],"understanding,":[188],"justifying":[189],"designing":[191],"analyses":[194],"for":[195],"bug":[196],"catching.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2018-11-16T00:00:00"}