{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:04Z","timestamp":1762458544330},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693291"},{"type":"electronic","value":"9783540693307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69330-7_13","type":"book-chapter","created":{"date-parts":[[2007,5,14]],"date-time":"2007-05-14T17:16:20Z","timestamp":1179162980000},"page":"185-199","source":"Crossref","is-referenced-by-count":21,"title":["Concurrency Analysis for Parallel Programs with Textually Aligned Barriers"],"prefix":"10.1007","author":[{"given":"Amir","family":"Kamil","sequence":"first","affiliation":[]},{"given":"Katherine","family":"Yelick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Aiken, A., Gay, D.: Barrier inference. In: Principles of Programming Languages, San Diego, California (January 1998)","key":"13_CR1","DOI":"10.1145\/268946.268974"},{"unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (May 1994)","key":"13_CR2"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/353171.353197","volume-title":"OOPSLA 2000: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"D.F. Bacon","year":"2000","unstructured":"Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of Java without data races. In: OOPSLA 2000: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 382\u2013400. ACM Press, New York (2000)"},{"unstructured":"Balls, G.T.: A Finite Difference Domain Decomposition Method Using Local Corrections for the Solution of Poisson\u2019s Equation. PhD thesis, Department of Mechanical Engineering, University of California at Berkeley (1999)","key":"13_CR4"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/0021-9991(89)90035-1","volume":"82","author":"M. Berger","year":"1989","unstructured":"Berger, M., Colella, P.: Local adaptive mesh refinement for shock hydrodynamics. Journal of Computational Physics\u00a082(1), 64\u201384 (1989); Lawrence Livermore Laboratory Report No. UCRL-97196","journal-title":"Journal of Computational Physics"},{"unstructured":"Bonachea, D.: GASNet specification, v1.1. Technical Report UCB\/CSD-02-1207, University of California, Berkeley (November 2002)","key":"13_CR6"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/582419.582440","volume-title":"OOPSLA 2002: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA 2002: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 211\u2013230. ACM Press, New York (2002)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1145\/277651.277696","volume-title":"SPAA 1998: Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures","author":"G.-I. Cheng","year":"1998","unstructured":"Cheng, G.-I., Feng, M., Leiserson, C.E., Randall, K.H., Stark, A.F.: Detecting data races in Cilk programs that use locks. In: SPAA 1998: Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, pp. 298\u2013309. ACM Press, New York (1998)"},{"unstructured":"Christiaens, M., De Bosschere, K.: TRaDe, a topological approach to on-the-fly race detection in Java programs. In: Proceedings of the Java Virtual Machine Research and Technology Symposium (JVM 2001) (April 2001)","key":"13_CR9"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/122759.122767","volume-title":"PADD 1991: Proceedings of the 1991 ACM\/ONR workshop on Parallel and distributed debugging","author":"A. Dinning","year":"1991","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. In: PADD 1991: Proceedings of the 1991 ACM\/ONR workshop on Parallel and distributed debugging, pp. 85\u201396. ACM Press, New York (1991)"},{"doi-asserted-by":"crossref","unstructured":"Duesterwald, E., Soffa, M.: Concurrency analysis in the presence of procedures using a data-flow framework. In: Symposium on Testing, analysis, and verification, Victoria, British Columbia (October 1991)","key":"13_CR11","DOI":"10.1145\/120807.120811"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/349299.349328","volume-title":"PLDI 2000: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: PLDI 2000: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pp. 219\u2013232. ACM Press, New York (2000)"},{"doi-asserted-by":"crossref","unstructured":"Gay, D.: Barrier Inference. PhD thesis, University of California, Berkeley (May 1998)","key":"13_CR13","DOI":"10.21236\/ADA637072"},{"doi-asserted-by":"crossref","unstructured":"Hilfinger, P.N., Bonachea, D., Datta, K., Gay, D., Graham, S., Liblit, B., Pike, G., Su, J., Yelick, K.: Titanium language reference manual, version 2.19. Technical Report UCB\/EECS- 2005-15, University of California, Berkeley (November 2005)","key":"13_CR14","DOI":"10.2172\/1511296"},{"unstructured":"Jeremiassen, T., Eggers, S.: Static analysis of barrier synchronization in explicitly parallel programs. In: Parallel Architectures and Compilation Techniques, Montreal, Canada (August 1994)","key":"13_CR15"},{"unstructured":"Kamil, A., Su., J., Yelick, K.: Making sequential consistency practical in Titanium. In: Supercomputing 2005 (November 2005) (to appear)","key":"13_CR16"},{"unstructured":"Kamil, A., Yelick, K.: Concurrency analysis for parallel programs with textually aligned barriers. Technical Report UCB\/EECS-2006-41, EECS Department, University of California, Berkeley, April 18 (2006), Available at, http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2006\/EECS-2006-41.html","key":"13_CR17"},{"doi-asserted-by":"crossref","unstructured":"Masticola, S., Ryder, B.: Non-concurrency analysis. In: Principles and practice of parallel programming, San Diego, California (May 1993)","key":"13_CR18","DOI":"10.1145\/155332.155346"},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst.\u00a01(1), 74\u201388 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/781498.781528","volume-title":"PPoPP 2003: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"R. O\u2019Callahan","year":"2003","unstructured":"O\u2019Callahan, R., Choi, J.-D.: Hybrid dynamic data race detection. In: PPoPP 2003: Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 167\u2013178. ACM Press, New York (2003)"},{"key":"13_CR21","first-page":"5","volume-title":"ILPS 1997: Proceedings of the 1997 international symposium on Logic programming","author":"T. Reps","year":"1997","unstructured":"Reps, T.: Program analysis via graph reachability. In: ILPS 1997: Proceedings of the 1997 international symposium on Logic programming, pp. 5\u201319. MIT Press, Cambridge (1997)"},{"issue":"4","key":"13_CR22","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst.\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"unstructured":"United States Department of Defense. Reference manual for the Ada programming language. Technical Report ANSI\/MIL-STD-1815A,Washington, D.C. (January 1983)","key":"13_CR23"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/781131.781145","volume-title":"PLDI 2003: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation","author":"C. Praun von","year":"2003","unstructured":"von Praun, C., Gross, T.R.: Static conflict analysis for multi-threaded object-oriented programs. In: PLDI 2003: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pp. 115\u2013128. ACM Press, New York (2003)"},{"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)","key":"13_CR25","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H"}],"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-540-69330-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:57:29Z","timestamp":1605743849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69330-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540693291","9783540693307"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69330-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}