{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T08:28:42Z","timestamp":1786523322520,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T00:00:00Z","timestamp":1763164800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2422127"],"award-info":[{"award-number":["2422127"]}],"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":[[2025,11,16]]},"DOI":"10.1145\/3731599.3767365","type":"proceedings-article","created":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T16:20:02Z","timestamp":1762532402000},"page":"207-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Differential Testing for Sequential to Parallel Transformations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-0030-1686","authenticated-orcid":false,"given":"Jobayer","family":"Ahmmed","sequence":"first","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9568-4203","authenticated-orcid":false,"given":"Quazi I.","family":"Mahmud","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3899-5488","authenticated-orcid":false,"given":"Junhyung","family":"Shim","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8184-0244","authenticated-orcid":false,"given":"Liyi","family":"Li","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8672-5317","authenticated-orcid":false,"given":"Ali","family":"Jannesari","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2443-2425","authenticated-orcid":false,"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,15]]},"reference":[{"key":"e_1_3_3_3_2_2","doi-asserted-by":"publisher","unstructured":"Norah\u00a0A. Al-Johany Fathy\u00a0E. Eassa Sanaa\u00a0A. Sharaf Eynas\u00a0H. Balkhair and Sara\u00a0M. Assiri. 2025. Defect Detection and Correction in OpenMP: A Static Analysis and Machine Learning-Based Solution. IEEE Access (2025). 10.1109\/ACCESS.2025.3589175Accepted January 2025.","DOI":"10.1109\/ACCESS.2025.3589175"},{"key":"e_1_3_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"e_1_3_3_3_4_2","volume-title":"quazirafi\/AutoParLLM","unstructured":"AutoParLLM repository [n. d.]. quazirafi\/AutoParLLM. Retrieved May 2025 from https:\/\/github.com\/quazirafi\/AutoParLLM"},{"key":"e_1_3_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_3_3_6_2","doi-asserted-by":"publisher","unstructured":"Utpal Bora Santanu Das Pankaj Kukreja Saurabh Joshi Ramakrishna Upadrasta and Sanjay\u00a0V. Rajopadhye. 2020. LLOV: A Fast Static Data-Race Checker for OpenMP Programs. ACM Transactions on Architecture and Code Optimization 17 4 (2020) 35:1\u201335:26. 10.1145\/3418597","DOI":"10.1145\/3418597"},{"key":"e_1_3_3_3_7_2","doi-asserted-by":"crossref","unstructured":"Utpal Bora Shraiysh Vaishay Saurabh Joshi and Ramakrishna Upadrasta. 2021. OpenMP\u2011Aware MHP Analysis for Improved Static Data\u2011Race Detection. arXiv preprint (2021).","DOI":"10.1109\/LLVMHPC54804.2021.00006"},{"key":"e_1_3_3_3_8_2","unstructured":"Raymond Chang. 2024. Fuzzing OpenMP Compilers. M.Sc. Thesis. University of Waterloo."},{"key":"e_1_3_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"e_1_3_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-69577-3_9"},{"key":"e_1_3_3_3_11_2","volume-title":"The LLVM Compiler Infrastructure","unstructured":"Clang [n. d.]. The LLVM Compiler Infrastructure. https:\/\/llvm.org"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"crossref","unstructured":"Chirag Dave Hansang Bae Seung-Jai Min Seyong Lee Rudolf Eigenmann and Samuel Midkiff. 2009. Cetus: A source-to-source compiler infrastructure for multicores. Computer 42 12 (2009) 36\u201342.","DOI":"10.1109\/MC.2009.385"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"crossref","unstructured":"Jose\u00a0Monsalve Diaz Kyle Friedline Swaroop Pophale Oscar Hernandez David\u00a0E Bernholdt and Sunita Chandrasekaran. 2019. Analysis of OpenMP 4.5 offloading in implementations: correctness and overhead. Parallel Comput. 89 (2019) 102546.","DOI":"10.1016\/j.parco.2019.102546"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan and Stephen\u00a0N Freund. 2009. FastTrack: efficient and precise dynamic race detection. ACM Sigplan Notices 44 6 (2009) 121\u2013133.","DOI":"10.1145\/1543135.1542490"},{"key":"e_1_3_3_3_15_2","volume-title":"GCC, the GNU Compiler Collection","unstructured":"GCC [n. d.]. GCC, the GNU Compiler Collection. https:\/\/gcc.gnu.org\/"},{"key":"e_1_3_3_3_16_2","doi-asserted-by":"publisher","unstructured":"David Goldberg. 1991. What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23 1 (March 1991) 5\u201348. 10.1145\/103162.103163","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_3_3_17_2","first-page":"61:1\u201361:12","volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC \u201918)","author":"Gu Yizi","year":"2018","unstructured":"Yizi Gu and John Mellor\u2010Crummey. 2018. Dynamic Data Race Detection for OpenMP Programs (ROMP). In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC \u201918). 61:1\u201361:12."},{"key":"e_1_3_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00016"},{"key":"e_1_3_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5160998"},{"key":"e_1_3_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-72567-8_8"},{"key":"e_1_3_3_3_21_2","unstructured":"Hao-Qiang Jin Michael Frumkin and Jerry Yan. 1999. The OpenMP implementation of NAS parallel benchmarks and its performance. (1999)."},{"key":"e_1_3_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/SCW63240.2024.00080"},{"key":"e_1_3_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236037"},{"key":"e_1_3_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16012-2_3"},{"key":"e_1_3_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126958"},{"key":"e_1_3_3_3_26_2","volume-title":"Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.","unstructured":"LLNL\/dataracebench [n. d.]. Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.https:\/\/github.com\/LLNL\/dataracebench"},{"key":"e_1_3_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/3721145.3725758"},{"key":"e_1_3_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2025.naacl-long.593"},{"key":"e_1_3_3_3_29_2","doi-asserted-by":"crossref","unstructured":"Gleison Mendon\u00e7a Breno Guimar\u00e3es P\u00e9ricles Alves M\u00e1rcio Pereira Guido Ara\u00fajo and Fernando Magno\u00a0Quint\u00e3o Pereira. 2017. DawnCC: automatic annotation for data parallelism and offloading. ACM Transactions on Architecture and Code Optimization (TACO) 14 2 (2017) 1\u201325.","DOI":"10.1145\/3084540"},{"key":"e_1_3_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3392717.3392744"},{"key":"e_1_3_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649169.3649246"},{"key":"e_1_3_3_3_32_2","doi-asserted-by":"publisher","unstructured":"David Monniaux. 2008. The pitfalls of verifying floating-point computations. ACM Trans. Program. Lang. Syst. 30 3 Article 12 (May 2008) 41\u00a0pages. 10.1145\/1353445.1353446","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_3_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227145"},{"key":"e_1_3_3_3_34_2","volume-title":"OpenMP Compilers & Tools - OpenMP","unstructured":"OpenMP Compilers [n. d.]. OpenMP Compilers & Tools - OpenMP. https:\/\/www.openmp.org\/resources\/openmp-compilers-tools\/"},{"key":"e_1_3_3_3_35_2","first-page":"311","volume-title":"Proceedings of the 40th annual meeting of the Association for Computational Linguistics","author":"Papineni Kishore","year":"2002","unstructured":"Kishore Papineni, Salim Roukos, Todd Ward, and Wei-Jing Zhu. 2002. Bleu: a method for automatic evaluation of machine translation. In Proceedings of the 40th annual meeting of the Association for Computational Linguistics. 311\u2013318."},{"key":"e_1_3_3_3_36_2","first-page":"1","volume-title":"Cetus users and compiler infrastructure workshop, in conjunction with PACT","author":"Quinlan Dan","year":"2011","unstructured":"Dan Quinlan and Chunhua Liao. 2011. The ROSE source-to-source compiler infrastructure. In Cetus users and compiler infrastructure workshop, in conjunction with PACT , Vol.\u00a02011. Citeseer, 1."},{"key":"e_1_3_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/2742854.2742882"},{"key":"e_1_3_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11454-5_6"},{"key":"e_1_3_3_3_39_2","doi-asserted-by":"crossref","unstructured":"Stefan Savage Michael Burrows Greg Nelson Patrick Sobalvarro and Thomas Anderson. 1997. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems (TOCS) 15 4 (1997) 391\u2013411.","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2013.6595789"},{"key":"e_1_3_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_3_3_42_2","unstructured":"Jaidev Shastri Xiaoguang Wang Basavesh\u00a0A. Shivakumar Freek Verbeek and Binoy Ravindran. 2024. HMTRace: Hardware\u2011Assisted Memory\u2011Tagging Based Dynamic Data Race Detection. arXiv preprint (2024)."},{"key":"e_1_3_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/2807591.2807635"},{"key":"e_1_3_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00058"},{"key":"e_1_3_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness54621.2021.00009"},{"key":"e_1_3_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/1639622.1639626"},{"key":"e_1_3_3_3_47_2","doi-asserted-by":"crossref","unstructured":"Ali Tehrani Arijit Bhattacharjee Le Chen Nesreen\u00a0K Ahmed Amir Yazdanbakhsh and Ali Jannesari. 2024. Coderosetta: Pushing the boundaries of unsupervised code translation for parallel programming. Advances in Neural Information Processing Systems 37 (2024) 100965\u2013100999.","DOI":"10.52202\/079017-3202"},{"key":"e_1_3_3_3_48_2","first-page":"23685","volume-title":"International Conference on Machine Learning","author":"Wen Yuanbo","year":"2022","unstructured":"Yuanbo Wen, Qi Guo, Qiang Fu, Xiaqing Li, Jianxing Xu, Yanlin Tang, Yongwei Zhao, Xing Hu, Zidong Du, Ling Li, et\u00a0al. 2022. Babeltower: Learning to auto-parallelized program translation. In International Conference on Machine Learning. PMLR, 23685\u201323700."},{"key":"e_1_3_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.37"},{"key":"e_1_3_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58144-2_21"},{"key":"e_1_3_3_3_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534409"},{"key":"e_1_3_3_3_52_2","doi-asserted-by":"crossref","unstructured":"Shuyan Zhou Uri Alon Sumit Agarwal and Graham Neubig. 2023. Codebertscore: Evaluating code generation with pretrained models of code. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2302.05527 (2023).","DOI":"10.18653\/v1\/2023.emnlp-main.859"}],"event":{"name":"SC Workshops '25: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","location":"St Louis MO USA","acronym":"SC Workshops '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/full\/10.1145\/3731599.3767365","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731599.3767365","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731599.3767365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T07:44:00Z","timestamp":1786520640000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731599.3767365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":51,"alternative-id":["10.1145\/3731599.3767365","10.1145\/3731599"],"URL":"https:\/\/doi.org\/10.1145\/3731599.3767365","relation":{},"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"2025-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}