{"id":"https://openalex.org/W4417142959","doi":"https://doi.org/10.48550/arxiv.2512.05555","title":"Compiling Away the Overhead of Race Detection","display_name":"Compiling Away the Overhead of Race Detection","publication_year":2025,"publication_date":"2025-12-05","ids":{"openalex":"https://openalex.org/W4417142959","doi":"https://doi.org/10.48550/arxiv.2512.05555"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2512.05555","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.05555","pdf_url":"https://arxiv.org/pdf/2512.05555","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2512.05555","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5120756111","display_name":"Alexey Paznikov","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Paznikov, Alexey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120727280","display_name":"Andrey Kogutenko","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kogutenko, Andrey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120727281","display_name":"Yaroslav Osipov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Osipov, Yaroslav","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033241617","display_name":"Michael Schwarz","orcid":"https://orcid.org/0000-0002-9828-0308"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schwarz, Michael","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5016958234","display_name":"Umang Mathur","orcid":"https://orcid.org/0000-0002-7610-0660"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mathur, Umang","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5120756111"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.43639999628067017,"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.43639999628067017,"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.30720001459121704,"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.08349999785423279,"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/thread","display_name":"Thread (computing)","score":0.5430999994277954},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.5347999930381775},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5268999934196472},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4993000030517578},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4377000033855438},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.41100001335144043},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.3889999985694885},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.37130001187324524},{"id":"https://openalex.org/keywords/data-access","display_name":"Data access","score":0.37059998512268066}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8208000063896179},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5430999994277954},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.5347999930381775},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5268999934196472},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4993000030517578},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4377000033855438},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.413100004196167},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.41100001335144043},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.3889999985694885},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.37130001187324524},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.37059998512268066},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C2777548347","wikidata":"https://www.wikidata.org/wiki/Q5456937","display_name":"Flagging","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.3328000009059906},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.32269999384880066},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3125999867916107},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.3061000108718872},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2946999967098236},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C119024030","wikidata":"https://www.wikidata.org/wiki/Q759899","display_name":"Call stack","level":3,"score":0.2766000032424927},{"id":"https://openalex.org/C119907115","wikidata":"https://www.wikidata.org/wiki/Q6815725","display_name":"Memory errors","level":3,"score":0.2651999890804291},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.2583000063896179},{"id":"https://openalex.org/C2778869765","wikidata":"https://www.wikidata.org/wiki/Q6028363","display_name":"Inefficiency","level":2,"score":0.2565000057220459}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2512.05555","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.05555","pdf_url":"https://arxiv.org/pdf/2512.05555","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},{"id":"doi:10.48550/arxiv.2512.05555","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.05555","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2512.05555","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.05555","pdf_url":"https://arxiv.org/pdf/2512.05555","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Dynamic":[0],"data":[1,60,95],"race":[2,61,96,109,122,196,215],"detectors":[3],"are":[4,98,264],"indispensable":[5],"for":[6,83,123,152],"flagging":[7],"concurrency":[8],"errors":[9],"in":[10,241,265],"software,":[11],"but":[12],"their":[13,18],"high":[14,230],"runtime":[15,56],"overhead":[16,21],"limits":[17],"adoption.":[19],"This":[20,233],"stems":[22],"primarily":[23],"from":[24],"pervasive":[25],"instrumentation":[26,82,192],"of":[27,34,58,67,93,139,159,194,206,222,268],"memory":[28,73,126],"accesses":[29,86,168],"-":[30,128],"a":[31,43,65,108,114,132,156,170,203,219,238],"significant":[32],"fraction":[33],"which":[35],"is":[36,235],"redundant.":[37],"We":[38,63,100,135,165],"addresses":[39],"this":[40,137],"inefficiency":[41],"through":[42],"static,":[44],"compiler-integrated":[45],"approach":[46,212],"that":[47,89,103,210],"identifies":[48],"and":[49,77,87,111,141,263],"eliminates":[50],"redundant":[51,160],"instrumentation,":[52],"drastically":[53],"reducing":[54],"the":[55,90,94,124,187,191,195,260,266],"cost":[57],"dynamic":[59],"detectors.":[62],"introduce":[64],"suite":[66,205],"interprocedural":[68],"static":[69,184],"analyses":[70,185],"reasoning":[71],"about":[72],"access":[74],"patterns,":[75],"synchronization,":[76],"thread":[78,231],"creation":[79],"to":[80,147],"eliminate":[81],"provably":[84],"race-free":[85],"show":[88,142],"completeness":[91],"properties":[92],"detector":[97,197],"preserved.":[99],"further":[101,157],"observe":[102],"many":[104],"inserted":[105],"checks":[106,161],"flag":[107],"if":[110,113],"only":[112],"preceding":[115],"check":[116],"has":[117],"already":[118],"flagged":[119],"an":[120],"equivalent":[121],"same":[125],"location":[127],"albeit":[129],"potentially":[130],"at":[131,148],"different":[133],"access.":[134],"characterize":[136],"notion":[138],"equivalence":[140,154],"that,":[143],"when":[144],"limiting":[145],"reporting":[146],"least":[149],"one":[150],"representative":[151],"each":[153],"class,":[155],"class":[158],"can":[162],"be":[163],"eliminated.":[164],"identify":[166],"such":[167],"using":[169],"novel":[171],"dominance-based":[172],"elimination":[173],"analysis.":[174],"Based":[175],"on":[176,202,252],"these":[177],"two":[178],"insights,":[179],"we":[180],"have":[181,256],"implemented":[182],"five":[183],"within":[186],"LLVM,":[188],"integrated":[189],"with":[190,224,237],"pass":[193],"ThreadSanitizer.":[198],"Our":[199,254],"experimental":[200],"evaluation":[201],"diverse":[204],"real-world":[207],"applications":[208],"demonstrates":[209],"our":[211],"significantly":[213],"reduces":[214],"detection":[216],"overhead,":[217],"achieving":[218],"geomean":[220],"speedup":[221],"1.34x,":[223],"peak":[225],"speedups":[226],"reaching":[227],"2.5x":[228],"under":[229],"contention.":[232],"performance":[234],"achieved":[236],"negligible":[239],"increase":[240],"compilation":[242],"time":[243],"and,":[244],"being":[245,269],"fully":[246],"automatic,":[247],"places":[248],"no":[249],"additional":[250],"burden":[251],"developers.":[253],"optimizations":[255],"been":[257],"accepted":[258],"by":[259],"ThreadSanitizer":[261],"maintainers":[262],"process":[267],"upstreamed.":[270]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-12-09T00:00:00"}