{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:03:09Z","timestamp":1725516189136},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852605"},{"type":"electronic","value":"9783540852612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85261-2_7","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T07:20:24Z","timestamp":1218525624000},"page":"95-109","source":"Crossref","is-referenced-by-count":10,"title":["Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers"],"prefix":"10.1007","author":[{"given":"Yuan","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Evelyn","family":"Duesterwald","sequence":"additional","affiliation":[]},{"given":"Guang R.","family":"Gao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/1229428.1229471","volume-title":"PPoPP 2007: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","author":"S. Agarwal","year":"2007","unstructured":"Agarwal, S., Barik, R., Sarkar, V., Shyamasundar, R.K.: May-happen-in-parallel analysis of x10 programs. In: PPoPP 2007: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 183\u2013193. ACM Press, New York (2007)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Callahan, D., Kennedy, K., Subhlok, J.: Analysis of event synchronization in a parallel programming tool. In: PPOPP 1990: Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 21\u201330 (1990)","DOI":"10.1145\/99163.99167"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Callahan, D., Sublok, J.: Static analysis of low-level synchronization. In: PADD 1988: Proceedings of the 1988 ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, pp. 100\u2013111 (1988)","DOI":"10.1145\/68210.69225"},{"issue":"4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst.\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR5","unstructured":"NASA Advanced Supercomputing Divsion. Nas parallel benchmarks, http:\/\/www.nas.nasa.gov\/Software\/NPB\/"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Duesterwald, E., Soffa, M.L.: Concurrency analysis in the presence of procedures using a dataflow framework. In: TAV4: Proceedings of the Symposium on Testing, Analysis, and Verification, pp. 36\u201348 (1991)","DOI":"10.1145\/120807.120811"},{"key":"7_CR7","unstructured":"Jeremiassen, T., Eggers, S.: Static analysis of barrier synchronization in explicitly parallel systems. In: Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT), Montreal, Canada (1994)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Kamil, A.A., Yelick, K.A.: Concurrency analysis for parallel programs with textually aligned barriers. Technical Report UCB\/EECS-2006-41, EECS Department, University of California, Berkeley (April 2006)","DOI":"10.1007\/978-3-540-69330-7_13"},{"issue":"9","key":"7_CR9","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"28","author":"L. Lamport","year":"1979","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Computers\u00a028(9), 690\u2013691 (1979)","journal-title":"IEEE Trans. Computers"},{"key":"7_CR10","unstructured":"Lin, Y.: Static nonconcurrency analysis of openmp programs. In: First International Workshop on OpenMP (2005)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Masticola, S.P., Ryder, B.G.: Non-concurrency analysis. In: PPOPP 1993: Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 129\u2013138 (1993)","DOI":"10.1145\/155332.155346"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/567532.567556","volume-title":"POPL 1981: Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"E.M. Myers","year":"1981","unstructured":"Myers, E.M.: A precise inter-procedural data flow algorithm. In: POPL 1981: Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 219\u2013230. ACM Press, New York (1981)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Naumovich, G., Avrunin, G.S., Clarke, L.A.: An efficient algorithm for computing mhp information for concurrent java programs. In: ESEC\/FSE- 7: Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 338\u2013354 (1999)","DOI":"10.1007\/3-540-48166-4_21"},{"key":"7_CR14","unstructured":"Omni OpenMP Compiler Project. Omni OpenMP Compiler, http:\/\/phase.hpcc.jp\/Omni\/home.html"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1145\/349214.349241","volume":"22","author":"G. Ramalingam","year":"2000","unstructured":"Ramalingam, G.: Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming languages and Systems (TOPLAS)\u00a022(2), 416\u2013430 (2000)","journal-title":"ACM Transactions on Programming languages and Systems (TOPLAS)"},{"key":"7_CR16","unstructured":"Sreedhar, V., Zhang, Y., Gao, G.: A new framework for analysis and optimization of shared memory parallel programs. Technical Report CAPSL- TM-063, University of Delaware, Newark, DE (2005)"},{"key":"7_CR17","unstructured":"Standard Performance Evaluation Corporation. SPEC OMP (OpenMP benchmark suite), http:\/\/www.spec.org\/omp\/"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Taylor, R.N.: Complexity of analyzing the synchronization structure of concurrent programs (1983)","DOI":"10.1007\/BF00263928"},{"key":"7_CR19","volume-title":"ACM 1998 Workshop on Java for High-Performance Network Computing","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. In: ACM (ed.) ACM 1998 Workshop on Java for High-Performance Network Computing. ACM Press, New York (1998)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Duesterwald, E.: Barrier matching for programs with textu- ally unaligned barriers. In: PPoPP 2007: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 194\u2013204 (2007)","DOI":"10.1145\/1229428.1229472"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85261-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:23:44Z","timestamp":1606184624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85261-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852605","9783540852612"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85261-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}