{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:16:28Z","timestamp":1768029388114,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,12]],"date-time":"2017-11-12T00:00:00Z","timestamp":1510444800000},"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":[[2017,11,12]]},"DOI":"10.1145\/3126908.3126958","type":"proceedings-article","created":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T21:02:30Z","timestamp":1510174950000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["DataRaceBench"],"prefix":"10.1145","author":[{"given":"Chunhua","family":"Liao","sequence":"first","affiliation":[{"name":"Lawrence Livermore National Laboratory"}]},{"given":"Pei-Hung","family":"Lin","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory"}]},{"given":"Joshua","family":"Asplund","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory"}]},{"given":"Markus","family":"Schordan","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory"}]},{"given":"Ian","family":"Karlin","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National"}]}],"member":"320","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Retrieved","author":"Benchmarks C's","year":"1995","unstructured":"1995. SPE C's Benchmarks . ( 1995 ). Retrieved July, 2017 from http:\/\/www.spec.org\/benchmarks.html 1995. SPEC's Benchmarks. (1995). Retrieved July, 2017 from http:\/\/www.spec.org\/benchmarks.html"},{"key":"e_1_3_2_1_2_1","volume-title":"Retrieved","year":"2000","unstructured":"2000. Helgrind. ( 2000 ). Retrieved July, 2017 from http:\/\/valgrind.org\/docs\/manual\/hg-manual.html 2000. Helgrind. (2000). Retrieved July, 2017 from http:\/\/valgrind.org\/docs\/manual\/hg-manual.html"},{"key":"e_1_3_2_1_3_1","volume-title":"Retrieved","year":"2017","unstructured":"2017. Intel Inspector 2017. (2017) . Retrieved July , 2017 from https:\/\/software.intel.com\/en-us\/intel-inspector-xe 2017. Intel Inspector 2017. (2017). Retrieved July, 2017 from https:\/\/software.intel.com\/en-us\/intel-inspector-xe"},{"key":"e_1_3_2_1_4_1","volume-title":"Retrieved","year":"2017","unstructured":"2017. Livermore Computing Quartz system. (2017) . Retrieved July , 2017 from https:\/\/hpc.llnl.gov\/hardware\/platforms\/Quartz 2017. Livermore Computing Quartz system. (2017). Retrieved July, 2017 from https:\/\/hpc.llnl.gov\/hardware\/platforms\/Quartz"},{"key":"e_1_3_2_1_5_1","volume-title":"Retrieved","year":"2017","unstructured":"2017. LLVM Framework for High-Level Loop and Data-Locality Optimizations. (2017) . Retrieved July , 2017 from https:\/\/polly.llvm.org 2017. LLVM Framework for High-Level Loop and Data-Locality Optimizations. (2017). Retrieved July, 2017 from https:\/\/polly.llvm.org"},{"key":"e_1_3_2_1_6_1","volume-title":"Retrieved","year":"2017","unstructured":"2017. ThreadSanitizer. ( 2017 ). Retrieved July, 2017 from https:\/\/github.com\/google\/sanitizers 2017. ThreadSanitizer. (2017). Retrieved July, 2017 from https:\/\/github.com\/google\/sanitizers"},{"key":"e_1_3_2_1_7_1","volume-title":"2013 25th Chinese Control and Decision Conference (CCDC). 3951--3955","author":"Alowibdi J. S.","unstructured":"J. S. Alowibdi and L. Stenneth . 2013. An empirical study of data race detector tools . In 2013 25th Chinese Control and Decision Conference (CCDC). 3951--3955 . J. S. Alowibdi and L. Stenneth. 2013. An empirical study of data race detector tools. In 2013 25th Chinese Control and Decision Conference (CCDC). 3951--3955."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647074.713908"},{"key":"e_1_3_2_1_10_1","volume-title":"OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT","author":"Aslot Vishal","year":"2001","unstructured":"Vishal Aslot , Max J. Domeika , Rudolf Eigenmann , Greg Gaertner , Wesley B. Jones , and Bodo Parady . 2001. SPEComp: A New Benchmark Suite for Measuring Parallel Computer Performance . In OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001 , West Lafayette, IN , USA, July 30-31, 2001 Proceedings (Lecture Notes in Computer Science), Rudolf Eigenmann and Michael Voss (Eds.), Vol. 2104 . Springer , 1-10. Vishal Aslot, Max J. Domeika, Rudolf Eigenmann, Greg Gaertner, Wesley B. Jones, and Bodo Parady. 2001. SPEComp: A New Benchmark Suite for Measuring Parallel Computer Performance. In OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings (Lecture Notes in Computer Science), Rudolf Eigenmann and Michael Voss (Eds.), Vol. 2104. Springer, 1-10."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2935323.2935324"},{"key":"e_1_3_2_1_13_1","volume-title":"IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings (Lecture Notes in Computer Science), Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, and Matthias S. M\u00fcller (Eds.)","volume":"6665","author":"Basupalli V.","year":"2011","unstructured":"V. Basupalli , Tomofumi Yuki , Sanjay V. Rajopadhye , Antoine Morvan , Steven Derrien , Patrice Quinton , and David Wonnacott . 2011 . ompVerify: Polyhedral Analysis for the OpenMP Programmer. In OpenMP in the Petascale Era - 7th International Workshop on OpenMP , IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings (Lecture Notes in Computer Science), Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, and Matthias S. M\u00fcller (Eds.) , Vol. 6665 . Springer, 37--53. V. Basupalli, Tomofumi Yuki, Sanjay V. Rajopadhye, Antoine Morvan, Steven Derrien, Patrice Quinton, and David Wonnacott. 2011. ompVerify: Polyhedral Analysis for the OpenMP Programmer. In OpenMP in the Petascale Era - 7th International Workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011. Proceedings (Lecture Notes in Computer Science), Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, and Matthias S. M\u00fcller (Eds.), Vol. 6665. Springer, 37--53."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_15_1","unstructured":"Prasanth Chatarasi Jun Shirako and Vivek Sarkar. 2016. Static Data Race Detection for SPMD Programs via an Extended Polyhedral Representation. (2016).  Prasanth Chatarasi Jun Shirako and Vivek Sarkar. 2016. Static Data Race Detection for SPMD Programs via an Extended Polyhedral Representation. (2016)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"e_1_3_2_1_17_1","volume-title":"The LINPACK benchmark: past, present and future. Concurrency and Computation: practice and experience 15, 9","author":"Dongarra Jack J","year":"2003","unstructured":"Jack J Dongarra , Piotr Luszczek , and Antoine Petitet . 2003. The LINPACK benchmark: past, present and future. Concurrency and Computation: practice and experience 15, 9 ( 2003 ), 803--820. Jack J Dongarra, Piotr Luszczek, and Antoine Petitet. 2003. The LINPACK benchmark: past, present and future. Concurrency and Computation: practice and experience 15, 9 (2003), 803--820."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.2005.41"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384650"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_1_22_1","unstructured":"Hao-Qiang Jin Michael Frumkin and Jerry Yan. 1999. The OpenMP implementation of NAS parallel benchmarks and its performance. (1999).  Hao-Qiang Jin Michael Frumkin and Jerry Yan. 1999. The OpenMP implementation of NAS parallel benchmarks and its performance. (1999)."},{"key":"e_1_3_2_1_23_1","volume-title":"19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science), Werner Damm and Holger Hermanns (Eds.)","volume":"4590","author":"Kahlon Vineet","year":"2007","unstructured":"Vineet Kahlon , Yu Yang , Sriram Sankaranarayanan , and Aarti Gupta . 2007 . Fast and Accurate Static Data-Race Detection for Concurrent Programs. In Computer Aided Verification , 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science), Werner Damm and Holger Hermanns (Eds.) , Vol. 4590 . Springer, 226--239. Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, and Aarti Gupta. 2007. Fast and Accurate Static Data-Race Detection for Concurrent Programs. In Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science), Werner Damm and Holger Hermanns (Eds.), Vol. 4590. Springer, 226--239."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2008.79"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-010-0139-0"},{"key":"e_1_3_2_1_27_1","volume-title":"Workshop on the evaluation of software defect detection tools","volume":"5","author":"Lu Shan","year":"2005","unstructured":"Shan Lu , Zhenmin Li , Feng Qin , Lin Tan , Pin Zhou , and Yuanyuan Zhou . 2005 . Bugbench: Benchmarks for evaluating bug detection tools . In Workshop on the evaluation of software defect detection tools , Vol. 5 . Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou, and Yuanyuan Zhou. 2005. Bugbench: Benchmarks for evaluating bug detection tools. In Workshop on the evaluation of software defect detection tools, Vol. 5."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2013.63"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781528"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1761900.1761902"},{"key":"e_1_3_2_1_33_1","volume-title":"Retrieved","author":"Pouchet Louis-No\u00ebl","year":"2012","unstructured":"Louis-No\u00ebl Pouchet . 2012 . PolyOpt\/C:a Polyhedral Optimizer for the ROSE compiler. (2012) . Retrieved July, 2017 from http:\/\/web.cs.ucla.edu\/~pouchet\/software\/polyopt\/ Louis-No\u00ebl Pouchet. 2012. PolyOpt\/C:a Polyhedral Optimizer for the ROSE compiler. (2012). Retrieved July, 2017 from http:\/\/web.cs.ucla.edu\/~pouchet\/software\/polyopt\/"},{"key":"e_1_3_2_1_34_1","volume-title":"https:\/\/sourceforge.net\/projects\/polybench\/","author":"Pouchet Louis-No\u00ebl","year":"2011","unstructured":"Louis-No\u00ebl Pouchet and Tomofumi Yuki . 2011. PolyBench\/ C. ( 2011 ). https:\/\/sourceforge.net\/projects\/polybench\/ Louis-No\u00ebl Pouchet and Tomofumi Yuki. 2011. PolyBench\/C. (2011). https:\/\/sourceforge.net\/projects\/polybench\/"},{"key":"e_1_3_2_1_35_1","volume-title":"17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM\/Abstracts Proceedings. IEEE Computer Society, 287","author":"Poznianski Eli","year":"2003","unstructured":"Eli Poznianski and Assaf Schuster . 2003 . Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs . In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM\/Abstracts Proceedings. IEEE Computer Society, 287 . Eli Poznianski and Assaf Schuster. 2003. Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs. In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM\/Abstracts Proceedings. IEEE Computer Society, 287."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134019"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/LLVM-HPC.2014.7"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181315"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103702"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582042"},{"key":"e_1_3_2_1_44_1","volume-title":"OpenMP Shared Memory Parallel Programming","author":"S\u00fc\u00df Michael","unstructured":"Michael S\u00fc\u00df and Claudia Leopold . 2008. Common mistakes in OpenMP and how to avoid them . In OpenMP Shared Memory Parallel Programming . Springer , 312--323. Michael S\u00fc\u00df and Claudia Leopold. 2008. Common mistakes in OpenMP and how to avoid them. In OpenMP Shared Memory Parallel Programming. Springer, 312--323."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.4218\/etrij.17.0115.1027"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14725\/gjems.v2n1.a1186"}],"event":{"name":"SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis","location":"Denver Colorado","acronym":"SC '17","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","IEEE CS"]},"container-title":["Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3126908.3126958","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3126908.3126958","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:09Z","timestamp":1750212669000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3126908.3126958"}},"subtitle":["a benchmark suite for systematic evaluation of data race detection tools"],"short-title":[],"issued":{"date-parts":[[2017,11,12]]},"references-count":48,"alternative-id":["10.1145\/3126908.3126958","10.1145\/3126908"],"URL":"https:\/\/doi.org\/10.1145\/3126908.3126958","relation":{},"subject":[],"published":{"date-parts":[[2017,11,12]]},"assertion":[{"value":"2017-11-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}