{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,27]],"date-time":"2025-07-27T07:20:57Z","timestamp":1753600857246,"version":"3.37.3"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100004054","name":"Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah","doi-asserted-by":"publisher","award":["KEP-PHD-20-611-42"],"award-info":[{"award-number":["KEP-PHD-20-611-42"]}],"id":[{"id":"10.13039\/501100004054","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3219406","type":"journal-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T21:24:11Z","timestamp":1667597051000},"page":"117808-117826","source":"Crossref","is-referenced-by-count":7,"title":["Errors Classification and Static Detection Techniques for Dual-Programming Model (OpenMP and OpenACC)"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2567-715X","authenticated-orcid":false,"given":"Huda Saleh","family":"Basloom","sequence":"first","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5849-8871","authenticated-orcid":false,"given":"Mohamed Yehia","family":"Dahab","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7644-5039","authenticated-orcid":false,"given":"Ahmed Mohammed","family":"Alghamdi","sequence":"additional","affiliation":[{"name":"Department of Software Engineering, College of Computer Science and Engineering, University of Jeddah, Jeddah, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3987-9051","authenticated-orcid":false,"given":"Fathy Elbouraey","family":"Eassa","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9259-4536","authenticated-orcid":false,"given":"Abdullah Saad Al-Malaise","family":"Al-Ghamdi","sequence":"additional","affiliation":[{"name":"Department of Information Systems, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6718-0144","authenticated-orcid":false,"given":"Seif","family":"Haridi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MCSoC.2017.16"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC43674.2020.9286203"},{"key":"ref33","first-page":"1","article-title":"Comparing model checking and static program analysis: A case study in error detection approaches","volume":"25","author":"kostyantyn","year":"2010","journal-title":"Proc SSV"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.44"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3418597"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.32604\/cmc.2023.033928"},{"key":"ref37","article-title":"Performance analysis of CUDA, OpenACC and OpenMP programming models on TESLA V100 GPU","volume":"1740","author":"mikhail","year":"2021","journal-title":"Proc J Phys Conf"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00102"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09873-9_68"},{"key":"ref34","first-page":"155","article-title":"Comparing high performance computing accelerator programming models","author":"swaroop","year":"2019","journal-title":"Proc Int Conf High Perform Comput"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2017.32"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/InPar.2012.6339595"},{"key":"ref61","first-page":"1","article-title":"The EPCC OpenACC benchmark suite","author":"johnson","year":"2013","journal-title":"Proc Exascale Appl Softw Conf"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126958"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/PDP2018.2018.00120"},{"key":"ref27","first-page":"19","article-title":"Concurrent deadlock detection in parallel programs","volume":"28","author":"haque","year":"2006","journal-title":"Int J Comput Appl"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.374"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICENCO49852.2021.9698918"},{"journal-title":"What is OpenACC?","year":"2022","key":"ref20"},{"journal-title":"The OpenACC Application Programming Interface Version 2 0","year":"2022","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HUSTProtools51951.2020.00012"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688519"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809990268"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.3390\/en15041488"},{"key":"ref51","first-page":"322","article-title":"MPIRace-check: Detection of message races in MPI programs","author":"mi-young","year":"2007","journal-title":"Proc Int Conf Grid Pervasive Comput"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11454-5_5"},{"journal-title":"The OpenMP API Specification for Parallel Programming Version 5 2","year":"2021","key":"ref58"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/CANDARW.2019.00038"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/LLVM-HPC.2018.8639349"},{"journal-title":"Intel","year":"2022","key":"ref55"},{"journal-title":"ARM","year":"2022","key":"ref54"},{"journal-title":"TotalView","year":"2022","key":"ref53"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1345206.1345258"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2021.05.017"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2832105.2832111"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21487-5_4"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/WACCPD.2014.10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2014.44"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00058"},{"key":"ref15","first-page":"211","article-title":"Generic locking and deadlock-prevention with C","author":"michael","year":"2007","journal-title":"Proc Parallel Computing (ParCo) '99"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CAHPC.2018.8645880"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM51124.2021.00047"},{"key":"ref18","first-page":"21","article-title":"OpenMP loop scheduling revisited: Making a case for more schedules","volume":"11128","author":"florina","year":"2018","journal-title":"Proc Int Workshop OpenMP"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2853600"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474063"},{"key":"ref3","first-page":"1","article-title":"HPC interconnects at the end of Moore’s law","author":"shalf","year":"2019","journal-title":"Proc Opt Fiber Commun Conf (OFC)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2994172"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2935498"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAP.2019.2920253"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HiPC.2016.016"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79561-2_3"},{"key":"ref9","first-page":"409","article-title":"Evaluating and optimizing OpenCL kernels for high performance computing with FPGAs","author":"hamid reza","year":"2016","journal-title":"Proc Int Conf High Perform Comput Netw Storage Anal"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81042-9"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2011.49"},{"key":"ref48","first-page":"110","article-title":"Dynamic race detection with LLVM compiler","author":"serebryany","year":"2011","journal-title":"Proc Int'l Conf Runtime Verification"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00064"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"ref41","first-page":"106","article-title":"An extended polyhedral model for SPMD programs and its use in static data race detection","author":"chatarasi","year":"2016","journal-title":"Proc Int Workshop Lang Compil Parallel Comput"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5160998"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/Correctness.2018.00010"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09938978.pdf?arnumber=9938978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T20:06:01Z","timestamp":1670875561000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9938978\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":64,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3219406","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}