{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:35:57Z","timestamp":1725489357378},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540740605"},{"type":"electronic","value":"9783540740612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74061-2_18","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T15:39:13Z","timestamp":1187710753000},"page":"281-297","source":"Crossref","is-referenced-by-count":6,"title":["Hierarchical Pointer Analysis for Distributed Programs"],"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":"18_CR1","unstructured":"Allen, E., Chase, D., Luchangco, V., Maessen, J.-W., Ryu, S., G.\u00a0L.\u00a0S. Jr., Tobin-Hochstadt, S.: The Fortress Language Specification, Version 0.866. Sun Microsystem Inc. (February 2006)"},{"key":"18_CR2","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (May 1994)"},{"key":"18_CR3","unstructured":"Applied Numerical Algorithms Group (ANAG). Chombo, http:\/\/seesar.lbl.gov\/ANAG\/software.html"},{"issue":"3","key":"18_CR4","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 (1991)","journal-title":"The International Journal of Supercomputer Applications"},{"issue":"1","key":"18_CR5","doi-asserted-by":"crossref","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 82(1), 64\u201384 (1989) (Lawrence Livermore Laboratory Report No. UCRL-97196)","journal-title":"Journal of Computational Physics"},{"key":"18_CR6","unstructured":"Bonachea, D.: GASNet specification, v1.1. Technical Report UCB\/CSD-02-1207, University of California, Berkeley (November 2002)"},{"key":"18_CR7","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":"18_CR8","unstructured":"Cray Inc. Chapel Specification 0.4 (February 2005)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2006)"},{"key":"18_CR10","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 2nd edn. Addison-Wesley, London, UK (2000)","edition":"2"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/165180.165194","volume-title":"FPCA 1993","author":"J. Hicks","year":"1993","unstructured":"Hicks, J.: Experiences with compiler-directed storage reclamation. In: FPCA 1993. Proceedings of the conference on Functional programming languages and computer architecture, pp. 95\u2013105. ACM Press, New York, USA (1993)"},{"key":"18_CR12","unstructured":"Hilfinger, P.N., Bonachea, D., Gay, D., Graham, S., Liblit, B., Pike, G., Yelick, K.: Titanium language reference manual. Technical Report UCB\/CSD-04-1163-x, University of California, Berkeley (September 2004)"},{"key":"18_CR13","unstructured":"Kamil, A.: Analysis of Partitioned Global Address Space Programs. Master\u2019s thesis, University of California, Berkeley (December 2006)"},{"key":"18_CR14","unstructured":"Kamil, A., Su., J., Yelick, K.: Making sequential consistency practical in Titanium. In: Supercomputing 2005 (November 2005)"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Kamil, A., Yelick, K.: Concurrency analysis for parallel programs with textually aligned barriers. In: Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing (October 2005)","DOI":"10.1007\/978-3-540-69330-7_13"},{"key":"18_CR16","volume-title":"Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"B. Liblit","year":"2000","unstructured":"Liblit, B., Aiken, A.: Type systems for distributed data structures. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2000, ACM Press, New York (2000)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Yelick, K.: Type systems for distributed data sharing. In: International Static Analysis Symposium, San Diego, California (June 2003)","DOI":"10.1007\/3-540-44898-5_15"},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-46423-9_14","volume-title":"Compiler Construction","author":"Y. Lin","year":"2000","unstructured":"Lin, Y., Padua, D.A.: Analysis of irregular single-indexed array accesses and its applications in compiler optimizations. In: Watt, D.A. (ed.) CC 2000 and ETAPS 2000. LNCS, vol.\u00a01781, pp. 202\u2013218. Springer, Heidelberg (2000)"},{"key":"18_CR19","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/158511.158515","volume-title":"POPL 1993","author":"D.E. Maydan","year":"1993","unstructured":"Maydan, D.E., Amarasinghe, S.P., Lam, M.S.: Array-data flow analysis and its use in array privatization. In: POPL 1993. Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, New York, NY, USA, pp. 2\u201315. ACM Press, New York, NY, USA (1993)"},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/3-540-57502-2_63","volume-title":"Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing","author":"D.E. Maydan","year":"1993","unstructured":"Maydan, D.E., Amarsinghe, S., Lam, M.S.: Data dependence and data-flow analysis of arrays. In: Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing, London, UK, pp. 434\u2013448. Springer, Heidelberg (1993)"},{"issue":"1","key":"18_CR21","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."},{"issue":"1","key":"18_CR22","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/509705.509708","volume":"24","author":"Y. Paek","year":"2002","unstructured":"Paek, Y., Hoeflinger, J., Padua, D.: Efficient and precise array access analysis. ACM Trans. Program. Lang. Syst.\u00a024(1), 65\u2013109 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/301618.301645","volume-title":"PLDI 1999","author":"R. Rugina","year":"1999","unstructured":"Rugina, R., Rinard, M.: Pointer analysis for multithreaded programs. In: PLDI 1999. Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pp. 77\u201390. ACM Press, New York, USA (1999)"},{"key":"18_CR24","unstructured":"Saraswat, V.: Report on the Experimental Language X10, Version 0.41. IBM Research (February 2006)"},{"key":"18_CR25","unstructured":"Silicon Graphics. CF90 co-array programming manual. Technical Report SR-3908 3.1, Cray Computer (1994)"},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"The UPC Consortium. UPC Language Specifications, Version 1.2 (May 2005)","DOI":"10.2172\/862127"},{"key":"18_CR27","unstructured":"Wen, T., Colella, P.: Adaptive mesh refinement in titanium. In: IPDPS. Proceedings of the 19th International Parallel and Distributed Processing Symposium (2005)"},{"key":"18_CR28","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":"18_CR29","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/277650.277723","volume-title":"PLDI 1998","author":"Y. Zhu","year":"1998","unstructured":"Zhu, Y., Hendren, L.J.: Communication optimizations for parallel C programs. In: PLDI 1998. Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, New York, NY, USA, pp. 199\u2013211. ACM Press, New York, USA (1998)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74061-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:09:54Z","timestamp":1619518194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74061-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540740605","9783540740612"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74061-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}