{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:25:23Z","timestamp":1768029923613,"version":"3.49.0"},"reference-count":95,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T00:00:00Z","timestamp":1608595200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004311","name":"Advanced Micro Devices","doi-asserted-by":"publisher","award":["Faculty Grant"],"award-info":[{"award-number":["Faculty Grant"]}],"id":[{"id":"10.13039\/100004311","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008628","name":"Ministry of Electronics and Information technology","doi-asserted-by":"publisher","award":["PhD-MLA\/04(02)\/2015-16 and MeitY\/R&D\/HPC\/2(1)\/2014"],"award-info":[{"award-number":["PhD-MLA\/04(02)\/2015-16 and MeitY\/R&D\/HPC\/2(1)\/2014"]}],"id":[{"id":"10.13039\/501100008628","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Archit. Code Optim."],"published-print":{"date-parts":[[2020,12,31]]},"abstract":"<jats:p>In the era of Exascale computing, writing efficient parallel programs is indispensable, and, at the same time, writing sound parallel programs is very difficult. Specifying parallelism with frameworks such as OpenMP is relatively easy, but data races in these programs are an important source of bugs. In this article, we propose LLOV, a fast, lightweight, language agnostic, and static data race checker for OpenMP programs based on the LLVM compiler framework. We compare LLOV with other state-of-the-art data race checkers on a variety of well-established benchmarks. We show that the precision, accuracy, and the F1 score of LLOV is comparable to other checkers while being orders of magnitude faster. To the best of our knowledge, LLOV is the only tool among the state-of-the-art data race checkers that can verify a C\/C++ or FORTRAN program to be data race free.<\/jats:p>","DOI":"10.1145\/3418597","type":"journal-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T19:29:25Z","timestamp":1608665365000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["LLOV"],"prefix":"10.1145","volume":"17","author":[{"given":"Utpal","family":"Bora","sequence":"first","affiliation":[{"name":"IIT Hyderabad, Kandi, Telangana, India"}]},{"given":"Santanu","family":"Das","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, Kandi, Telangana, India"}]},{"given":"Pankaj","family":"Kukreja","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, Kandi, Telangana, India"}]},{"given":"Saurabh","family":"Joshi","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, Kandi, Telangana, India"}]},{"given":"Ramakrishna","family":"Upadrasta","sequence":"additional","affiliation":[{"name":"IIT Hyderabad, Kandi, Telangana, India"}]},{"given":"Sanjay","family":"Rajopadhye","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, Colorado, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,12,22]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 39th ACM SIGPLAN Conference on PLDI. ACM","author":"Acharya A.","unstructured":"A. Acharya , U. Bondhugula , and A. Cohen . 2018. Polyhedral auto-transformation with no integer linear programming . In Proceedings of the 39th ACM SIGPLAN Conference on PLDI. ACM , New York, NY, 529--542. A. Acharya, U. Bondhugula, and A. Cohen. 2018. Polyhedral auto-transformation with no integer linear programming. In Proceedings of the 39th ACM SIGPLAN Conference on PLDI. ACM, New York, NY, 529--542."},{"key":"e_1_2_1_2_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D . Ullman . 2006 . Compilers : Principles, Techniques, and Tools (2nd Ed.). Addison-Wesley Longman , Boston, MA. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Ed.). Addison-Wesley Longman, Boston, MA."},{"key":"e_1_2_1_3_1","volume-title":"Retrieved","author":"ARM.","year":"2020","unstructured":"ARM. 2020 . ARM DDT . Retrieved July 21, 2020 from https:\/\/www.arm.com\/products\/development-tools\/server-and-hpc\/forge\/ddt. ARM. 2020. ARM DDT. Retrieved July 21, 2020 from https:\/\/www.arm.com\/products\/development-tools\/server-and-hpc\/forge\/ddt."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201916)","author":"Atzeni S.","unstructured":"S. Atzeni , G. Gopalakrishnan , Z. Rakamaric , D. H. Ahn , I. Laguna , M. Schulz , G. L. Lee , J. Protze , and M. S. M\u00fcller . 2016. ARCHER: Effectively spotting data races in large OpenMP applications . In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201916) . IEEE, USA, 53--62. S. Atzeni, G. Gopalakrishnan, Z. Rakamaric, D. H. Ahn, I. Laguna, M. Schulz, G. L. Lee, J. Protze, and M. S. M\u00fcller. 2016. ARCHER: Effectively spotting data races in large OpenMP applications. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201916). IEEE, USA, 53--62."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201918)","author":"Atzeni S.","unstructured":"S. Atzeni , G. Gopalakrishnan , Z. Rakamaric , Ignacio Laguna , Gregory L. Lee , and D. H. Ahn . 2018. Sword: A bounded memory-overhead detector of OpenMP data races in production runs . In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201918) . IEEE, 845--854. S. Atzeni, G. Gopalakrishnan, Z. Rakamaric, Ignacio Laguna, Gregory L. Lee, and D. H. Ahn. 2018. Sword: A bounded memory-overhead detector of OpenMP data races in production runs. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS\u201918). IEEE, 845--854."},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"P. Barua J. Shirako W. Tsang J. Paudel W. Chen and V. Sarkar. 2019. OMPSan: Static verification of OpenMP\u2019s data mapping constructs. In OpenMP: Conquering the Full Hardware Spectrum. Springer 3--18.  P. Barua J. Shirako W. Tsang J. Paudel W. Chen and V. Sarkar. 2019. OMPSan: Static verification of OpenMP\u2019s data mapping constructs. In OpenMP: Conquering the Full Hardware Spectrum. Springer 3--18.","DOI":"10.1007\/978-3-030-28596-8_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1025992"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the International Workshop on OpenMP. Springer","author":"Basupalli V.","unstructured":"V. Basupalli , T. Yuki , S. Rajopadhye , A. Morvan , S. Derrien , P. Quinton , and D. Wonnacott . 2011. ompVerify: Polyhedral analysis for the OpenMP programmer . In Proceedings of the International Workshop on OpenMP. Springer , Berlin, 37--53. V. Basupalli, T. Yuki, S. Rajopadhye, A. Morvan, S. Derrien, P. Quinton, and D. Wonnacott. 2011. ompVerify: Polyhedral analysis for the OpenMP programmer. In Proceedings of the International Workshop on OpenMP. Springer, Berlin, 37--53."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2010.04.232"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 19th Joint European Conference on Theory and Practice of Software, International Conference on Compiler Construction (CC\u201910\/ETAPS\u201910)","author":"Benabderrahmane M. W.","unstructured":"M. W. Benabderrahmane , L. N. Pouchet , A. Cohen , and C. Bastoul . 2010. The polyhedral model is more widely applicable than you think . In Proceedings of the 19th Joint European Conference on Theory and Practice of Software, International Conference on Compiler Construction (CC\u201910\/ETAPS\u201910) . Springer-Verlag, Berlin, 283--303. M. W. Benabderrahmane, L. N. Pouchet, A. Cohen, and C. Bastoul. 2010. The polyhedral model is more widely applicable than you think. In Proceedings of the 19th Joint European Conference on Theory and Practice of Software, International Conference on Compiler Construction (CC\u201910\/ETAPS\u201910). Springer-Verlag, Berlin, 283--303."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA\u201912)","author":"Betts A.","unstructured":"A. Betts , N. Chong , A. Donaldson , S. Qadeer , and P. Thomson . 2012. GPUVerify: A verifier for GPU kernels . In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA\u201912) . ACM, NY, 113--132. DOI:https:\/\/doi.org\/10.1145\/2384616.2384625 A. Betts, N. Chong, A. Donaldson, S. Qadeer, and P. Thomson. 2012. GPUVerify: A verifier for GPU kernels. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA\u201912). ACM, NY, 113--132. DOI:https:\/\/doi.org\/10.1145\/2384616.2384625"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_2_1_13_1","volume-title":"Proc. ACM Program. Lang. 2, Article 144 (Oct.","author":"Blackshear S.","year":"2018","unstructured":"S. Blackshear , N. Gorogiannis , P. W. O\u2019Hearn , and I. Sergey . 2018. RacerD: Compositional static race detection . Proc. ACM Program. Lang. 2, Article 144 (Oct. 2018 ), 28 pages. DOI:https:\/\/doi.org\/10.1145\/3276514 S. Blackshear, N. Gorogiannis, P. W. O\u2019Hearn, and I. Sergey. 2018. RacerD: Compositional static race detection. Proc. ACM Program. Lang. 2, Article 144 (Oct. 2018), 28 pages. DOI:https:\/\/doi.org\/10.1145\/3276514"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0107"},{"key":"e_1_2_1_15_1","volume-title":"Retrieved","author":"Bondhugula Uday","year":"2017","unstructured":"Uday Bondhugula . 2017 . PLUTO\u2014An Automatic Parallelizer and Locality Optimizer for Affine Loop Nests . Retrieved May 15, 2020 from http:\/\/pluto-compiler.sourceforge.net\/. Uday Bondhugula. 2017. PLUTO\u2014An Automatic Parallelizer and Locality Optimizer for Affine Loop Nests. Retrieved May 15, 2020 from http:\/\/pluto-compiler.sourceforge.net\/."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201908)","author":"Bondhugula U.","unstructured":"U. Bondhugula , A. Hartono , J. Ramanujam , and P. Sadayappan . 2008. A practical automatic polyhedral parallelizer and locality optimizer . In Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201908) . ACM, New York, NY, 101--113. DOI:https:\/\/doi.org\/10.1145\/1375581.1375595 U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan. 2008. A practical automatic polyhedral parallelizer and locality optimizer. In Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201908). ACM, New York, NY, 101--113. DOI:https:\/\/doi.org\/10.1145\/1375581.1375595"},{"key":"e_1_2_1_17_1","volume-title":"GSoC 2016: PolyhedralInfo\u2014Polly as an Analysis Pass in LLVM. Retrieved","author":"Bora Utpal","year":"2019","unstructured":"Utpal Bora , Johannes Doerfert , Tobias Grosser , and Ramakrishna Upadrasta . 2016. GSoC 2016: PolyhedralInfo\u2014Polly as an Analysis Pass in LLVM. Retrieved May 8, 2019 from https:\/\/llvmdevelopersmeetingbay2016.sched.com\/event\/8Z2Z\/lightning-talks. Utpal Bora, Johannes Doerfert, Tobias Grosser, and Ramakrishna Upadrasta. 2016. GSoC 2016: PolyhedralInfo\u2014Polly as an Analysis Pass in LLVM. Retrieved May 8, 2019 from https:\/\/llvmdevelopersmeetingbay2016.sched.com\/event\/8Z2Z\/lightning-talks."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342007078442"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201905)","author":"Charles P.","unstructured":"P. Charles , C. Grothoff , V. Saraswat , C. Donawa , A. Kielstra , K. Ebcioglu , C. von Praun , and V. Sarkar . 2005. X10: An object-oriented approach to non-uniform cluster computing . In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201905) . ACM, New York, NY, 519--538. P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra, K. Ebcioglu, C. von Praun, and V. Sarkar. 2005. X10: An object-oriented approach to non-uniform cluster computing. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA\u201905). ACM, New York, NY, 519--538."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the International Workshop on Languages and Compilers for Parallel Computing. Springer, 106--120","author":"Chatarasi P.","unstructured":"P. Chatarasi , J. Shirako , M. Kong , and V. Sarkar . 2016. An extended polyhedral model for SPMD programs and its use in static data race detection . In Proceedings of the International Workshop on Languages and Compilers for Parallel Computing. Springer, 106--120 . P. Chatarasi, J. Shirako, M. Kong, and V. Sarkar. 2016. An extended polyhedral model for SPMD programs and its use in static data race detection. In Proceedings of the International Workshop on Languages and Compilers for Parallel Computing. Springer, 106--120."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 6th International Workshop on Polyhedral Compilation Techniques (IMPACT\u201916)","author":"Chatarasi P.","unstructured":"P. Chatarasi , J. Shirako , and V. Sarkar . 2016. Static data race detection for SPMD programs via an extended polyhedral representation . In Proceedings of the 6th International Workshop on Polyhedral Compilation Techniques (IMPACT\u201916) . P. Chatarasi, J. Shirako, and V. Sarkar. 2016. Static data race detection for SPMD programs via an extended polyhedral representation. In Proceedings of the 6th International Workshop on Polyhedral Compilation Techniques (IMPACT\u201916)."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP\u201995)","author":"Collard J.-F.","unstructured":"J.-F. Collard , D. Barthou , and P. Feautrier . 1995. Fuzzy array dataflow analysis . In Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP\u201995) . ACM, New York, NY, 92--101. J.-F. Collard, D. Barthou, and P. Feautrier. 1995. Fuzzy array dataflow analysis. In Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP\u201995). ACM, New York, NY, 92--101."},{"key":"e_1_2_1_23_1","unstructured":"Cray. 2019. Chapel Language Specification (Version 0.9). Retrieved from http:\/\/chapel.cray.com\/papers.html.  Cray. 2019. Chapel Language Specification (Version 0.9). Retrieved from http:\/\/chapel.cray.com\/papers.html."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"e_1_2_1_25_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems . Springer , Berlin , 337--340. Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems. Springer, Berlin, 337--340."},{"key":"e_1_2_1_26_1","volume-title":"Retrieved","author":"Dorta A. J.","year":"2004","unstructured":"A. J. Dorta , C. Rodriguez , and F. de Sande . 2004 . OpenMP Source Code Repository . Retrieved May 19, 2019 from https:\/\/sourceforge.net\/projects\/ompscr\/files\/OmpSCR\/. A. J. Dorta, C. Rodriguez, and F. de Sande. 2004. OpenMP Source Code Repository. Retrieved May 19, 2019 from https:\/\/sourceforge.net\/projects\/ompscr\/files\/OmpSCR\/."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.2005.41"},{"key":"e_1_2_1_28_1","volume-title":"Retrieved","author":"Dorta A. J.","year":"2019","unstructured":"A. J. Dorta , C. Rodriguez , F. de Sande , and U. Bora . 2019. OpenMP Source Code Repository (Updates to Support Latest Compilers and Scripts) . Retrieved May 19, 2019 from https:\/\/github.com\/utpalbora\/OmpSCR_v2.0.git. A. J. Dorta, C. Rodriguez, F. de Sande, and U. Bora. 2019. OpenMP Source Code Repository (Updates to Support Latest Compilers and Scripts). Retrieved May 19, 2019 from https:\/\/github.com\/utpalbora\/OmpSCR_v2.0.git."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384650"},{"key":"e_1_2_1_30_1","volume-title":"OMPT: An OpenMP tools application programming interface for performance analysis.","author":"Eichenberger A. E.","year":"2013","unstructured":"A. E. Eichenberger , J. Mellor-Crummey , M. Schulz , M. Wong , N. Copty , R. Dietrich , X. Liu , E. Loh , and D. Lorenz . 2013 . OMPT: An OpenMP tools application programming interface for performance analysis. In OpenMP in the Era of Low Power Devices and Accelerators. Springer , Berlin, 171--185. A. E. Eichenberger, J. Mellor-Crummey, M. Schulz, M. Wong, N. Copty, R. Dietrich, X. Liu, E. Loh, and D. Lorenz. 2013. OMPT: An OpenMP tools application programming interface for performance analysis. In OpenMP in the Era of Low Power Devices and Accelerators. Springer, Berlin, 171--185."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP\u201903)","author":"Engler D.","unstructured":"D. Engler and K. Ashcraft . 2003. RacerX: Effective, static detection of race conditions and deadlocks . In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP\u201903) . ACM, New York, NY, 237--252. D. Engler and K. Ashcraft. 2003. RacerX: Effective, static detection of race conditions and deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP\u201903). ACM, New York, NY, 237--252."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1051\/ro\/1988220302431"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201909)","author":"Flanagan C.","unstructured":"C. Flanagan and S. N. Freund . 2009. FastTrack: Efficient and precise dynamic race detection . In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201909) . 121--133. C. Flanagan and S. N. Freund. 2009. FastTrack: Efficient and precise dynamic race detection. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201909). 121--133."},{"key":"e_1_2_1_35_1","volume-title":"the GNU Compiler Collection. Retrieved from","author":"Project GNU.","year":"2019","unstructured":"Project GNU. 2019. GCC , the GNU Compiler Collection. Retrieved from August 8, 2019 from https:\/\/gcc.gnu.org\/. Project GNU. 2019. GCC, the GNU Compiler Collection. Retrieved from August 8, 2019 from https:\/\/gcc.gnu.org\/."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 1st International Workshop on Polyhedral Compilation Techniques (IMPACT\u201911)","volume":"2011","author":"Grosser Tobias","year":"2011","unstructured":"Tobias Grosser , Hongbin Zheng , Raghesh Aloor , Andreas Simb\u00fcrger , Armin Gr\u00f6\u00dflinger , and Louis-No\u00ebl Pouchet . 2011 . Polly-polyhedral optimization in LLVM . In Proceedings of the 1st International Workshop on Polyhedral Compilation Techniques (IMPACT\u201911) , Vol. 2011 . IEEE, IEEE Computer Society, Los Alamitos, CA, 1. Tobias Grosser, Hongbin Zheng, Raghesh Aloor, Andreas Simb\u00fcrger, Armin Gr\u00f6\u00dflinger, and Louis-No\u00ebl Pouchet. 2011. Polly-polyhedral optimization in LLVM. In Proceedings of the 1st International Workshop on Polyhedral Compilation Techniques (IMPACT\u201911), Vol. 2011. IEEE, IEEE Computer Society, Los Alamitos, CA, 1."},{"key":"e_1_2_1_38_1","volume-title":"The OpenCL Specification, v2.2-11 (July","author":"Khronos OpenCL Working Group","year":"2019","unstructured":"Khronos OpenCL Working Group . 2019. The OpenCL Specification, v2.2-11 (July 2019 ). Retrieved August 8, 2019 from https:\/\/www.khronos.org\/registry\/OpenCL\/. Khronos OpenCL Working Group. 2019. The OpenCL Specification, v2.2-11 (July 2019). Retrieved August 8, 2019 from https:\/\/www.khronos.org\/registry\/OpenCL\/."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis (SC\u201918)","author":"Gu Y.","unstructured":"Y. Gu and J. Mellor-Crummey . 2018. Dynamic data race detection for OpenMP programs . In Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis (SC\u201918) . IEEE Press, Los Alamitos, CA, Article 61, 12 pages. Y. Gu and J. Mellor-Crummey. 2018. Dynamic data race detection for OpenMP programs. In Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis (SC\u201918). IEEE Press, Los Alamitos, CA, Article 61, 12 pages."},{"key":"e_1_2_1_40_1","unstructured":"Intel. 2019. Intel Inspector. Retrieved May 8 2019 from https:\/\/software.intel.com\/en-us\/inspector.  Intel. 2019. Intel Inspector. Retrieved May 8 2019 from https:\/\/software.intel.com\/en-us\/inspector."},{"key":"e_1_2_1_41_1","volume-title":"Intel Threading Building Blocks. Retrieved","year":"2019","unstructured":"Intel. 2019. Intel Threading Building Blocks. Retrieved August 8, 2019 from https:\/\/software.intel.com\/en-us\/tbb. Intel. 2019. Intel Threading Building Blocks. Retrieved August 8, 2019 from https:\/\/software.intel.com\/en-us\/tbb."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 8th USENIX Conference on Hot Topics in System Dependability (HotDep\u201912)","author":"Kasikci B.","unstructured":"B. Kasikci , C. Zamfir , and G. Candea . 2012. CoRD: A collaborative framework for distributed data race detection . In Proceedings of the 8th USENIX Conference on Hot Topics in System Dependability (HotDep\u201912) . USENIX, 4--4. B. Kasikci, C. Zamfir, and G. Candea. 2012. CoRD: A collaborative framework for distributed data race detection. In Proceedings of the 8th USENIX Conference on Hot Topics in System Dependability (HotDep\u201912). USENIX, 4--4."},{"key":"e_1_2_1_43_1","volume-title":"Retrieved","author":"Kukreja Pankaj","year":"2019","unstructured":"Pankaj Kukreja , Himanshu Shukla , and Utpal Bora . 2019 . DataRaceBench FORTRAN . Retrieved October 19, 2019 from https:\/\/github.com\/IITH-Compilers\/drb_fortran. Pankaj Kukreja, Himanshu Shukla, and Utpal Bora. 2019. DataRaceBench FORTRAN. Retrieved October 19, 2019 from https:\/\/github.com\/IITH-Compilers\/drb_fortran."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE\u201910)","author":"Li G.","unstructured":"G. Li and G. Gopalakrishnan . 2010. Scalable SMT-based verification of GPU kernel functions . In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE\u201910) . ACM, New York, NY, 187--196. G. Li and G. Gopalakrishnan. 2010. Scalable SMT-based verification of GPU kernel functions. In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE\u201910). ACM, New York, NY, 187--196."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP\u201912)","author":"Li G.","unstructured":"G. Li , P. Li , G. Sawaya , G. Gopalakrishnan , I. Ghosh , and S. P. Rajan . 2012. GKLEE: Concolic verification and test generation for GPUs . In Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP\u201912) . Association for Computing Machinery, New York, NY, 215--224. DOI:https:\/\/doi.org\/10.1145\/2145816.2145844 G. Li, P. Li, G. Sawaya, G. Gopalakrishnan, I. Ghosh, and S. P. Rajan. 2012. GKLEE: Concolic verification and test generation for GPUs. In Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP\u201912). Association for Computing Machinery, New York, NY, 215--224. DOI:https:\/\/doi.org\/10.1145\/2145816.2145844"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3046678"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis (SC\u201912)","author":"Li P.","unstructured":"P. Li , G. Li , and G. Gopalakrishnan . 2012. Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs . In Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis (SC\u201912) . 1--10. P. Li, G. Li, and G. Gopalakrishnan. 2012. Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs. In Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis (SC\u201912). 1--10."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC\u201914)","author":"Li P.","unstructured":"P. Li , G. Li , and G. Gopalakrishnan . 2014. Practical symbolic race checking of GPU programs . In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC\u201914) . 179--190. P. Li, G. Li, and G. Gopalakrishnan. 2014. Practical symbolic race checking of GPU programs. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC\u201914). 179--190."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC\u201917)","author":"Liao C.","unstructured":"C. Liao , Pei-Hung Lin , J. Asplund , M. Schordan , and I. Karlin . 2017. DataRaceBench: A benchmark suite for systematic evaluation of data race detection tools . In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC\u201917) . ACM, New York, NY, Article 11, 14 pages. C. Liao, Pei-Hung Lin, J. Asplund, M. Schordan, and I. Karlin. 2017. DataRaceBench: A benchmark suite for systematic evaluation of data race detection tools. In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC\u201917). ACM, New York, NY, Article 11, 14 pages."},{"key":"e_1_2_1_52_1","volume-title":"Retrieved","author":"Liao Chunhua","year":"2018","unstructured":"Chunhua Liao , Pei-Hung Lin , Joshua Asplund , Markus Schordan , and Ian Karlin . 2018 . DataRaceBench v1.2.0 . Retrieved May 19, 2019 from https:\/\/github.com\/LLNL\/dataracebench. Chunhua Liao, Pei-Hung Lin, Joshua Asplund, Markus Schordan, and Ian Karlin. 2018. DataRaceBench v1.2.0. Retrieved May 19, 2019 from https:\/\/github.com\/LLNL\/dataracebench."},{"key":"e_1_2_1_53_1","doi-asserted-by":"crossref","unstructured":"C. Liao P.-H. Lin M. Schordan and I. Karlin. 2018. A semantics-driven approach to improving DataRaceBench\u2019s OpenMP standard coverage. In Evolving OpenMP for Evolving Architectures. Springer 189--202.  C. Liao P.-H. Lin M. Schordan and I. Karlin. 2018. A semantics-driven approach to improving DataRaceBench\u2019s OpenMP standard coverage. In Evolving OpenMP for Evolving Architectures. Springer 189--202.","DOI":"10.1007\/978-3-319-98521-3_13"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness\u201919)","author":"Lin P.","unstructured":"P. Lin , C. Liao , M. Schordan , and I. Karlin . 2019. Exploring regression of data race detection tools using DataRaceBench . In Proceedings of the IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness\u201919) . 11--18. P. Lin, C. Liao, M. Schordan, and I. Karlin. 2019. Exploring regression of data race detection tools using DataRaceBench. In Proceedings of the IEEE\/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness\u201919). 11--18."},{"key":"e_1_2_1_55_1","unstructured":"Jacques-Louis Lions et\u00a0al. 1996. Flight 501 failure. (1996).  Jacques-Louis Lions et\u00a0al. 1996. Flight 501 failure. (1996)."},{"key":"e_1_2_1_56_1","volume-title":"LLVM Language Reference Manual. Retrieved","author":"LLVM.","year":"2019","unstructured":"LLVM. 2019. LLVM Language Reference Manual. Retrieved August 8, 2019 from https:\/\/llvm.org\/docs\/LangRef.html. LLVM. 2019. LLVM Language Reference Manual. Retrieved August 8, 2019 from https:\/\/llvm.org\/docs\/LangRef.html."},{"key":"e_1_2_1_57_1","volume-title":"Class Reference. Retrieved","author":"LLVM.","year":"2019","unstructured":"LLVM. 2019. Loop Access Info , Class Reference. Retrieved May 8, 2019 from https:\/\/llvm.org\/doxygen\/classllvm_1_1LoopAccessInfo.html. LLVM. 2019. Loop Access Info, Class Reference. Retrieved May 8, 2019 from https:\/\/llvm.org\/doxygen\/classllvm_1_1LoopAccessInfo.html."},{"key":"e_1_2_1_58_1","volume-title":"The LLVM Compiler Infrastructure. Retrieved","author":"LLVM.","year":"2019","unstructured":"LLVM. 2019. The LLVM Compiler Infrastructure. Retrieved May 8, 2019 from http:\/\/llvm.org\/. LLVM. 2019. The LLVM Compiler Infrastructure. Retrieved May 8, 2019 from http:\/\/llvm.org\/."},{"key":"e_1_2_1_59_1","volume-title":"LLVM Alias Analysis Infrastructure. Retrieved","author":"LLVM.","year":"2020","unstructured":"LLVM. 2020. LLVM Alias Analysis Infrastructure. Retrieved May 6, 2020 from https:\/\/llvm.org\/docs\/AliasAnalysis.html. LLVM. 2020. LLVM Alias Analysis Infrastructure. Retrieved May 6, 2020 from https:\/\/llvm.org\/docs\/AliasAnalysis.html."},{"key":"e_1_2_1_60_1","volume-title":"Clang: A C language family frontend for LLVM. Retrieved","year":"2019","unstructured":"LLVM\/Clang. 2019 . Clang: A C language family frontend for LLVM. Retrieved August 8, 2019 from https:\/\/clang.llvm.org. LLVM\/Clang. 2019. Clang: A C language family frontend for LLVM. Retrieved August 8, 2019 from https:\/\/clang.llvm.org."},{"key":"e_1_2_1_61_1","volume-title":"Flang: A Fortran Compiler Targeting LLVM. Retrieved","year":"2019","unstructured":"LLVM\/Flang. 2019 . Flang: A Fortran Compiler Targeting LLVM. Retrieved May 8, 2019 from https:\/\/github.com\/flang-compiler\/flang\/wiki. LLVM\/Flang. 2019. Flang: A Fortran Compiler Targeting LLVM. Retrieved May 8, 2019 from https:\/\/github.com\/flang-compiler\/flang\/wiki."},{"key":"e_1_2_1_62_1","volume-title":"Polly: LLVM Framework for High-Level Loop and Data-Locality Optimizations. Retrieved","year":"2019","unstructured":"LLVM\/Polly. 2019 . Polly: LLVM Framework for High-Level Loop and Data-Locality Optimizations. Retrieved May 8, 2019 from https:\/\/polly.llvm.org\/. LLVM\/Polly. 2019. Polly: LLVM Framework for High-Level Loop and Data-Locality Optimizations. Retrieved May 8, 2019 from https:\/\/polly.llvm.org\/."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_2_1_64_1","unstructured":"MPI. 2019. MPI-3.1 (May 2019). Retrieved August 8 2019 from https:\/\/www.mpi-forum.org\/docs\/.  MPI. 2019. MPI-3.1 (May 2019). Retrieved August 8 2019 from https:\/\/www.mpi-forum.org\/docs\/."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the 28th ACM SIGPLAN Conference on PLDI. ACM","author":"Narayanasamy S.","unstructured":"S. Narayanasamy , Z. Wang , J. Tigani , A. Edwards , and B. Calder . 2007. Automatically classifying benign and harmful data races using replay analysis . In Proceedings of the 28th ACM SIGPLAN Conference on PLDI. ACM , New York, NY, 22--31. DOI:https:\/\/doi.org\/10.1145\/1250734.1250738 S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder. 2007. Automatically classifying benign and harmful data races using replay analysis. In Proceedings of the 28th ACM SIGPLAN Conference on PLDI. ACM, New York, NY, 22--31. DOI:https:\/\/doi.org\/10.1145\/1250734.1250738"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"e_1_2_1_67_1","volume-title":"Retrieved","author":"NVIDIA.","year":"2020","unstructured":"NVIDIA. 2020 . CUDA-MEMCHECK . Retrieved July 21, 2020 from https:\/\/docs.nvidia.com\/cuda\/cuda-memcheck\/index.html. NVIDIA. 2020. CUDA-MEMCHECK. Retrieved July 21, 2020 from https:\/\/docs.nvidia.com\/cuda\/cuda-memcheck\/index.html."},{"key":"e_1_2_1_68_1","volume-title":"The OpenACC Application Programming Interface, v2.7 (November","author":"ACC.","year":"2018","unstructured":"Open ACC. 2019. The OpenACC Application Programming Interface, v2.7 (November 2018 ). Retrieved August 8, 2019 from https:\/\/www.openacc.org\/specification. OpenACC. 2019. The OpenACC Application Programming Interface, v2.7 (November 2018). Retrieved August 8, 2019 from https:\/\/www.openacc.org\/specification."},{"key":"e_1_2_1_69_1","volume-title":"Retrieved","author":"Architecture Review Board MP","year":"1997","unstructured":"Open MP Architecture Review Board . 1997 . OpenMP Application Programming Interface . Retrieved October 19, 2019 from https:\/\/www.openmp.org. OpenMP Architecture Review Board. 1997. OpenMP Application Programming Interface. Retrieved October 19, 2019 from https:\/\/www.openmp.org."},{"key":"e_1_2_1_70_1","volume-title":"Retrieved","author":"Architecture Review Board MP","year":"2015","unstructured":"Open MP Architecture Review Board . 2015 . OpenMP Application Programming Interface Version 4.5 . Retrieved May 19, 2019 from https:\/\/www.openmp.org\/wp-content\/uploads\/openmp-4.5.pdf. OpenMP Architecture Review Board. 2015. OpenMP Application Programming Interface Version 4.5. Retrieved May 19, 2019 from https:\/\/www.openmp.org\/wp-content\/uploads\/openmp-4.5.pdf."},{"key":"e_1_2_1_71_1","volume-title":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201918)","author":"Peng Y.","unstructured":"Y. Peng , V. Grover , and J. Devietti . 2018. CURD: A dynamic CUDA race detector . In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201918) . ACM, New York, NY, 390--403. Y. Peng, V. Grover, and J. Devietti. 2018. CURD: A dynamic CUDA race detector. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI\u201918). ACM, New York, NY, 390--403."},{"key":"e_1_2_1_72_1","volume-title":"PGI Accelerator Compilers with OpenACC Directives. Retrieved","author":"PGI.","year":"2019","unstructured":"PGI. 2018. PGI Accelerator Compilers with OpenACC Directives. Retrieved August 8, 2019 from https:\/\/www.pgroup.com\/resources\/accel.htm. PGI. 2018. PGI Accelerator Compilers with OpenACC Directives. Retrieved August 8, 2019 from https:\/\/www.pgroup.com\/resources\/accel.htm."},{"key":"e_1_2_1_73_1","first-page":"4","article-title":"Intel Threading building blocks","volume":"23","author":"Pheatt Chuck","year":"2008","unstructured":"Chuck Pheatt . 2008 . Intel Threading building blocks . J. Comput. Sci. Coll. 23 , 4 (April 2008), 298. Chuck Pheatt. 2008. Intel Threading building blocks. J. Comput. Sci. Coll. 23, 4 (April 2008), 298.","journal-title":"J. Comput. Sci. Coll."},{"key":"e_1_2_1_74_1","volume-title":"Knight capital says trading glitch cost it $440 million. New York Times 2","author":"Popper Nathaniel","year":"2012","unstructured":"Nathaniel Popper . 2012. Knight capital says trading glitch cost it $440 million. New York Times 2 ( 2012 ). Nathaniel Popper. 2012. Knight capital says trading glitch cost it $440 million. New York Times 2 (2012)."},{"key":"e_1_2_1_75_1","first-page":"1","article-title":"IEEE Standard for Information Technology--Portable Operating System Interface (POSIX(R)) Base Specifications, Issue 7","volume":"1003","author":"Working Group for POSIX.","year":"2018","unstructured":"Working Group for POSIX. 2018 . IEEE Standard for Information Technology--Portable Operating System Interface (POSIX(R)) Base Specifications, Issue 7 . IEEE Std 1003 . 1 - 2017 (Rev. of IEEE Std 1003.1-2008) (January 2018), 1--3951. DOI:https:\/\/doi.org\/10.1109\/IEEESTD.2018.8277153 Working Group for POSIX. 2018. IEEE Standard for Information Technology--Portable Operating System Interface (POSIX(R)) Base Specifications, Issue 7. IEEE Std 1003.1-2017 (Rev. of IEEE Std 1003.1-2008) (January 2018), 1--3951. DOI:https:\/\/doi.org\/10.1109\/IEEESTD.2018.8277153","journal-title":"IEEE Std"},{"key":"e_1_2_1_76_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 . Retrieved May 15, 2020 from http:\/\/web.cs.ucla.edu\/ pouchet\/software\/polyopt\/. Louis-No\u00ebl Pouchet. 2012. PolyOpt\/C: A Polyhedral Optimizer for the ROSE Compiler. Retrieved May 15, 2020 from http:\/\/web.cs.ucla.edu\/ pouchet\/software\/polyopt\/."},{"key":"e_1_2_1_77_1","volume-title":"Retrieved","author":"Pouchet Louis-No\u00ebl","year":"2013","unstructured":"Louis-No\u00ebl Pouchet . 2013 . PoCC, the POlyhedral Compiler Collection Package: A Full Source-to-Source Polyhedral Compiler . Retrieved May 15, 2020 from https:\/\/sourceforge.net\/projects\/pocc\/. Louis-No\u00ebl Pouchet. 2013. PoCC, the POlyhedral Compiler Collection Package: A Full Source-to-Source Polyhedral Compiler. Retrieved May 15, 2020 from https:\/\/sourceforge.net\/projects\/pocc\/."},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/1889997.1890000"},{"key":"e_1_2_1_79_1","volume-title":"Proceedings of the Cetus Users and Compiler Infrastructure Workshop, in Conjunction with PACT","volume":"2011","author":"Quinlan Dan","year":"2011","unstructured":"Dan Quinlan and Chunhua Liao . 2011 . The ROSE source-to-source compiler infrastructure . In Proceedings of the Cetus Users and Compiler Infrastructure Workshop, in Conjunction with PACT , Vol. 2011 . Citeseer. Dan Quinlan and Chunhua Liao. 2011. The ROSE source-to-source compiler infrastructure. In Proceedings of the Cetus Users and Compiler Infrastructure Workshop, in Conjunction with PACT, Vol. 2011. Citeseer."},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_2_1_81_1","volume-title":"Modular Programming Languages","author":"Schordan Markus","unstructured":"Markus Schordan and Dan Quinlan . 2003. A source-to-source architecture for user-defined optimizations . In Modular Programming Languages . Springer , Berlin , 214--223. Markus Schordan and Dan Quinlan. 2003. A source-to-source architecture for user-defined optimizations. In Modular Programming Languages. Springer, Berlin, 214--223."},{"key":"e_1_2_1_82_1","volume-title":"Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA\u201909)","author":"Serebryany K.","unstructured":"K. Serebryany and T. Iskhodzhanov . 2009. ThreadSanitizer: Data race detection in practice . In Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA\u201909) . ACM, New York, NY, 62--71. DOI:https:\/\/doi.org\/10.1145\/1791194.1791203 K. Serebryany and T. Iskhodzhanov. 2009. ThreadSanitizer: Data race detection in practice. In Proceedings of the Workshop on Binary Instrumentation and Applications (WBIA\u201909). ACM, New York, NY, 62--71. DOI:https:\/\/doi.org\/10.1145\/1791194.1791203"},{"key":"e_1_2_1_83_1","volume-title":"Proceedings of the 2nd International Conference on Runtime Verification (RV\u201911)","author":"Serebryany K.","unstructured":"K. Serebryany , A. Potapenko , T. Iskhodzhanov , and D. Vyukov . 2012. Dynamic race detection with LLVM compiler . In Proceedings of the 2nd International Conference on Runtime Verification (RV\u201911) . Springer-Verlag, 110--114. K. Serebryany, A. Potapenko, T. Iskhodzhanov, and D. Vyukov. 2012. Dynamic race detection with LLVM compiler. In Proceedings of the 2nd International Conference on Runtime Verification (RV\u201911). Springer-Verlag, 110--114."},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00058"},{"key":"e_1_2_1_85_1","volume-title":"Top 500 Supercomputer Sites. Retrieved","year":"2019","unstructured":"TOP500.Org. 2019. Top 500 Supercomputer Sites. Retrieved May 8, 2019 from http:\/\/www.top500.org\/. TOP500.Org. 2019. Top 500 Supercomputer Sites. Retrieved May 8, 2019 from http:\/\/www.top500.org\/."},{"key":"e_1_2_1_86_1","volume-title":"Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.","author":"Upadrasta R.","unstructured":"R. Upadrasta and A. Cohen . 2013. Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra . In Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. R. Upadrasta and A. Cohen. 2013. Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. In Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages."},{"key":"e_1_2_1_87_1","volume-title":"DRD: A Thread Error Detector. Retrieved","year":"2007","unstructured":"Valgrind-project. 2007 . DRD: A Thread Error Detector. Retrieved May 8, 2019 from http:\/\/valgrind.org\/docs\/manual\/drd-manual.html. Valgrind-project. 2007. DRD: A Thread Error Detector. Retrieved May 8, 2019 from http:\/\/valgrind.org\/docs\/manual\/drd-manual.html."},{"key":"e_1_2_1_88_1","volume-title":"Helgrind: A Thread Error Detector. Retrieved","year":"2007","unstructured":"Valgrind-project. 2007 . Helgrind: A Thread Error Detector. Retrieved May 8, 2019 from http:\/\/valgrind.org\/docs\/manual\/hg-manual.html. Valgrind-project. 2007. Helgrind: A Thread Error Detector. Retrieved May 8, 2019 from http:\/\/valgrind.org\/docs\/manual\/hg-manual.html."},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.5555\/1888390.1888455"},{"key":"e_1_2_1_90_1","volume-title":"Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM","author":"Voung J. W.","unstructured":"J. W. Voung , R. Jhala , and S. Lerner . 2007. 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. ACM , New York, NY, 205--214. J. W. Voung, R. Jhala, and S. Lerner. 2007. 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. ACM, New York, NY, 205--214."},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness.2018.00010"},{"key":"e_1_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095832"},{"key":"e_1_2_1_93_1","volume-title":"Alphaz: A system for design space exploration in polyhedral model. In Proceedings of the International Workshop on","author":"Yuki T.","year":"2012","unstructured":"T. Yuki , G. Gupta , D. Kim , T. Pathan , and S. Rajopadhye . 2012 . Alphaz: A system for design space exploration in polyhedral model. In Proceedings of the International Workshop on LCPC. Springer , 17--31. T. Yuki, G. Gupta, D. Kim, T. Pathan, and S. Rajopadhye. 2012. Alphaz: A system for design space exploration in polyhedral model. In Proceedings of the International Workshop on LCPC. Springer, 17--31."},{"key":"e_1_2_1_94_1","volume-title":"Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming. ACM","author":"Zheng M.","year":"1941","unstructured":"M. Zheng , V. T. Ravi , F. Qin , and G. Agrawal . 2011. GRace: A low-overhead mechanism for detecting data races in GPU programs . In Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming. ACM , New York, NY, 135--146. DOI:https:\/\/doi.org\/10.1145\/ 1941 553.1941574 M. Zheng, V. T. Ravi, F. Qin, and G. Agrawal. 2011. GRace: A low-overhead mechanism for detecting data races in GPU programs. In Proceedings of the 16th ACM Symposium on Principles and Practice of Parallel Programming. ACM, New York, NY, 135--146. DOI:https:\/\/doi.org\/10.1145\/1941553.1941574"},{"key":"e_1_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.44"}],"container-title":["ACM Transactions on Architecture and Code Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3418597","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3418597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:28Z","timestamp":1750197748000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3418597"}},"subtitle":["A Fast Static Data-Race Checker for OpenMP Programs"],"short-title":[],"issued":{"date-parts":[[2020,12,22]]},"references-count":95,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12,31]]}},"alternative-id":["10.1145\/3418597"],"URL":"https:\/\/doi.org\/10.1145\/3418597","relation":{},"ISSN":["1544-3566","1544-3973"],"issn-type":[{"value":"1544-3566","type":"print"},{"value":"1544-3973","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,22]]},"assertion":[{"value":"2019-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-12-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}