{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T13:07:53Z","timestamp":1765976873409,"version":"3.44.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032063427"},{"type":"electronic","value":"9783032063434"}],"license":[{"start":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T00:00:00Z","timestamp":1759104000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T00:00:00Z","timestamp":1759104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-06343-4_8","type":"book-chapter","created":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T13:23:55Z","timestamp":1759065835000},"page":"114-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Data Race Satisfiability on\u00a0Array Elements"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9568-4203","authenticated-orcid":false,"given":"Junhyung","family":"Shim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3899-5488","authenticated-orcid":false,"given":"Quazi Ishtiaque","family":"Mahmud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8672-5317","authenticated-orcid":false,"given":"Ali","family":"Jannesari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Kadosh, T., Hasabnis, N., Mattson, T., Pinter, Y., Oren, G.: Quantifying openmp: Statistical insights into usage and adoption. In: 2023 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, Sep. 2023, pp. 1\u20137 (2023). http:\/\/dx.doi.org\/10.1109\/HPEC58863.2023.10363459","DOI":"10.1109\/HPEC58863.2023.10363459"},{"key":"8_CR2","unstructured":"Intel, \u201cInspector,\u201d n.d. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/tools\/oneapi\/inspector.html. Accessed 18 Dec 2024"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Serebryany, K., Iskhodzhanov, T.: Threadsanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, pp. 62\u201371 (2009)","DOI":"10.1145\/1791194.1791203"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Jannesari, A., Bao, K., Pankratius, V., Tichy, W.F.: Helgrind+: an efficient dynamic race detector. In: 2009 IEEE International Symposium on Parallel and Distributed Processing, pp. 1\u201313 (2009)","DOI":"10.1109\/IPDPS.2009.5160998"},{"issue":"10","key":"8_CR5","doi-asserted-by":"publisher","first-page":"2606","DOI":"10.1109\/TPDS.2013.209","volume":"25","author":"A Jannesari","year":"2014","unstructured":"Jannesari, A., Tichy, W.F.: Library-independent data race detection. IEEE Trans. Parallel Distrib. Syst. 25(10), 2606\u20132616 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"8_CR6","unstructured":"Disselkoen, C., Ayers, H., Joyner, D.: Haybale: symbolic Execution of LLVM IR. GitHub repository (2021). https:\/\/github.com\/PLSysSec\/haybale. Accessed 06 June 2025"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Bora, U., Das, S., Kukreja, P., Joshi, S., Upadrasta, R., Rajopadhye, S.: LLOV: a fast static data-race checker for openmp programs. ACM Trans. Archit. Code Optim. 17(4) (2020). https:\/\/doi.org\/10.1145\/3418597","DOI":"10.1145\/3418597"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Swain, B., et al.: Openrace: an open source framework for statically detecting data races. In: 2021 IEEE\/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness), pp. 25\u201332 (2021)","DOI":"10.1109\/Correctness54621.2021.00009"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Grosser, T., Groesslinger, A., Lengauer, C.: Polly \u2014 performing polyhedral optimizations on a low-level intermediate representation. Parallel Proc. Lett. 22(04), 1250010 (2012). https:\/\/doi.org\/10.1142\/S0129626412500107","DOI":"10.1142\/S0129626412500107"},{"key":"8_CR10","unstructured":"LLVM. Alias analysis infrastructure - LLVM 20.0.0git documentation (2024). https:\/\/llvm.org\/docs\/AliasAnalysis.html"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Liao, C., Lin, P.-H., Asplund, J., Schordan, M., Karlin, I.: 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, ser. SC \u201917. New York, NY, USA: Association for Computing Machinery (2017). https:\/\/doi.org\/10.1145\/3126908.3126958","DOI":"10.1145\/3126908.3126958"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Yu, F., Yang, S.-C., Wang, F., Chen, G.-C., Chan, C.-C.: Symbolic consistency checking of openmp parallel programs. SIGPLAN Not., vol.\u00a047, no.\u00a05, pp. 139\u2013148 (2012). https:\/\/doi.org\/10.1145\/2345141.2248438","DOI":"10.1145\/2345141.2248438"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Marzen, L., Dutta, A., Jannesari, A.: Static generation of efficient openmp offload data mappings. In: Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis, ser. SC \u201924. IEEE Press (2024). https:\/\/doi.org\/10.1109\/SC41406.2024.00041","DOI":"10.1109\/SC41406.2024.00041"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ser., pp. 337\u2013340 TACAS\u201908\/ETAPS\u201908. Berlin, Heidelberg. Springer-Verlag (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Chen, L., Ding, X., Emani, M., Vanderbruggen, T., Lin, P.-H., Liao, C.: Data race detection using large language models. In: Proceedings of the SC \u201923 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, ser. SC-W \u201923. New York, NY, USA: Association for Computing Machinery, pp. 215\u2013223 (2023). https:\/\/doi.org\/10.1145\/3624062.3624088","DOI":"10.1145\/3624062.3624088"},{"key":"8_CR16","unstructured":"OpenAI. Gpt-4 technical report (2024). https:\/\/arxiv.org\/abs\/2303.08774"},{"key":"8_CR17","unstructured":"Li, R., et al.: Starcoder: may the source be with you! (2023). https:\/\/arxiv.org\/abs\/2305.06161"},{"key":"8_CR18","unstructured":"Touvron, H., et al.: Llama 2: open foundation and fine-tuned chat models (2023). https:\/\/arxiv.org\/abs\/2307.09288"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Huang, L., et al.: A survey on hallucination in large language models: principles, taxonomy, challenges, and open questions. ACM Trans. Inf. Syst. (2024). https:\/\/doi.org\/10.1145\/3703155","DOI":"10.1145\/3703155"},{"key":"8_CR20","unstructured":"Xu, Z., Jain, S., Kankanhalli, M.S.: Hallucination is inevitable: an innate limitation of large language models. ArXiv, vol. abs\/2401.11817 (2024). https:\/\/api.semanticscholar.org\/CorpusID:267069207"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Guerreiro, N.\u00a0M., Voita, E., Martins, A.: Looking for a needle in a haystack: a comprehensive study of hallucinations in neural machine translation. In: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, Vlachos, A., Augenstein, I., eds. Dubrovnik, Croatia: Association for Computational Linguistics, May 2023, pp. 1059\u20131075 (2023). https:\/\/aclanthology.org\/2023.eacl-main.75","DOI":"10.18653\/v1\/2023.eacl-main.75"},{"key":"8_CR22","unstructured":"OpenMP Architecture Review Board. Openmp application programming interface version 6.0. OpenMP Architecture Review Board (2024). https:\/\/www.openmp.org\/wp-content\/uploads\/OpenMP-API-Specification-6-0.pdf. Accessed 20 Dec 2024"},{"key":"8_CR23","unstructured":"Mahmud, Q.I., TehraniJamsaz, A., Phan, H.D., Chen, L., Ahmed, N.K., Jannesari, A.: Autoparllm: GNN-guided automatic code parallelization using large language models. ArXiv, vol. abs\/2310.04047 (2023). https:\/\/api.semanticscholar.org\/CorpusID:263831390"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-16012-2_3","volume-title":"Tools for High Performance Computing 2014","author":"Z Li","year":"2015","unstructured":"Li, Z., Atre, R., Ul-Huda, Z., Jannesari, A., Wolf, F.: \u201cdiscopop: a profiling tool to identify parallelization opportunities. In: Niethammer, C., Gracia, J., Kn\u00fcpfer, A., Resch, M.M., Nagel, W.E. (eds.) Tools for High Performance Computing 2014, pp. 37\u201354. Springer International Publishing, Cham (2015)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Huda, Z.U., Atre, R., Jannesari, A., Wolf, F.: Automatic parallel pattern detection in the algorithm structure design space. In: 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 43\u201352 (2016)","DOI":"10.1109\/IPDPS.2016.60"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Li, Z., Atre, R., Huda, Z., Jannesari, A., Wolf, F.: Unveiling parallelization opportunities in sequential programs. J. Syst. Softw. 117, 282\u2013295 (2016). https:\/\/doi.org\/10.1016\/j.jss.2016.03.045","DOI":"10.1016\/j.jss.2016.03.045"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Norouzi, M., Wolf, F., Jannesari, A.: Automatic construct selection and variable classification in openmp. In: Proceedings of the ACM International Conference on Supercomputing, ser. ICS \u201919. New York, NY, USA: Association for Computing Machinery, pp. 330\u2013341 (2019). https:\/\/doi.org\/10.1145\/3330345.3330375","DOI":"10.1145\/3330345.3330375"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Ernst, M.D., et al.: The daikon system for dynamic detection of likely invariants. Science of Computer Programming, vol.\u00a069, no.\u00a01, pp. 35\u201345 (2007). special issue on Experimental Software and Toolkits. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S016764230700161X","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"8_CR29","unstructured":"Jamsaz, A.T., Mahmud, Q.I., Chen, L., Ahmed, N.K., Jannesari, A.: Perfograph: a numerical aware program graph representation for performance optimization and program analysis. In: Proceedings of the 37th International Conference on Neural Information Processing Systems, ser. NIPS \u201923. Red Hook, NY, USA: Curran Associates Inc. (2024)"}],"container-title":["Lecture Notes in Computer Science","OpenMP: Balancing Productivity and Performance Portability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-06343-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T14:02:53Z","timestamp":1759068173000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-06343-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,29]]},"ISBN":["9783032063427","9783032063434"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-06343-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,29]]},"assertion":[{"value":"29 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IWOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on OpenMP","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Charlotte, NC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwomp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iwomp.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}