{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:10Z","timestamp":1750221310198,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,12]],"date-time":"2017-11-12T00:00:00Z","timestamp":1510444800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,12]]},"DOI":"10.1145\/3145344.3145490","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T12:31:37Z","timestamp":1509453097000},"page":"21-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Runtime Correctness Checking for Emerging Programming Paradigms"],"prefix":"10.1145","author":[{"given":"Joachim","family":"Protze","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Christian","family":"Terboven","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Serge","family":"Petiton","sequence":"additional","affiliation":[{"name":"Maison de la Simulation, Saclay, France, University of Lille, Lille, France"}]},{"given":"Nahid","family":"Emad","sequence":"additional","affiliation":[{"name":"Maison de la Simulation, Saclay, France, University of Versailles, Versailles, France"}]},{"given":"Hitoshi","family":"Murai","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Kobe, Japan"}]},{"given":"Taisuke","family":"Boku","sequence":"additional","affiliation":[{"name":"University of Tsukuba, Tsukuba, Japan"}]}],"member":"320","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. Developer tools for porting and tuning parallel applications on extreme-scale parallel systems. https:\/\/jlesc.github.io\/projects\/tool_pandt_project\/. (2016).  2016. Developer tools for porting and tuning parallel applications on extreme-scale parallel systems. https:\/\/jlesc.github.io\/projects\/tool_pandt_project\/. (2016)."},{"key":"e_1_3_2_1_2_1","unstructured":"2016. Scalasca web page. http:\/\/http:\/\/www.scalasca.org\/. (2016).  2016. Scalasca web page. http:\/\/http:\/\/www.scalasca.org\/. (2016)."},{"key":"e_1_3_2_1_3_1","unstructured":"2016. The MUST Project. https:\/\/www.itc.rwth-aachen.de\/must. (2016).  2016. The MUST Project. https:\/\/www.itc.rwth-aachen.de\/must. (2016)."},{"key":"e_1_3_2_1_4_1","unstructured":"2017. The Extrae Project. https:\/\/tools.bsc.es\/extrae. (2017).  2017. The Extrae Project. https:\/\/tools.bsc.es\/extrae. (2017)."},{"key":"e_1_3_2_1_5_1","unstructured":"2017. XcalableMP web page. http:\/\/www.xcalablemp.org\/. (2017).  2017. XcalableMP web page. http:\/\/www.xcalablemp.org\/. (2017)."},{"key":"e_1_3_2_1_6_1","volume-title":"ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016","author":"Atzeni Simone","year":"2016","unstructured":"Simone Atzeni , Ganesh Gopalakrishnan , Zvonimir Rakamaric , Dong H. Ahn , Ignacio Laguna , Martin Schulz , Gregory L. Lee , Joachim Protze , and Matthias S. M\u00fcller . 2016 . ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016 , Chicago, IL, USA , May 23-27, 2016 . 53--62. https:\/\/doi.org\/10.1109\/IPDPS.2016.68 10.1109\/IPDPS.2016.68 Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, and Matthias S. M\u00fcller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, IL, USA, May 23-27, 2016. 53--62. https:\/\/doi.org\/10.1109\/IPDPS.2016.68"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503237"},{"key":"e_1_3_2_1_8_1","volume-title":"SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12","author":"Hilbrich Tobias","year":"2012","unstructured":"Tobias Hilbrich , Joachim Protze , Martin Schulz , Bronis R. de Supinski , and Matthias S. M\u00fcller . 2012. MPI runtime error detection with MUST: advances in deadlock detection . In SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12 , Salt Lake City, UT, USA - November 11 - 15 , 2012 . 30. https:\/\/doi.org\/10.1109\/SC.2012.79 10.1109\/SC.2012.79 Tobias Hilbrich, Joachim Protze, Martin Schulz, Bronis R. de Supinski, and Matthias S. M\u00fcller. 2012. MPI runtime error detection with MUST: advances in deadlock detection. In SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12, Salt Lake City, UT, USA - November 11 - 15, 2012. 30. https:\/\/doi.org\/10.1109\/SC.2012.79"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966884.2966906"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2012.118"},{"key":"e_1_3_2_1_11_1","volume-title":"Holistic Debugging of MPI Derived Datatypes. In 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012","author":"Protze Joachim","year":"2012","unstructured":"Joachim Protze , Tobias Hilbrich , Andreas Kn\u00fcpfer , Bronis R. de Supinski , and Matthias S. M\u00fcller . 2012 . Holistic Debugging of MPI Derived Datatypes. In 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012 , Shanghai, China , May 21-25, 2012 . 354--365. https:\/\/doi.org\/10.1109\/IPDPS.2012.41 10.1109\/IPDPS.2012.41 Joachim Protze, Tobias Hilbrich, Andreas Kn\u00fcpfer, Bronis R. de Supinski, and Matthias S. M\u00fcller. 2012. Holistic Debugging of MPI Derived Datatypes. In 26th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21-25, 2012. 354--365. https:\/\/doi.org\/10.1109\/IPDPS.2012.41"},{"key":"e_1_3_2_1_12_1","unstructured":"XcalableMP Specification Working Group. 2016. XcalableMP Language Specification. http:\/\/www.xcalablemp.org\/specification.html. (2016).  XcalableMP Specification Working Group. 2016. XcalableMP Language Specification. http:\/\/www.xcalablemp.org\/specification.html. (2016)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16012-2_1"}],"event":{"name":"SC '17: The International Conference for High Performance Computing, Networking, Storage and Analysis","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing","IEEE CS"],"location":"Denver CO USA","acronym":"SC '17"},"container-title":["Proceedings of the First International Workshop on Software Correctness for HPC Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3145344.3145490","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3145344.3145490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:35Z","timestamp":1750212815000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3145344.3145490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,12]]},"references-count":13,"alternative-id":["10.1145\/3145344.3145490","10.1145\/3145344"],"URL":"https:\/\/doi.org\/10.1145\/3145344.3145490","relation":{},"subject":[],"published":{"date-parts":[[2017,11,12]]},"assertion":[{"value":"2017-11-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}