{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:25Z","timestamp":1750220785352,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T00:00:00Z","timestamp":1602028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,7]]},"DOI":"10.1145\/3387903.3389311","type":"proceedings-article","created":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T20:02:18Z","timestamp":1599940938000},"page":"71-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["BlockRace"],"prefix":"10.1145","author":[{"given":"Xiupei","family":"Mei","sequence":"first","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhengyuan","family":"Wei","sequence":"additional","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. K.","family":"Chan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,7]]},"reference":[{"unstructured":"Rapid https:\/\/github.com\/umangm\/rapid  Rapid https:\/\/github.com\/umangm\/rapid","key":"e_1_3_2_1_1_1"},{"unstructured":"Apache Hadoop https:\/\/hadoop.apache.org\/  Apache Hadoop https:\/\/hadoop.apache.org\/","key":"e_1_3_2_1_2_1"},{"unstructured":"Apache Spark https:\/\/spark.apache.org\/  Apache Spark https:\/\/spark.apache.org\/","key":"e_1_3_2_1_3_1"},{"unstructured":"Kryo https:\/\/github.com\/EsotericSoftware\/kryo  Kryo https:\/\/github.com\/EsotericSoftware\/kryo","key":"e_1_3_2_1_4_1"},{"unstructured":"RVPredict https:\/\/runtimeverification.com\/predict\/  RVPredict https:\/\/runtimeverification.com\/predict\/","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","first-page":"37","volume-title":"USA","author":"Sorrentino F.","year":"2010","unstructured":"F. Sorrentino , A. Farzan , and P. Madhusudan , \" PENELOPE: Weaving Threads to Expose Atomicity Violations,\" in Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, New York, NY , USA , 2010 , pp. 37 -- 46 . F. Sorrentino, A. Farzan, and P. Madhusudan, \"PENELOPE: Weaving Threads to Expose Atomicity Violations,\" in Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, New York, NY, USA, 2010, pp. 37--46."},{"key":"e_1_3_2_1_7_1","first-page":"15","volume-title":"Proc. 2011 International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Veeraraghavan K.","unstructured":"K. Veeraraghavan , D. Lee , B. Wester , J. Ouyang , P. M. Chen , J. Flinn , and S. Narayanasamy . DoublePlay: Parallelizing sequential logging and replay . In Proc. 2011 International Conference on Architectural Support for Programming Languages and Operating Systems , pages 15 -- 26 . K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy. DoublePlay: Parallelizing sequential logging and replay. In Proc. 2011 International Conference on Architectural Support for Programming Languages and Operating Systems, pages 15--26."},{"key":"e_1_3_2_1_8_1","first-page":"27","volume-title":"USA","author":"Wester B.","year":"2013","unstructured":"B. Wester , D. Devecsery , P. M. Chen , J. Flinn , and S. Narayanasamy , \" Parallelizing Data Race Detection,\" in Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, New York, NY , USA , 2013 , pp. 27 -- 38 . B. Wester, D. Devecsery, P. M. Chen, J. Flinn, and S. Narayanasamy, \"Parallelizing Data Race Detection,\" in Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, New York, NY, USA, 2013, pp. 27--38."},{"key":"e_1_3_2_1_9_1","first-page":"215","volume-title":"POL Skew-Aware Parallel Race Detection,\" in Proceedings of IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM)","author":"Sakurai Y.","year":"2018","unstructured":"Y. Sakurai , Y. Arahori , and K. Gondow , \" POL Skew-Aware Parallel Race Detection,\" in Proceedings of IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM) , 2018 , pp. 215 -- 224 . Y. Sakurai, Y. Arahori, and K. Gondow, \"POL Skew-Aware Parallel Race Detection,\" in Proceedings of IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2018, pp. 215--224."},{"key":"e_1_3_2_1_10_1","first-page":"387","volume-title":"Proceedings of IEEE International Parallel and Distributed Processing Symposium (IPDPS)","author":"Song Y. W.","year":"2017","unstructured":"Y. W. Song and Y.-H. Lee , \" A Parallel FastTrack Data Race Detector on Multicore Systems,\" in Proceedings of IEEE International Parallel and Distributed Processing Symposium (IPDPS) , 2017 , pp. 387 -- 396 . Y. W. Song and Y.-H. Lee, \"A Parallel FastTrack Data Race Detector on Multicore Systems,\" in Proceedings of IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2017, pp. 387--396."},{"key":"e_1_3_2_1_11_1","first-page":"810","volume-title":"A deployable sampling strategy for data race detection,\" in In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"Cai Y.","year":"2016","unstructured":"Y. Cai , J. Zhang , L. Cao , and J. Liu , \" A deployable sampling strategy for data race detection,\" in In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering , 2016 , pp. 810 -- 821 . Y. Cai, J. Zhang, L. Cao, and J. Liu, \"A deployable sampling strategy for data race detection,\" in In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016, pp. 810--821."},{"key":"e_1_3_2_1_12_1","first-page":"272","volume-title":"Reliability and Security","author":"Wu S.","year":"2015","unstructured":"S. Wu , C. Yang , and W. K. Chan , \" ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs,\" in 2015 IEEE International Conference on Software Quality , Reliability and Security , 2015 , pp. 272 -- 281 . S. Wu, C. Yang, and W. K. Chan, \"ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs,\" in 2015 IEEE International Conference on Software Quality, Reliability and Security, 2015, pp. 272--281."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1109\/TSE.2014.2301725"},{"key":"e_1_3_2_1_14_1","first-page":"205","article-title":"RELAY: Static Race Detection on Millions of Lines of Code,\" in Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, New York","author":"Voung J. W.","year":"2007","unstructured":"J. W. Voung , R. Jhala , and S. Lerner , \" RELAY: Static Race Detection on Millions of Lines of Code,\" in Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, New York , NY, USA , 2007 , pp. 205 -- 214 . J. W. Voung, R. Jhala, and S. Lerner, \"RELAY: Static Race Detection on Millions of Lines of Code,\" in Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, New York, NY, USA, 2007, pp. 205--214.","journal-title":"NY, USA"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/3133893"},{"key":"e_1_3_2_1_16_1","first-page":"13","volume-title":"Reliability and Security (QRS)","author":"Yang J.","year":"2016","unstructured":"J. Yang , C. Yang , and W. K. Chan , \" HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts,\" in 2016 IEEE International Conference on Software Quality , Reliability and Security (QRS) , 2016 , pp. 13 -- 24 . J. Yang, C. Yang, and W. K. Chan, \"HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts,\" in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2016, pp. 13--24."},{"key":"e_1_3_2_1_17_1","first-page":"134","volume-title":"No. 6). ACM.","author":"Marino D.","unstructured":"D. Marino , M. Musuvathi , and S. Narayanasamy , \" LiteRace: Effective Sampling for Lightweight Data-Race Detection,\" In ACM Sigplan notices (Vol. 44 , No. 6). ACM. pp. 134 -- 143 . D. Marino, M. Musuvathi, and S. Narayanasamy, \"LiteRace: Effective Sampling for Lightweight Data-Race Detection,\" In ACM Sigplan notices (Vol. 44, No. 6). ACM. pp. 134--143."},{"key":"e_1_3_2_1_18_1","first-page":"271","article-title":"ParaLog: Enabling and Accelerating Online Parallel Monitoring of Multithreaded Applications,\" in Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, New York","author":"Vlachos E.","year":"2010","unstructured":"E. Vlachos , \" ParaLog: Enabling and Accelerating Online Parallel Monitoring of Multithreaded Applications,\" in Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, New York , NY, USA , 2010 , pp. 271 -- 284 . E. Vlachos et al., \"ParaLog: Enabling and Accelerating Online Parallel Monitoring of Multithreaded Applications,\" in Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, New York, NY, USA, 2010, pp. 271--284.","journal-title":"NY, USA"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3093315.3037708"},{"volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09)","author":"Flanagan C.","unstructured":"C. Flanagan and S. N. Freund , FastTrack: efficient and precise dynamic race detection . In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09) . ACM, New York, NY, USA, 121--133. C. Flanagan and S. N. Freund, FastTrack: efficient and precise dynamic race detection. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09). ACM, New York, NY, USA, 121--133.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","first-page":"387","volume-title":"USA","author":"Smaragdakis Y.","year":"2012","unstructured":"Y. Smaragdakis , J. Evans , C. Sadowski , J. Yi , and C. Flanagan , \" Sound Predictive Race Detection in Polynomial Time,\" in Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY , USA , 2012 , pp. 387 -- 400 . Y. Smaragdakis, J. Evans, C. Sadowski, J. Yi, and C. Flanagan, \"Sound Predictive Race Detection in Polynomial Time,\" in Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, 2012, pp. 387--400."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3140587.3062374"},{"key":"e_1_3_2_1_23_1","volume-title":"Jan.","author":"Pavlogiannis A.","year":"2019","unstructured":"A. Pavlogiannis , \"Fast , Sound and Effectively Complete Dynamic Race Detection,\" arXiv:1901.08857 [cs] , Jan. 2019 . A. Pavlogiannis, \"Fast, Sound and Effectively Complete Dynamic Race Detection,\" arXiv:1901.08857 [cs], Jan. 2019."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1109\/MM.2007.5"},{"key":"e_1_3_2_1_25_1","first-page":"329","article-title":"Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics,\" in Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, New York","author":"Lu S.","year":"2008","unstructured":"S. Lu , S. Park , E. Seo , and Y. Zhou , \" Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics,\" in Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, New York , NY, USA , 2008 , pp. 329 -- 339 . S. Lu, S. Park, E. Seo, and Y. Zhou, \"Learning from Mistakes: A Comprehensive Study on Real World Concurrency Bug Characteristics,\" in Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, New York, NY, USA, 2008, pp. 329--339.","journal-title":"NY, USA"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/2858965.2814292"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1145\/265924.265927"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"AST '20","name":"AST '20: IEEE\/ACM 15nd International Conference on Automation of Software Test","location":"Seoul Republic of Korea"},"container-title":["Proceedings of the IEEE\/ACM 1st International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387903.3389311","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387903.3389311","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:37Z","timestamp":1750200097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387903.3389311"}},"subtitle":["A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs"],"short-title":[],"issued":{"date-parts":[[2020,10,7]]},"references-count":27,"alternative-id":["10.1145\/3387903.3389311","10.1145\/3387903"],"URL":"https:\/\/doi.org\/10.1145\/3387903.3389311","relation":{},"subject":[],"published":{"date-parts":[[2020,10,7]]},"assertion":[{"value":"2020-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}