{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T05:31:11Z","timestamp":1745386271205,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031725661"},{"type":"electronic","value":"9783031725678"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-72567-8_11","type":"book-chapter","created":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T16:19:25Z","timestamp":1726762765000},"page":"161-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Visualizing Correctness Issues in\u00a0OpenMP Programs"],"prefix":"10.1007","author":[{"given":"Feiyang","family":"Jin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lechen","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,16]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","unstructured":"Agrawal, V., Voss, M.J., Reble, P., Tovinkere, V., Hammond, J., Klemm, M.: Visualization of OpenMP* task dependencies using Intel\u00ae advisor \u2013 flow graph analyzer. In: de Supinski, B., Valero-Lara, P., Martorell, X., Mateo Bellido, S., Labarta, J. (eds.) Evolving OpenMP for Evolving Architectures. IWOMP 2018. LNCS, vol. 11128, pp. 175\u2013188. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98521-3_12","DOI":"10.1007\/978-3-319-98521-3_12"},{"key":"11_CR2","doi-asserted-by":"publisher","unstructured":"Brinkmann, S., Gracia, J., Niethammer, C.: Task debugging with TEMANEJO. In: Cheptsov, A., Brinkmann, S., Gracia, J., Resch, M., Nagel, W. (eds.) Tools for High Performance Computing 2012. Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37349-7_2","DOI":"10.1007\/978-3-642-37349-7_2"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-319-45550-1_17","volume-title":"OpenMP: Memory, Devices, and Tasks","author":"A Drebes","year":"2016","unstructured":"Drebes, A., Br\u00e9jon, J.-B., Pop, A., Heydemann, K., Cohen, A.: Language-centric performance analysis of OpenMP programs with aftermath. In: Maruyama, N., de Supinski, B.R., Wahib, M. (eds.) IWOMP 2016. LNCS, vol. 9903, pp. 237\u2013250. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45550-1_17"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Drebes, A., Pop, A., et al.: Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems. In: 2016 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), pp. 274\u2013283. IEEE (2016)","DOI":"10.1109\/ISPASS.2016.7482102"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Duran, A., Teruel, X., et al.: Barcelona OpenMP tasks suite: a set of benchmarks targeting the exploitation of task parallelism in OpenMP. In: 2009 International Conference on Parallel Processing, pp. 124\u2013131. IEEE (2009)","DOI":"10.1109\/ICPP.2009.64"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Feng, M., Leiserson, C.E.: Efficient detection of determinacy races in Cilk programs. In: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 1\u201311 (1997)","DOI":"10.1145\/258492.258493"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Huynh, A., Thain, D., et al.: Dagviz: A dag visualization tool for analyzing task-parallel program traces. In: Proceedings of the 2nd Workshop on Visual Performance Analysis. pp.\u00a01\u20138 (2015)","DOI":"10.1145\/2835238.2835241"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Jin, F., Jacobson, J., et al.: Minikokkos: a calculus of portable parallelism. In: 2022 IEEE\/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), pp. 37\u201344. IEEE (2022)","DOI":"10.1109\/Correctness56720.2022.00010"},{"key":"11_CR9","unstructured":"Jin, F., Yu, L., Cogumbreiro, T., et al.: Dynamic determinacy race detection for task-parallel programs with promises. In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). Schloss-Dagstuhl-Leibniz Zentrum f\u00fcr Informatik (2023)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-65578-9_10","volume-title":"Scaling OpenMP for Exascale Performance and Portability","author":"PV Langdal","year":"2017","unstructured":"Langdal, P.V., Jahre, M., Muddukrishna, A.: Extending OMPT to support grain graphs. In: de Supinski, B.R., Olivier, S.L., Terboven, C., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2017. LNCS, vol. 10468, pp. 141\u2013155. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65578-9_10"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Mellor-Crummey, J.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, pp. 24\u201333 (1991)","DOI":"10.1145\/125826.125861"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Muddukrishna, A., Jonsson, P.A., et al.: Grain graphs: openmp performance analysis made easy. In: Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 1\u201313 (2016)","DOI":"10.1145\/2851141.2851156"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-319-65578-9_17","volume-title":"Scaling OpenMP for Exascale Performance and Portability","author":"J Protze","year":"2017","unstructured":"Protze, J., Hahnfeld, J., Ahn, D.H., Schulz, M., M\u00fcller, M.S.: OpenMP tools interface: synchronization information for data race detection. In: de Supinski, B.R., Olivier, S.L., Terboven, C., Chapman, B.M., M\u00fcller, M.S. (eds.) IWOMP 2017. LNCS, vol. 10468, pp. 249\u2013265. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65578-9_17"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Raman, R., Zhao, J.: et al.: Scalable and precise dynamic datarace detection for structured parallelism. Acm Sigplan Notices 47(6), 531\u2013542 (2012)","DOI":"10.1145\/2345156.2254127"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-96983-1_8","volume-title":"Euro-Par 2018: Parallel Processing","author":"N Reissmann","year":"2018","unstructured":"Reissmann, N., Muddukrishna, A.: Diagnosing highly-parallel OpenMP programs with aggregated grain graphs. In: Aldinucci, M., Padovani, L., Torquati, M. (eds.) Euro-Par 2018. LNCS, vol. 11014, pp. 106\u2013119. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96983-1_8"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Shannon, P., Markiel, A.: et al.: Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Res. 13(11), 2498\u20132504 (2003)","DOI":"10.1101\/gr.1239303"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-319-46982-9_23","volume-title":"Runtime Verification","author":"R Surendran","year":"2016","unstructured":"Surendran, R., Sarkar, V.: Dynamic determinacy race detection for task parallelism with futures. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 368\u2013385. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_23"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Utterback, R., Agrawal, K., et al.: Efficient race detection with futures. In: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, pp. 340\u2013354 (2019)","DOI":"10.1145\/3293883.3295732"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Voss, C., Cogumbreiro, T., Sarkar, V.: Transitive joins: a sound and efficient online deadlock-avoidance policy. In: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, pp. 378\u2013390 (2019)","DOI":"10.1145\/3293883.3295724"},{"issue":"1","key":"11_CR20","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/cpe.1469","volume":"22","author":"KB Wheeler","year":"2010","unstructured":"Wheeler, K.B., Thain, D.: Visualizing massively multithreaded applications with threadscope. Concurr. Comput. Pract. Exp. 22(1), 45\u201367 (2010)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-030-58144-2_11","volume-title":"OpenMP: Portable Multi-Level Parallelism on Modern Systems","author":"I Wodiany","year":"2020","unstructured":"Wodiany, I., Drebes, A., Neill, R., Pop, A.: AfterOMPT: an OMPT-based tool for fine-grained tracing of tasks and loops. In: Milfeld, K., de Supinski, B.R., Koesterke, L., Klinkenberg, J. (eds.) IWOMP 2020. LNCS, vol. 12295, pp. 165\u2013180. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58144-2_11"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Xu, Y., Singer, K., Lee, I.T.A.: Parallel determinacy race detection for futures. In: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 217\u2013231 (2020)","DOI":"10.1145\/3332466.3374536"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Yu, L., Jin, F., et al.: Leveraging the dynamic program structure tree to detect data races in openmp programs. In: 2022 IEEE\/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness), pp. 54\u201362. IEEE (2022)","DOI":"10.1109\/Correctness56720.2022.00012"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Yu, L., Protze, J., et al.: ARBALEST: dynamic detection of data mapping issues in heterogeneous OpenMP applications. In: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 464\u2013474. IEEE (2021)","DOI":"10.1109\/IPDPS49936.2021.00055"}],"container-title":["Lecture Notes in Computer Science","Advancing OpenMP for Future Accelerators"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-72567-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T16:21:26Z","timestamp":1726762886000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72567-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031725661","9783031725678"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72567-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"16 September 2024","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":"Perth, WA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwomp2024","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"}}]}}