{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:52:41Z","timestamp":1755838361068},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319052144"},{"type":"electronic","value":"9783319052151"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05215-1_10","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T09:02:18Z","timestamp":1392886938000},"page":"134-148","source":"Crossref","is-referenced-by-count":4,"title":["Extending the OpenSHMEM Analyzer to Perform Synchronization and Multi-valued Analysis"],"prefix":"10.1007","author":[{"given":"Swaroop","family":"Pophale","sequence":"first","affiliation":[]},{"given":"Oscar","family":"Hernandez","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Poole","sequence":"additional","affiliation":[]},{"given":"Barbara M.","family":"Chapman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Oscar, H., Siddhartha, J., Pophale, S., Stephen, P., Kuehn, J., Barbara, C.: The OpenSHMEM Analyzer. In: Proceedings of the Sixth Conference on Partitioned Global Address Space Programming Model, PGAS 2012 (2012)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/69586.69587","volume":"26","author":"R.N. Taylor","year":"1983","unstructured":"Taylor, R.N.: A general-purpose algorithm for analyzing concurrent programs. Commun. ACM\u00a026, 361\u2013376 (1983)","journal-title":"Commun. ACM"},{"key":"10_CR3","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":"2008","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\/2006. LNCS, vol.\u00a04315, pp. 36\u201350. Springer, Heidelberg (2008)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/155332.155346","volume-title":"Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 1993","author":"S.P. Masticola","year":"1993","unstructured":"Masticola, S.P., Ryder, B.G.: Non-concurrency analysis. In: Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 1993, pp. 129\u2013138. ACM, New York (1993)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/231379.231409","volume-title":"Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, PLDI 1996","author":"J. Auslander","year":"1996","unstructured":"Auslander, J., Philipose, M., Chambers, C., Eggers, S.J., Bershad, B.N.: Fast, effective dynamic compilation. In: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, PLDI 1996, pp. 149\u2013159. ACM, New York (1996)"},{"key":"10_CR6","unstructured":"Swaroop, P., Oscar, H., Stephen, P., Barbara, C.: Static analyses for unaligned collective synchronization matching for OpenSHMEM. In: Proceedings of the Seventh Conference on Partitioned Global Address Space Programming Model, PGAS 2013 (2013)"},{"key":"10_CR7","first-page":"194","volume-title":"Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2007","author":"Y. Zhang","year":"2007","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)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/53990.53994","volume-title":"Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI 1988","author":"S. Horwitz","year":"1988","unstructured":"Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI 1988, pp. 35\u201346. ACM, New York (1988)"},{"key":"10_CR9","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 (2006)","DOI":"10.1007\/978-3-540-69330-7_13"},{"key":"10_CR10","unstructured":"OpenSHMEM.org: OpenSHMEM specification 1.0 (2011)"},{"key":"10_CR11","unstructured":"Chakrabarti, G., Chow, F.: Structure layout optimizations in the open64 compiler: Design, implementation and measurements (2008)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. Automata Studies (1956)","DOI":"10.1515\/9781400882618-002"},{"key":"10_CR13","unstructured":"Swaroop, P., Oscar, H., Stephen, P., Barbara, C.: Poster: Validation and verification suite for OpenSHMEM. In: Proceedings of the Seventh Conference on Partitioned Global Address Space Programming Model, PGAS 2013 (2013)"},{"key":"10_CR14","first-page":"342","volume-title":"Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1998","author":"A. Aiken","year":"1998","unstructured":"Aiken, A., Gay, D.: Barrier inference. In: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1998, pp. 342\u2013354. ACM, New York (1998)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Luigi, K.Y., 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, pp. 10\u201311. ACM (1998)","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<825::AID-CPE383>3.0.CO;2-H"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Markstrum, S.A., Fuhrer, R.M., Millstein, T.D.: Towards concurrency refactoring for x10. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2009, pp. 303\u2013304. ACM, New York (2009)","DOI":"10.1145\/1504176.1504226"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/2384616.2384621","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012","author":"S. Muller","year":"2012","unstructured":"Muller, S., Chong, S.: Towards a practical secure concurrent language. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012, pp. 57\u201374. ACM, New York (2012)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-73230-3_15","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"C. Kaiser","year":"2007","unstructured":"Kaiser, C., Pajault, C., Pradat-Peyre, J.-F.: Modelling remote concurrency with ada. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 192\u2013207. Springer, Heidelberg (2007)"},{"key":"10_CR19","volume-title":"Concurrency in Ada","author":"A. Burns","year":"1995","unstructured":"Burns, A., Wellings, A.: Concurrency in Ada. Cambridge University Press, New York (1995)"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/2048147.2048167","volume-title":"Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH 2011","author":"M. Vakilian","year":"2011","unstructured":"Vakilian, M., Negara, S., Tasharofi, S., Johnson, R.E.: Keshmesh: a tool for detecting and fixing java concurrency bug patterns. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, SPLASH 2011, pp. 39\u201340. ACM, New York (2011)"},{"key":"10_CR21","unstructured":"Magee, J., Kramer, J.: Concurrency: state models & Java programs. John Wiley & Sons, Inc., New York (1999)"}],"container-title":["Lecture Notes in Computer Science","OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05215-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,27]],"date-time":"2022-03-27T03:30:35Z","timestamp":1648351835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-05215-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319052144","9783319052151"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05215-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}