{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:52:15Z","timestamp":1743040335051,"version":"3.40.3"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030479558"},{"type":"electronic","value":"9783030479565"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T00:00:00Z","timestamp":1596153600000},"content-version":"vor","delay-in-days":212,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-47956-5_18","type":"book-chapter","created":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T17:26:56Z","timestamp":1596130016000},"page":"545-567","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["MYX: Runtime Correctness Analysis for Multi-Level Parallel Programming Paradigms"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Protze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miwako","family":"Tsuji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Terboven","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Dufaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Murai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Petiton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nahid","family":"Emad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taisuke","family":"Boku","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"key":"18_CR1","unstructured":"Atzeni, S., Gopalakrishnan, G., Rakamaric, Z., Ahn, D.H., Laguna, I., Schulz, M., Lee, G.L., Protze, J., M\u00fcller, M.S.: ARCHER: Effectively spotting data races in large openmp applications. In: 2016 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2016, Chicago, May 23\u201327, 2016, pp. 53\u201362 (2016)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Dongarra, J., Beckman, P., Moore, T., Aerts, P., Aloisio, G., Andre, J.C., Barkai, D., Berthou, J.Y., Boku, T., Braunschweig, B., Cappello, F., Chapman, B., Chi, X., Choudhary, A., Dosanjh, S., Dunning, T., Fiore, S., Geist, A., Gropp, B., Harrison, R., Hereld, M., Heroux, M., Hoisie, A., Hotta, K., Jin, Z., Ishikawa, Y., Johnson, F., Kale, S., Kenway, R., Keyes, D., Kramer, B., Labarta, J., Lichnewsky, A., Lippert, T., Lucas, B., Maccabe, B., Matsuoka, S., Messina, P., Michielse, P., Mohr, B., Mueller, M.S., Nagel, W.E., Nakashima, H., Papka, M.E., Reed, D., Sato, M., Seidel, E., Shalf, J., Skinner, D., Snir, M., Sterling, T., Stevens, R., Streitz, F., Sugar, B., Sumimoto, S., Tang, W., Taylor, J., Thakur, R., Trefethen, A., Valero, M., Van Der Steen, A., Vetter, J., Williams, P., Wisniewski, R., Yelick, K.: The international exascale software project roadmap. Int. J. High Perform. Comput. Appl. 25(1), 3\u201360 (2011). \nhttps:\/\/doi.org\/10.1177\/1094342010391989","DOI":"10.1177\/1094342010391989"},{"key":"18_CR3","unstructured":"Dufaud, T., Tsuji, M., Sato, M.: Design of data management for multi SPMD workflow programming model. In: Proceedings of the 4th International Workshop on Extreme Scale Programming Models and Middleware, ESPM2@SC 2018, Dallas, November 11\u201316, 2018, pp. 9\u201318 (2018)"},{"key":"18_CR4","unstructured":"Edjlali, G., Emad, N., Petiton, S.: Hybrid methods on network of heterogeneous parallel computers. In: Proceedings of the 14th IMACS World Congress, Atlanta (1994)"},{"key":"18_CR5","unstructured":"Edjlali, G., Petiton, S., Emad, N.: Interleaved parallel hybrid Arnoldi method for a parallel machine and a network of workstations. In: Conference on Information, Systems, Analysis and Synthesis (ISAS\u201996), pp. 22\u201326 (1996)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Emad, N., Petiton, S.G.: Unite and conquer approach for high scale numerical computing. J. Comput. Sci. 14, 5\u201314 (2016). \nhttps:\/\/doi.org\/10.1016\/j.jocs.2016.01.007\n\n. \nhttps:\/\/doi.org\/10.1016\/j.jocs.2016.01.007","DOI":"10.1016\/j.jocs.2016.01.007"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1137\/S1064827500366082","volume":"27","author":"N Emad","year":"2005","unstructured":"Emad, N., Petiton, S., Edjlali, G.: Multiple explicitly restarted arnoldi method for solving large eigenproblems. SIAM J. Sci. Comput. 27(1), 253\u2013277 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., de Supinski, B.R., Nagel, W.E., Protze, J., Baier, C., M\u00fcller, M.S.: Distributed wait state tracking for runtime MPI deadlock detection. In: International Conference for High Performance Computing, Networking, Storage and Analysis, SC\u201913, Denver, November 17\u201321, 2013, pp. 16:1\u201316:12 (2013). \nhttps:\/\/doi.org\/10.1145\/2503210.2503237\n\n. \nhttps:\/\/doi.org\/10.1145\/2503210.2503237","DOI":"10.1145\/2503210.2503237"},{"key":"18_CR9","doi-asserted-by":"publisher","unstructured":"H\u00fcck, A., Lehr, J., Kreutzer, S., Protze, J., Terboven, C., Bischof, C.H., M\u00fcller, M.S.: Compiler-aided type tracking for correctness checking of MPI applications. In: 2nd IEEE\/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, November 12, 2018, pp. 51\u201358 (2018). \nhttps:\/\/doi.org\/10.1109\/Correctness.2018.00011\n\n. \nhttps:\/\/doi.org\/10.1109\/Correctness.2018.00011","DOI":"10.1109\/Correctness.2018.00011 10.1109\/Correctness.2018.00011"},{"key":"18_CR10","doi-asserted-by":"publisher","unstructured":"Nakao, M., Lee, J., Boku, T., Sato, M.: Productivity and performance of global-view programming with xcalablemp pgas language. In: Proceedings of 12th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid, pp. 402\u2013409 (2012). \nhttps:\/\/doi.org\/10.1109\/CCGrid.2012.118","DOI":"10.1109\/CCGrid.2012.118"},{"key":"18_CR11","unstructured":"Protze, J., Schulz, M., Ahn, D.H., M\u00fcller, M.S.: Thread-local concurrency: a technique to handle data race detection at programming model abstraction. In: Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2018, Tempe, June 11\u201315, 2018, pp. 144\u2013155 (2018)"},{"key":"18_CR12","unstructured":"Sato, M., Hirano, M., Tanaka, Y., Sekiguchi, S.: Omnirpc: A grid RPC facility for cluster and global computing in openmp. In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, July 30\u201331, 2001 Proceedings, pp. 130\u2013136 (2001)"},{"key":"18_CR13","doi-asserted-by":"publisher","unstructured":"Tsuji, M., Sato, M., Hugues, M., Petiton, S.: Multiple-SPMD programming environment based on pgas and workflow toward post-petascale computing. In: Proceedings of 42nd International Conference on Parallel Processing, ICPP, pp. 480\u2013485. IEEE, Piscataway (2013). \nhttps:\/\/doi.org\/10.1109\/ICPP.2013.58","DOI":"10.1109\/ICPP.2013.58"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Wu, X., Petiton, S.G.: A distributed and parallel asynchronous unite and conquer method to solve large scale non-hermitian linear systems. In: Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, HPC Asia 2018, Chiyoda, January 28\u201331, 2018, pp. 36\u201346. ACM, New York (2018). \nhttps:\/\/doi.org\/10.1145\/3149457.3154481","DOI":"10.1145\/3149457.3154481"}],"container-title":["Lecture Notes in Computational Science and Engineering","Software for Exascale Computing - SPPEXA 2016-2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-47956-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T17:39:27Z","timestamp":1596130767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-47956-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030479558","9783030479565"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-47956-5_18","relation":{},"ISSN":["1439-7358","2197-7100"],"issn-type":[{"type":"print","value":"1439-7358"},{"type":"electronic","value":"2197-7100"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"31 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}