{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:02:26Z","timestamp":1762459346842},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319264271"},{"type":"electronic","value":"9783319264288"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26428-8_7","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T00:09:53Z","timestamp":1449619793000},"page":"105-118","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Analysis to Support Program Development with the Textually Aligned Property for OpenSHMEM Collectives"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Kn\u00fcpfer","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Hilbrich","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Protze","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Schuchart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1177\/109434200001400404","volume":"14","author":"B Buck","year":"2000","unstructured":"Buck, B., Hollingsworth, J.K.: An API for runtime code patching. Int. J. High Perform. Comput. Appl. 14(4), 317\u2013329 (2000)","journal-title":"Int. J. High Perform. Comput. Appl."},{"key":"7_CR2","unstructured":"Consortium, T.G.: GASPI: Global Address Space Programming Interface - Specification of a PGAS API for communication, version 1.01. Technical report (2013)"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1177\/1094342007077860","volume":"21","author":"C Falzone","year":"2007","unstructured":"Falzone, C., Chan, A., Lusk, E.L., Gropp, W.: A portable method for finding user errors in the usage of MPI collective operations. Int. J. High Perform. Comput. Appl. 21(2), 155\u2013165 (2007)","journal-title":"Int. J. High Perform. Comput. Appl."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., H\u00e4nsel, F., Schulz, M., de Supinski, B.R., M\u00fcller, M.S., Nagel, W.E., Protze, J.: Runtime MPI collective checking with tree-based overlay networks. In: Proceedings of the 20th European MPI Users\u2019 Group Meeting, EuroMPI 2013, pp. 129\u2013134. ACM New York (2013)","DOI":"10.1145\/2488551.2488570"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., M\u00fcller, M.S., de Supinski, B.R., Schulz, M., Nagel, W.E.: GTI: A generic tools infrastructure for event-based tools in parallel systems. In: Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012, pp. 1364\u20131375. IEEE Computer Society Washington, DC (2012)","DOI":"10.1109\/IPDPS.2012.123"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-24449-0_5","volume-title":"Recent Advances in the Message Passing Interface","author":"T Hilbrich","year":"2011","unstructured":"Hilbrich, T., M\u00fcller, M.S., Schulz, M., de Supinski, B.R.: Order preserving event aggregation in TBONs. In: Cotronis, Y., Danalis, A., Nikolopoulos, D.S., Dongarra, J. (eds.) EuroMPI 2011. LNCS, vol. 6960, pp. 19\u201328. Springer, Heidelberg (2011)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-13374-9_25","volume-title":"Languages and Compilers for Parallel Computing","author":"A Kamil","year":"2010","unstructured":"Kamil, A., Yelick, K.: Enforcing textual alignment of collectives using dynamic checks. In: Gao, G.R., Pollock, L.L., Cavazos, J., Li, X. (eds.) LCPC 2009. LNCS, vol. 5898, pp. 368\u2013382. Springer, Heidelberg (2010)"},{"key":"7_CR8","unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface Standard, Version 3.1. (2015). \n                      http:\/\/www.mpi-forum.org\/docs\/mpi-3.1\/mpi31-report.pdf\n                      \n                    . Accessed 19 June 2015"},{"key":"7_CR9","unstructured":"Pophale, S., Hernandez, O., Chapman, B.: Static Analysis for unaligned collective synchronization matching for OpenSHMEM. In: Proceedings of the 7th International Conference on PGAS Models, pp. 231\u2013336. The University of Edinburgh, Edinburgh (2014)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Roth, P.C., Arnold, D.C., Miller, B.P.: MRNet: A software-based multicast\/reduction network for scalable tools. In: Proceedings of the 2003 ACM\/IEEE Conference on Supercomputing, SC 2003, New York. ACM (2003)","DOI":"10.1145\/1048935.1050172"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-30218-6_11","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"JL Tr\u00e4ff","year":"2004","unstructured":"Tr\u00e4ff, J.L., Worringen, J.: Verifying collective MPI calls. In: Kranzlm\u00fcller, D., Kacsuk, P., Dongarra, J. (eds.) EuroPVM\/MPI 2004. LNCS, vol. 3241, pp. 18\u201327. Springer, Heidelberg (2004)"},{"key":"7_CR12","unstructured":"openshmem.org. OpenSHMEM Application Programming Interface v1.2, 04 (2015)"},{"issue":"11\u201313","key":"7_CR13","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H","volume":"10","author":"K Yelick","year":"1998","unstructured":"Yelick, K., Semenzato, L., Pike, G., Miyamoto, C., Liblit, B., Krishnamurthy, A., Hilfinger, P., Graham, S., Gay, D., Colella, P., Aiken, A.: Titanium: a high-performance Java dialect. Concur.: Pract. Exp. 10(11\u201313), 825\u2013836 (1998)","journal-title":"Concur.: Pract. Exp."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Duesterwald, E.: Barrier matching for programs with textually unaligned barriers. In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2007, pp. 194\u2013204. ACM, New York (2007)","DOI":"10.1145\/1229428.1229472"}],"container-title":["Lecture Notes in Computer Science","OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26428-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T17:10:29Z","timestamp":1559322629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26428-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319264271","9783319264288"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26428-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}