{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T17:17:29Z","timestamp":1772644649212,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T00:00:00Z","timestamp":1583712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":["PhD Fellowship"],"award-info":[{"award-number":["PhD Fellowship"]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1901069"],"award-info":[{"award-number":["1901069"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,9]]},"DOI":"10.1145\/3373376.3378475","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T22:37:01Z","timestamp":1584139021000},"page":"183-199","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Atomicity Checking in Linear Time using Vector Clocks"],"prefix":"10.1145","author":[{"given":"Umang","family":"Mathur","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering","author":"Agarwal Rahul","year":"1908","unstructured":"Rahul Agarwal , Amit Sasturkar , Liqiang Wang , and Scott D. Stoller . 2005. Optimized Run-time Race Detection and Atomicity Checking Using Partial Discovered Types . In Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering ( Long Beach, CA, USA) (ASE '05). ACM, New York, NY, USA, 233--242. https:\/\/doi.org\/10.1145\/110 1908 .1101944 10.1145\/1101908.1101944 Rahul Agarwal, Amit Sasturkar, Liqiang Wang, and Scott D. Stoller. 2005. Optimized Run-time Race Detection and Atomicity Checking Using Partial Discovered Types. In Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering (Long Beach, CA, USA) (ASE '05). ACM, New York, NY, USA, 233--242. https:\/\/doi.org\/10.1145\/1101908.1101944"},{"key":"e_1_3_2_1_2_1","volume-title":"Stoller","author":"Agarwal Rahul","year":"2004","unstructured":"Rahul Agarwal and Scott D . Stoller . 2004 . Type Inference for Parameterized Race-Free Java. In Verification, Model Checking, and Abstract Interpretation, Bernhard Steffen and Giorgio Levi (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 149--160. Rahul Agarwal and Scott D. Stoller. 2004. Type Inference for Parameterized Race-Free Java. In Verification, Model Checking, and Abstract Interpretation, Bernhard Steffen and Giorgio Levi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 149--160."},{"key":"e_1_3_2_1_3_1","unstructured":"Swarnendu Biswas. 2014. DoubleChecker . https:\/\/sourceforge.net\/p\/jikesrvm\/research-archive\/45\/ Accessed: 2020-01--15.  Swarnendu Biswas. 2014. DoubleChecker . https:\/\/sourceforge.net\/p\/jikesrvm\/research-archive\/45\/ Accessed: 2020-01--15."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Biswas Swarnendu","unstructured":"Swarnendu Biswas , Jipeng Huang , Aritra Sengupta , and Michael D. Bond . 2014. DoubleChecker: Efficient Sound and Precise Atomicity Checking . In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation ( Edinburgh, United Kingdom) (PLDI '14). ACM, New York, NY, USA, 28--39. https:\/\/doi.org\/10.1145\/2594291.2594323 10.1145\/2594291.2594323 Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, and Michael D. Bond. 2014. DoubleChecker: Efficient Sound and Precise Atomicity Checking. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (Edinburgh, United Kingdom) (PLDI '14). ACM, New York, NY, USA, 28--39. https:\/\/doi.org\/10.1145\/2594291.2594323"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509519"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"Cao Man","unstructured":"Man Cao , Minjia Zhang , Aritra Sengupta , and Michael D. Bond . 2016. Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-thread Dependences . In Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ( Barcelona, Spain) (PPoPP '16). ACM, New York, NY, USA, Article 20, bibinfonumpages13 pages. https:\/\/doi.org\/10.1145\/2851141.2851143 10.1145\/2851141.2851143 Man Cao, Minjia Zhang, Aritra Sengupta, and Michael D. Bond. 2016. Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-thread Dependences. In Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Barcelona, Spain) (PPoPP '16). ACM, New York, NY, USA, Article 20, bibinfonumpages13 pages. https:\/\/doi.org\/10.1145\/2851141.2851143"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755945"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250762"},{"key":"e_1_3_2_1_10_1","volume-title":"Causal Atomicity. In Proceedings of the 18th International Conference on Computer Aided Verification","author":"Farzan Azadeh","year":"1817","unstructured":"Azadeh Farzan and P. Madhusudan . 2006 . Causal Atomicity. In Proceedings of the 18th International Conference on Computer Aided Verification ( Seattle, WA) (CAV '06). Springer-Verlag, Berlin, Heidelberg, 315--328. https:\/\/doi.org\/10.1007\/1 1817 963_30 10.1007\/11817963_30 Azadeh Farzan and P. Madhusudan. 2006. Causal Atomicity. In Proceedings of the 18th International Conference on Computer Aided Verification (Seattle, WA) (CAV '06). Springer-Verlag, Berlin, Heidelberg, 315--328. https:\/\/doi.org\/10.1007\/11817963_30"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 20th International Conference on Computer Aided Verification","author":"Farzan Azadeh","unstructured":"Azadeh Farzan and P. Madhusudan . 2008. Monitoring Atomicity in Concurrent Programs . In Proceedings of the 20th International Conference on Computer Aided Verification ( Princeton, NJ, USA) (CAV '08). Springer-Verlag, Berlin, Heidelberg, 52--65. https:\/\/doi.org\/10.1007\/978--3--540--70545--1_8 10.1007\/978--3--540--70545--1_8 Azadeh Farzan and P. Madhusudan. 2008. Monitoring Atomicity in Concurrent Programs. In Proceedings of the 20th International Conference on Computer Aided Verification (Princeton, NJ, USA) (CAV '08). Springer-Verlag, Berlin, Heidelberg, 52--65. https:\/\/doi.org\/10.1007\/978--3--540--70545--1_8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2009. FastTrack: Efficient and Precise Dynamic Race Detection . In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation ( Dublin, Ireland) (PLDI '09). ACM, New York, NY, USA, 121--133. https:\/\/doi.org\/10.1145\/1542476.1542490 10.1145\/1542476.1542490 Cormac Flanagan and Stephen N. Freund. 2009. FastTrack: Efficient and Precise Dynamic Race Detection. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (Dublin, Ireland) (PLDI '09). ACM, New York, NY, USA, 121--133. https:\/\/doi.org\/10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2010. The RoadRunner Dynamic Analysis Framework for Concurrent Programs . In Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ( Toronto, Ontario, Canada) (PASTE '10). ACM, New York, NY, USA, 1--8. https:\/\/github.com\/stephenfreund\/RoadRunner Cormac Flanagan and Stephen N. Freund. 2010. The RoadRunner Dynamic Analysis Framework for Concurrent Programs. In Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (Toronto, Ontario, Canada) (PASTE '10). ACM, New York, NY, USA, 1--8. https:\/\/github.com\/stephenfreund\/RoadRunner"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 27th European Conference on Object-Oriented Programming","author":"Flanagan Cormac","unstructured":"Cormac Flanagan and Stephen N. Freund . 2013. RedCard: Redundant Check Elimination for Dynamic Race Detectors . In Proceedings of the 27th European Conference on Object-Oriented Programming ( Montpellier, France) (ECOOP'13). Springer-Verlag, Berlin, Heidelberg, 255--280. Cormac Flanagan and Stephen N. Freund. 2013. RedCard: Redundant Check Elimination for Dynamic Race Detectors. In Proceedings of the 27th European Conference on Object-Oriented Programming (Montpellier, France) (ECOOP'13). Springer-Verlag, Berlin, Heidelberg, 255--280."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377492.1377495"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007543"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375618"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781169"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604176"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064183"},{"key":"e_1_3_2_1_22_1","first-page":"30 pages. https","volume-title":"Unbounded Sound Predictive Race Detection. Proc. ACM Program. Lang.","volume":"3","author":"Gencc Kaan","year":"2019","unstructured":"Kaan Gencc , Jake Roemer , Yufan Xu , and Michael D. Bond . 2019. Dependence-Aware , Unbounded Sound Predictive Race Detection. Proc. ACM Program. Lang. , Vol. 3 , OOPSLA, Article Article 179 ( Oct. 2019 ), bibinfonumpages 30 pages. https:\/\/doi.org\/10 .1145\/3360605 10.1145\/3360605 Kaan Gencc, Jake Roemer, Yufan Xu, and Michael D. Bond. 2019. Dependence-Aware, Unbounded Sound Predictive Race Detection. Proc. ACM Program. Lang. , Vol. 3, OOPSLA, Article Article 179 (Oct. 2019), bibinfonumpages30 pages. https:\/\/doi.org\/10.1145\/3360605"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062374"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236025"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Leesatapornwongsa Tanakorn","unstructured":"Tanakorn Leesatapornwongsa , Jeffrey F. Lukman , Shan Lu , and Haryadi S. Gunawi . 2016. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems . In Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems ( Atlanta, Georgia, USA) (ASPLOS '16). Association for Computing Machinery, New York, NY, USA, 517--530. https:\/\/doi.org\/10.1145\/2872362.2872374 10.1145\/2872362.2872374 Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, and Haryadi S. Gunawi. 2016. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. In Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (Atlanta, Georgia, USA) (ASPLOS '16). Association for Computing Machinery, New York, NY, USA, 517--530. https:\/\/doi.org\/10.1145\/2872362.2872374"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314620"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238198"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610398"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950309"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337259"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.35"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"#cr-split#-e_1_3_2_1_39_1.1","doi-asserted-by":"crossref","unstructured":"Umang Mathur. 2019 a. Artifact for \"Atomicity Checking in Linear Time using Vector Clocks\". https:\/\/doi.org\/10.5281\/zenodo.3605759 10.5281\/zenodo.3605759","DOI":"10.1145\/3373376.3378475"},{"key":"#cr-split#-e_1_3_2_1_39_1.2","doi-asserted-by":"crossref","unstructured":"Umang Mathur. 2019 a. Artifact for \"Atomicity Checking in Linear Time using Vector Clocks\". https:\/\/doi.org\/10.5281\/zenodo.3605759","DOI":"10.1145\/3373376.3378475"},{"key":"e_1_3_2_1_40_1","unstructured":"Umang Mathur. 2019 b. RAPID . https:\/\/github.com\/umangm\/rapid Accessed: 2020-01--15.  Umang Mathur. 2019 b. RAPID . https:\/\/github.com\/umangm\/rapid Accessed: 2020-01--15."},{"key":"#cr-split#-e_1_3_2_1_41_1.1","unstructured":"Umang Mathur. 2020. umangm\/rapid v1.1 . https:\/\/doi.org\/10.5281\/zenodo.3605709 10.5281\/zenodo.3605709"},{"key":"#cr-split#-e_1_3_2_1_41_1.2","unstructured":"Umang Mathur. 2020. umangm\/rapid v1.1 . https:\/\/doi.org\/10.5281\/zenodo.3605709"},{"key":"e_1_3_2_1_42_1","first-page":"29 pages. https","volume-title":"Enhancing the Predictive Power of Happens-before Based Dynamic Race Detection. Proc. ACM Program. Lang.","volume":"2","author":"Mathur Umang","year":"2018","unstructured":"Umang Mathur , Dileep Kini , and Mahesh Viswanathan . 2018 . What Happens-after the First Race ? Enhancing the Predictive Power of Happens-before Based Dynamic Race Detection. Proc. ACM Program. Lang. , Vol. 2 , OOPSLA, Article 145 (Oct. 2018), bibinfonumpages 29 pages. https:\/\/doi.org\/10 .1145\/3276515 10.1145\/3276515 Umang Mathur, Dileep Kini, and Mahesh Viswanathan. 2018. What Happens-after the First Race? Enhancing the Predictive Power of Happens-before Based Dynamic Race Detection. Proc. ACM Program. Lang. , Vol. 2, OOPSLA, Article 145 (Oct. 2018), bibinfonumpages29 pages. https:\/\/doi.org\/10.1145\/3276515"},{"key":"e_1_3_2_1_43_1","volume-title":"Atomicity Checking in Linear Time using Vector Clocks. CoRR","author":"Mathur Umang","year":"2020","unstructured":"Umang Mathur and Mahesh Viswanathan . 2020. Atomicity Checking in Linear Time using Vector Clocks. CoRR , Vol. abs\/ 2001 .04961 ( 2020 ). arxiv: 2001.04961 https:\/\/arxiv.org\/abs\/2001.04961 Umang Mathur and Mahesh Viswanathan. 2020. Atomicity Checking in Linear Time using Vector Clocks. CoRR , Vol. abs\/2001.04961 (2020). arxiv: 2001.04961 https:\/\/arxiv.org\/abs\/2001.04961"},{"key":"e_1_3_2_1_44_1","unstructured":"Friedemann Mattern. 1988. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms. North-Holland 215--226.  Friedemann Mattern. 1988. Virtual Time and Global States of Distributed Systems. In Parallel and Distributed Algorithms. North-Holland 215--226."},{"key":"e_1_3_2_1_45_1","volume-title":"JGraphT--A Java library for graph data structures and algorithms. arXiv preprint arXiv:1904.08355","author":"Michail Dimitrios","year":"2019","unstructured":"Dimitrios Michail , Joris Kinable , Barak Naveh , and John V Sichi . 2019. JGraphT--A Java library for graph data structures and algorithms. arXiv preprint arXiv:1904.08355 ( 2019 ). Dimitrios Michail, Joris Kinable, Barak Naveh, and John V Sichi. 2019. JGraphT--A Java library for graph data structures and algorithms. arXiv preprint arXiv:1904.08355 (2019)."},{"key":"e_1_3_2_1_46_1","volume-title":"The Theory of Database Concurrency Control","author":"Papadimitriou Christos","unstructured":"Christos Papadimitriou . 1986. The Theory of Database Concurrency Control . Computer Science Press, Inc. , New York, NY, USA . Christos Papadimitriou. 1986. The Theory of Database Concurrency Control .Computer Science Press, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Eli Pozniansky and Assaf Schuster. 2003. Efficient On-the-fly Data Race Detection in Multithreaded C  Eli Pozniansky and Assaf Schuster. 2003. Efficient On-the-fly Data Race Detection in Multithreaded C","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","unstructured":"Programs. In Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ( San Diego, California, USA) (PPoPP '03). ACM, New York, NY, USA, 179--190. https:\/\/doi.org\/10.1145\/781498.781529 10.1145\/781498.781529 Programs. In Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (San Diego, California, USA) (PPoPP '03). ACM, New York, NY, USA, 179--190. https:\/\/doi.org\/10.1145\/781498.781529"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062350"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192385"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786874"},{"key":"e_1_3_2_1_54_1","volume-title":"Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"Sasturkar Amit","unstructured":"Amit Sasturkar , Rahul Agarwal , Liqiang Wang , and Scott D. Stoller . 2005. Automated Type-Based Analysis of Data Races and Atomicity . In Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ( Chicago, IL, USA) (PPoPP '05). Association for Computing Machinery, New York, NY, USA, 83--94. https:\/\/doi.org\/10.1145\/1065944.1065956 10.1145\/1065944.1065956 Amit Sasturkar, Rahul Agarwal, Liqiang Wang, and Scott D. Stoller. 2005. Automated Type-Based Analysis of Data Races and Atomicity. In Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Chicago, IL, USA) (PPoPP '05). Association for Computing Machinery, New York, NY, USA, 83--94. https:\/\/doi.org\/10.1145\/1065944.1065956"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_29"},{"key":"e_1_3_2_1_56_1","unstructured":"Ilya Sergey. 2019. What Does It Mean for a Program Analysis to Be Sound? https:\/\/blog.sigplan.org\/2019\/08\/07\/what-does-it-mean-for-a-program-analysis-to-be-sound Accessed: 2020-01--15.  Ilya Sergey. 2019. What Does It Mean for a Program Analysis to Be Sound? https:\/\/blog.sigplan.org\/2019\/08\/07\/what-does-it-mean-for-a-program-analysis-to-be-sound Accessed: 2020-01--15."},{"key":"e_1_3_2_1_57_1","volume-title":"Proceedings of the third workshop on Java for high performance computing .","author":"Smith Lorna A","year":"2001","unstructured":"Lorna A Smith and J Mark Bull . 2001 . A multithreaded java grande benchmark suite . In Proceedings of the third workshop on Java for high performance computing . Lorna A Smith and J Mark Bull. 2001. A multithreaded java grande benchmark suite. In Proceedings of the third workshop on Java for high performance computing ."},{"key":"e_1_3_2_1_58_1","volume-title":"Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"Sorrentino Francesco","year":"1882","unstructured":"Francesco Sorrentino , Azadeh Farzan , and P. Madhusudan . 2010. PENELOPE: Weaving Threads to Expose Atomicity Violations . In Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering ( Santa Fe, New Mexico, USA) (FSE '10). ACM, New York, NY, USA, 37--46. https:\/\/doi.org\/10.1145\/ 1882 291.1882300 10.1145\/1882291.1882300 Francesco Sorrentino, Azadeh Farzan, and P. Madhusudan. 2010. PENELOPE: Weaving Threads to Expose Atomicity Violations. In Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering (Santa Fe, New Mexico, USA) (FSE '10). ACM, New York, NY, USA, 37--46. https:\/\/doi.org\/10.1145\/1882291.1882300"},{"key":"e_1_3_2_1_59_1","volume-title":"Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation","author":"von Praun Christoph","unstructured":"Christoph von Praun and Thomas R. Gross . 2003. Static Conflict Analysis for Multi-threaded Object-oriented Programs . In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation ( San Diego, California, USA) (PLDI '03). ACM, New York, NY, USA, 115--128. https:\/\/doi.org\/10.1145\/781131.781145 10.1145\/781131.781145 Christoph von Praun and Thomas R. Gross. 2003. Static Conflict Analysis for Multi-threaded Object-oriented Programs. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (San Diego, California, USA) (PLDI '03). ACM, New York, NY, USA, 115--128. https:\/\/doi.org\/10.1145\/781131.781145"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_27"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155628"},{"key":"e_1_3_2_1_62_1","volume-title":"Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"Wang Liqiang","unstructured":"Liqiang Wang and Scott D. Stoller . 2005. Static Analysis of Atomicity for Programs with Non-blocking Synchronization . In Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ( Chicago, IL, USA) (PPoPP '05). ACM, New York, NY, USA, 61--71. https:\/\/doi.org\/10.1145\/1065944.1065953 10.1145\/1065944.1065953 Liqiang Wang and Scott D. Stoller. 2005. Static Analysis of Atomicity for Programs with Non-blocking Synchronization. In Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Chicago, IL, USA) (PPoPP '05). ACM, New York, NY, USA, 61--71. https:\/\/doi.org\/10.1145\/1065944.1065953"},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the Eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"Wang Liqiang","unstructured":"Liqiang Wang and Scott D. Stoller . 2006 a. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs . In Proceedings of the Eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ( New York, New York, USA) (PPoPP '06). ACM, New York, NY, USA, 137--146. https:\/\/doi.org\/10.1145\/1122971.1122993 10.1145\/1122971.1122993 Liqiang Wang and Scott D. Stoller. 2006 a. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In Proceedings of the Eleventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (New York, New York, USA) (PPoPP '06). ACM, New York, NY, USA, 137--146. https:\/\/doi.org\/10.1145\/1122971.1122993"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.1599419"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.19"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133893"},{"key":"e_1_3_2_1_67_1","volume-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Xu Min","unstructured":"Min Xu , Rastislav Bod'ik , and Mark D. Hill . 2005. A Serializability Violation Detector for Shared-Memory Server Programs . In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation ( Chicago, IL, USA) (PLDI '05). Association for Computing Machinery, New York, NY, USA, 1--14. https:\/\/doi.org\/10.1145\/1065010.1065013 10.1145\/1065010.1065013 Min Xu, Rastislav Bod'ik, and Mark D. Hill. 2005. A Serializability Violation Detector for Shared-Memory Server Programs. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (Chicago, IL, USA) (PLDI '05). Association for Computing Machinery, New York, NY, USA, 1--14. https:\/\/doi.org\/10.1145\/1065010.1065013"}],"event":{"name":"ASPLOS '20: Architectural Support for Programming Languages and Operating Systems","location":"Lausanne Switzerland","acronym":"ASPLOS '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378475","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378475","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373376.3378475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:59Z","timestamp":1750199579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373376.3378475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,9]]},"references-count":69,"alternative-id":["10.1145\/3373376.3378475","10.1145\/3373376"],"URL":"https:\/\/doi.org\/10.1145\/3373376.3378475","relation":{},"subject":[],"published":{"date-parts":[[2020,3,9]]},"assertion":[{"value":"2020-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}