{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:19Z","timestamp":1762458799972},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642133732"},{"type":"electronic","value":"9783642133749"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13374-9_25","type":"book-chapter","created":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T11:15:59Z","timestamp":1276168559000},"page":"368-382","source":"Crossref","is-referenced-by-count":9,"title":["Enforcing Textual Alignment of Collectives Using Dynamic Checks"],"prefix":"10.1007","author":[{"given":"Amir","family":"Kamil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katherine","family":"Yelick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Eclipse Parallel Tools Platform, http:\/\/www.eclipse.org\/ptp\/"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Aiken, A., Gay, D.: Barrier inference. In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 1998)","DOI":"10.1145\/268946.268974"},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1177\/109434209100500306","volume":"5","author":"D.H. Bailey","year":"1991","unstructured":"Bailey, D.H., Barszcz, E., Barton, J.T., Browning, D.S., Carter, R.L., Dagum, D., Fatoohi, R.A., Frederickson, P.O., Lasinski, T.A., Schreiber, R.S., Simon, H.D., Venkatakrishnan, V., Weeratunga, S.K.: The NAS Parallel Benchmarks. The International Journal of Supercomputer Applications\u00a05(3), 63\u201373 (Fall 1991)","journal-title":"The International Journal of Supercomputer Applications"},{"key":"25_CR4","unstructured":"Bonachea, D.: GASNet specification, v1.1. Technical Report UCB\/CSD-02-1207, University of California, Berkeley (November 2002)"},{"key":"25_CR5","unstructured":"Carlson, W., Draper, J., Culler, D., Yelick, K., Brooks, E., Warren, K.: Introduction to UPC and language specification. Technical Report CCS-TR-99-157, IDA Center for Computing Sciences (1999)"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/1065944.1065949","volume-title":"PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"A. Darte","year":"2005","unstructured":"Darte, A., Schreiber, R.: A linear-time algorithm for optimal barrier placement. In: PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 26\u201335. ACM, New York (2005)"},{"key":"25_CR7","unstructured":"Datta, K.: The NAS Parallel Benchmarks in Titanium. Master\u2019s thesis, University of California, Berkeley (December 2005)"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-69330-7_14","volume-title":"Languages and Compilers for Parallel Computing","author":"K. Datta","year":"2006","unstructured":"Datta, K., Bonachea, D., Yelick, K.: Titanium performance and potential: an NPB experimental study. In: Ayguad\u00e9, E., Baumgartner, G., Ramanujam, J., Sadayappan, P. (eds.) LCPC 2005. LNCS, vol.\u00a04339, pp. 200\u2013214. Springer, Heidelberg (2006)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Gay, D.: Barrier Inference. PhD thesis, University of California, Berkeley (May 1998)","DOI":"10.21236\/ADA637072"},{"key":"25_CR10","unstructured":"Jeremiassen, T., Eggers, S.: Static analysis of barrier synchronization in explicitly parallel programs. In: Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques (August 1994)"},{"key":"25_CR11","unstructured":"Kamil, A.: Problems with the titanium type system for alignment of collectives (February 2006), http:\/\/www.cs.berkeley.edu\/~kamil\/titanium\/doc\/single.pdf"},{"key":"25_CR12","unstructured":"Kamil, A., Su., J., Yelick, K.: Making sequential consistency practical in Titanium. In: Supercomputing 2005 (November 2005)"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-69330-7_13","volume-title":"Languages and Compilers for Parallel Computing","author":"A. Kamil","year":"2006","unstructured":"Kamil, A., Yelick, K.: Concurrency analysis for parallel programs with textually aligned barriers. In: Ayguad\u00e9, E., Baumgartner, G., Ramanujam, J., Sadayappan, P. (eds.) LCPC 2005. LNCS, vol.\u00a04339, pp. 185\u2013199. Springer, Heidelberg (2006)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, A., Yelick, K.: Analyses and optimizations for shared address space programs (1996)","DOI":"10.1006\/jpdc.1996.0136"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-68555-5_4","volume-title":"OpenMP Shared Memory Parallel Programming","author":"Y. Lin","year":"2005","unstructured":"Lin, Y.: Static Nonconcurrency Analysis of OpenMP Programs. In: Mueller, M.S., Chapman, B.M., de Supinski, B.R., Malony, A.D., Voss, M. (eds.) IWOMP 2005 and IWOMP 2006. LNCS, vol.\u00a04315, pp. 36\u201350. Springer, Heidelberg (2005)"},{"key":"25_CR16","unstructured":"Numwich, R., Reid, J.: Co-Array Fortran for parallel programming. Technical Report RAL-TR-1998-060, Rutherford Appleton Laboratory (1998)"},{"issue":"6","key":"25_CR17","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/TPDS.2002.1011394","volume":"13","author":"M. O\u2019Boyle","year":"2002","unstructured":"O\u2019Boyle, M., Stohr, E.: Compile time barrier synchronization minimization. IEEE Transactions on Parallel and Distributed Systems\u00a013(6), 529\u2013543 (2002)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/1065944.1065957","volume-title":"PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"S.F. Siegel","year":"2005","unstructured":"Siegel, S.F., Avrunin, G.S.: Modeling wildcard-free MPI programs for verification. In: PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 95\u2013106. ACM, New York (2005)"},{"issue":"8","key":"25_CR19","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1145\/209937.209952","volume":"30","author":"C.-W. Tseng","year":"1995","unstructured":"Tseng, C.-W.: Compiler optimizations for eliminating barrier synchronization. SIGPLAN Not.\u00a030(8), 144\u2013155 (1995)","journal-title":"SIGPLAN Not."},{"key":"25_CR20","doi-asserted-by":"crossref","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. In: Workshop on Java for High-Performance Network Computing, Stanford, California (February 1998)","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H"},{"key":"25_CR21","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1145\/1229428.1229472","volume-title":"PPoPP 2007: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"Y. Zhang","year":"2007","unstructured":"Zhang, Y., Duesterwald, E.: Barrier matching for programs with textually unaligned barriers. In: PPoPP 2007: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 194\u2013204. ACM, New York (2007)"},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-85261-2_7","volume-title":"Languages and Compilers for Parallel Computing","author":"Y. Zhang","year":"2008","unstructured":"Zhang, Y., Duesterwald, E., Gao, G.R.: Concurrency analysis for shared memory programs with textually unaligned barriers. In: Adve, V., Garzar\u00e1n, M.J., Petersen, P. (eds.) LCPC 2007. LNCS, vol.\u00a05234, pp. 95\u2013109. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13374-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:05:27Z","timestamp":1606187127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13374-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642133732","9783642133749"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13374-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}