{"id":"https://openalex.org/W4411267621","doi":"https://doi.org/10.1145/3729252","title":"Efficient Timestamping for Sampling-Based Race Detection","display_name":"Efficient Timestamping for Sampling-Based Race Detection","publication_year":2025,"publication_date":"2025-06-10","ids":{"openalex":"https://openalex.org/W4411267621","doi":"https://doi.org/10.1145/3729252"},"language":"en","primary_location":{"id":"doi:10.1145/3729252","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729252","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729252","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3729252","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101491450","display_name":"Minjian Zhang","orcid":"https://orcid.org/0000-0002-5017-2228"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Minjian Zhang","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0002-5017-2228","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Daniel Wee Soong Lim","orcid":"https://orcid.org/0009-0007-5184-6339"},"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"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Daniel Wee Soong Lim","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0009-0007-5184-6339","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015697605","display_name":"Mosaad Al Thokair","orcid":"https://orcid.org/0000-0002-6832-0604"},"institutions":[{"id":"https://openalex.org/I4210143841","display_name":"Saudi Aramco (Saudi Arabia)","ror":"https://ror.org/03ypap427","country_code":"SA","type":"company","lineage":["https://openalex.org/I4210143841"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Mosaad Al Thokair","raw_affiliation_strings":["Saudi Aramco, Dhahran, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-6832-0604","affiliations":[{"raw_affiliation_string":"Saudi Aramco, Dhahran, Saudi Arabia","institution_ids":["https://openalex.org/I4210143841"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016958234","display_name":"Umang Mathur","orcid":"https://orcid.org/0000-0002-7610-0660"},"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"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Umang Mathur","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-7610-0660","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mahesh Viswanathan","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, USA"],"raw_orcid":"https://orcid.org/0000-0001-7977-0080","affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0436,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.82598289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":"9","issue":"PLDI","first_page":"150","last_page":"175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9909999966621399,"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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9909999966621399,"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"}},{"id":"https://openalex.org/T11447","display_name":"Blind Source Separation Techniques","score":0.9882000088691711,"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"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.958299994468689,"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.7088559865951538},{"id":"https://openalex.org/keywords/race","display_name":"Race (biology)","score":0.5426770448684692},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.43704503774642944},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.11207875609397888},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.07030054926872253}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7088559865951538},{"id":"https://openalex.org/C76509639","wikidata":"https://www.wikidata.org/wiki/Q918036","display_name":"Race (biology)","level":2,"score":0.5426770448684692},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.43704503774642944},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.11207875609397888},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.07030054926872253},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C107993555","wikidata":"https://www.wikidata.org/wiki/Q1662673","display_name":"Gender studies","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729252","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729252","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729252","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"}],"best_oa_location":{"id":"doi:10.1145/3729252","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729252","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3729252","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/G1726499989","display_name":null,"funder_award_id":"NRF-NCR25-Fuzz-0001","funder_id":"https://openalex.org/F4320320709","funder_display_name":"National Research Foundation Singapore"},{"id":"https://openalex.org/G3726224021","display_name":"SHF: Small: New Algorithmic Paradigms in Dynamic Analysis of Multithreaded Software","funder_award_id":"2007428","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5214072062","display_name":"SHF: Medium: Collaborative Research: Verification of Differential Privacy Mechanisms","funder_award_id":"1901069","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411267621.pdf","grobid_xml":"https://content.openalex.org/works/W4411267621.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W1887412317","https://openalex.org/W1972544179","https://openalex.org/W1979114612","https://openalex.org/W1995330182","https://openalex.org/W2008078972","https://openalex.org/W2025819261","https://openalex.org/W2046368282","https://openalex.org/W2072419942","https://openalex.org/W2078197548","https://openalex.org/W2093755302","https://openalex.org/W2103408719","https://openalex.org/W2109691981","https://openalex.org/W2149984854","https://openalex.org/W2150602145","https://openalex.org/W2153174073","https://openalex.org/W2156858199","https://openalex.org/W2161600851","https://openalex.org/W2166615267","https://openalex.org/W2167744164","https://openalex.org/W2240667924","https://openalex.org/W2245661419","https://openalex.org/W2565491543","https://openalex.org/W2606910946","https://openalex.org/W2625706696","https://openalex.org/W2761882621","https://openalex.org/W2799137521","https://openalex.org/W2884199446","https://openalex.org/W2887512784","https://openalex.org/W2898125173","https://openalex.org/W2899833378","https://openalex.org/W2979880065","https://openalex.org/W2995880861","https://openalex.org/W3000335052","https://openalex.org/W3009455989","https://openalex.org/W3011029566","https://openalex.org/W3015867278","https://openalex.org/W3032865144","https://openalex.org/W3106314272","https://openalex.org/W3114146851","https://openalex.org/W3122058811","https://openalex.org/W3137220996","https://openalex.org/W3184331482","https://openalex.org/W3194987967","https://openalex.org/W4205148915","https://openalex.org/W4214567754","https://openalex.org/W4236306709","https://openalex.org/W4240347746","https://openalex.org/W4246166885","https://openalex.org/W4251580636","https://openalex.org/W4254906220","https://openalex.org/W4315631446","https://openalex.org/W4379536496","https://openalex.org/W4390604995","https://openalex.org/W4390605256","https://openalex.org/W4390724060","https://openalex.org/W4394744337","https://openalex.org/W4394998872","https://openalex.org/W4399213714","https://openalex.org/W4400939546","https://openalex.org/W4407218459","https://openalex.org/W6949740061"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2492471733","https://openalex.org/W4395679069","https://openalex.org/W2390279801","https://openalex.org/W3013012681","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345"],"abstract_inverted_index":{"Dynamic":[0],"race":[1,89,105,169],"detection":[2,90],"based":[3,43,104,168],"on":[4,44,202,227,238],"the":[5,14,60,84,97,113,122,162,182,191,207,218,243],"happens":[6],"before":[7],"(HB)":[8],"partial":[9],"order":[10],"has":[11,71],"now":[12],"become":[13],"de":[15],"facto":[16],"approach":[17],"to":[18,35,65,78,147,160,179,212,217,256],"quickly":[19],"identify":[20],"data":[21,145],"races":[22,32,42],"in":[23,53,59,125,166],"multi-threaded":[24],"software.":[25],"Most":[26],"practical":[27],"implementations":[28],"for":[29,110],"detecting":[30],"these":[31,45],"use":[33],"timestamps":[34,51],"infer":[36],"causality":[37],"between":[38],"events":[39,117,124,195],"and":[40,62,150,196,200],"detect":[41],"timestamps.":[46],"Such":[47],"an":[48,101,126,152],"algorithm":[49,153,176,214,224,248],"updates":[50],"(stored":[52],"vector":[54,185],"clocks)":[55],"at":[56],"every":[57],"event":[58],"execution,":[61,206,229],"is":[63,118,177,188,215,231,233],"known":[64],"induce":[66],"excessive":[67],"overhead.":[68,81],"Random":[69],"sampling":[70,103,167],"emerged":[72],"as":[73],"a":[74,135,143,156],"promising":[75],"algorithmic":[76],"paradigm":[77],"offset":[79],"this":[80,93,130],"It":[82],"offers":[83],"promise":[85],"of":[86,99,115,138,158,164,184,193,198,209,220,245],"making":[87],"sound":[88],"scalable.":[91],"In":[92],"work":[94,221],"we":[95,132,172],"consider":[96],"task":[98],"designing":[100],"efficient":[102],"detector":[106],"with":[107],"low":[108],"overhead":[109],"timestamping":[111,165,210,251],"when":[112],"number":[114,183,192,197],"sampled":[116,194],"much":[119],"smaller":[120],"than":[121],"total":[123],"execution.":[127],"To":[128],"solve":[129],"problem,":[131],"propose":[133],"(1)":[134],"new":[136,144],"notion":[137],"freshness":[139],"timestamp":[140],",":[141],"(2)":[142],"structure":[146],"store":[148],"timestamps,":[149],"(3)":[151],"that":[154,174,228,230,253],"uses":[155],"combination":[157],"them":[159],"reduce":[161],"cost":[163,208],"detection.":[170],"Further,":[171],"prove":[173],"our":[175,213,246],"close":[178,216],"optimal":[180],"\u2014":[181],"clock":[186],"traversals":[187],"bounded":[189],"by":[190],"threads,":[199],"further,":[201],"any":[203,222],"given":[204],"dynamic":[205],"due":[211],"amount":[219],"timestamping-based":[223],"must":[225],"perform":[226],"it":[232],"instance":[234],"optimal.":[235],"Our":[236],"evaluation":[237],"real":[239],"world":[240],"benchmarks":[241],"demonstrates":[242],"effectiveness":[244],"proposed":[247],"over":[249],"prior":[250],"algorithms":[252],"are":[254],"agnostic":[255],"sampling.":[257]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-09-01T08:31:24.195828","created_date":"2025-10-10T00:00:00"}