{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T10:10:01Z","timestamp":1737627001376,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403258"},{"type":"electronic","value":"9783540448983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_15","type":"book-chapter","created":{"date-parts":[[2007,11,11]],"date-time":"2007-11-11T03:21:25Z","timestamp":1194751285000},"page":"273-294","source":"Crossref","is-referenced-by-count":0,"title":["Type Systems for Distributed Data Sharing"],"prefix":"10.1007","author":[{"given":"Ben","family":"Liblit","sequence":"first","affiliation":[]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[]},{"given":"Katherine","family":"Yelick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"A. Agarwal, R. Bianchini, D. Chaiken, K. Johnson, D. Kranz, J. Kubiatowicz, B.-H. Lim, K. Mackenzie, and D. Yeung. The MIT Alewife machine: Architecture and performance. In Proc. of the 22nd Annual Int\u2019l Symp. on Computer Architecture (ISCA\u201995), pages 2\u201313, June 1995.","DOI":"10.1145\/223982.223985"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken and D. Gay. Barrier inference. In Conference Record of POPL\u201998: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 342\u2013354, San Diego, California, January 19\u201321, 1998.","DOI":"10.1145\/268946.268974"},{"key":"15_CR3","unstructured":"J. Aldrich, E. G. Sirer, C. Chambers, and S. J. Eggers. Comprehensive synchronization elimination for Java. Science of Computer Programming, to appear. Also published as University of Washington Technical Report UW-CSE-00-10-01, October 2000."},{"key":"15_CR4","unstructured":"G. T. Balls. 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."},{"issue":"1","key":"15_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/0021-9991(89)90035-1","volume":"82","author":"M. Berger","year":"1989","unstructured":"M. Berger and P. Colella. Local adaptive mesh refinement for shock hydrodynamics. Journal of Computational Physics, 82(1):64\u201384, May 1989. Lawrence Livermore Laboratory Report No. UCRL-97196.","journal-title":"Journal of Computational Physics"},{"issue":"10","key":"15_CR6","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/320384.320387","volume":"34","author":"B. Blanchet","year":"1999","unstructured":"B. Blanchet. Escape analysis for object oriented languages. Application to Java. In OOPSLA [27], pages 20\u201334.","journal-title":"OOPSLA\u201999 ACM Conference on Object-Oriented Systems, Languages and Applications"},{"issue":"10","key":"15_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/320384.320388","volume":"34","author":"J. Bogda","year":"1999","unstructured":"J. Bogda and U. H\u00f6lzle. Removing unnecessary synchronization in Java. In OOPSLA [27], pages 35\u201346.","journal-title":"OOPSLA\u201999 ACM Conference on Object-Oriented Systems, Languages and Applications"},{"key":"15_CR8","unstructured":"E. D. Brooks, III. PCP: A parallel extension of C that is 99% fat free. Technical Report UCRL-99673, Lawrence Livermore National Laboratory, Sept. 1988."},{"key":"15_CR9","unstructured":"M. C. Carlisle. Olden: Parallelizing Programs with Dynamic Data Structures on Distributed-Memory Machines. PhD thesis, Department of Computer Science, Princeton University, June 1996."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"W. W. Carlson and J. M. Draper. Distributed data access in AC. In Proc. 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP\u201995, pages 39\u201347, Santa Barbara, California, July 1995. IDA Supercomputing Research Center.","DOI":"10.1145\/209936.209942"},{"key":"15_CR11","unstructured":"W. W. Carlson, J. M. Draper, D. E. Culler, K. Yelick, E. Brooks, and K. Warren. Introduction to UPC and language specification. Technical Report CCS-TR-99-157, IDA Center for Computing Sciences, May 13 1999."},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-57502-2_44","volume":"757","author":"K. M. Chandy","year":"1993","unstructured":"K. M. Chandy and C. Kesselman. Compositional C++: Compositional parallel programming. Lecture Notes in Computer Science, 757:124\u2013144, 1993.","journal-title":"Lecture Notes in Computer Science"},{"issue":"10","key":"15_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/320384.320386","volume":"34","author":"J.-D. Choi","year":"1999","unstructured":"J.-D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff. Escape analysis for Java. In OOPSLA [27], pages 1\u201319.","journal-title":"OOPSLA\u201999 ACM Conference on Object-Oriented Systems, Languages and Applications"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"D. E. Culler, A. Dusseau, S. C. Goldstein, A. Krishnamurthy, S. Lumetta, T. von Eicken, and K. Yelick. Parallel programming in Split-C. In IEEE, editor, Proceedings, Supercomputing\u2019 93: Portland, Oregon, November 15\u201319, 1993, pages 262\u2013273, 1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA, 1993. IEEE Computer Society Press.","DOI":"10.1145\/169627.169724"},{"key":"15_CR15","unstructured":"J. Foster. cqual. Available at <http:\/\/bane.cs.berkeley.edu\/cqual>, Nov. 2001."},{"issue":"5","key":"15_CR16","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1145\/301618.301665","volume":"34","author":"J. S. Foster","year":"1999","unstructured":"J. S. Foster, M. F\u00e4hndrich, and A. Aiken. A theory of type qualifiers. In Proceedings of the ACM SIGPLAN\u2019 99 Conference on Programming Language Design and Implementation, pages 192\u2013203, Atlanta, Georgia, May 1\u20134, 1999. SIGPLAN Notices, 34(5), May 1999.","journal-title":"Proceedings of the ACM SIGPLAN\u2019 99 Conference on Programming Language Design and Implementation"},{"issue":"12","key":"15_CR17","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/127695.122766","volume":"26","author":"D. P. Helmbold","year":"1991","unstructured":"D. P. Helmbold and C. E. McDowell. Computing reachable states of parallel programs. ACM SIGPLAN Notices, 26(12):76\u201384, Dec. 1991.","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"15_CR18","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF02699905","volume":"25","author":"L. J. Hendren","year":"1997","unstructured":"L. J. Hendren, X. Tang, Y. Zhu, S. Ghobrial, G. R. Gao, X. Xue, H. Cai, and P. Ouellet. Compiling C for the EARTH multithreaded architecture. International Journal of Parallel Programming, 25(4):305\u2013338, Aug. 1997.","journal-title":"International Journal of Parallel Programming"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"F. Henglein and J. Rehof. The complexity of subtype entailment for simple types. In Proceedings, Twelth Annual IEEE Symposium on Logic in Computer Science, pages 352\u2013361, Warsaw, Poland, 29 June\u20132 July 1997. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1997.614961"},{"key":"15_CR20","unstructured":"P. N. Hilfinger, D. Bonachea, D. Gay, S. Graham, B. Liblit, and K. Yelick. Titanium language reference manual. Technical Report CSD-01-1163, University of California, Berkeley, Nov. 2001."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"B. Liblit and A. Aiken. Type systems for distributed data structures. In Conference Record of POPL\u201900: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 199\u2013213, Boston, Massachusetts, January 19\u201321, 2000.","DOI":"10.1145\/325694.325717"},{"key":"15_CR22","unstructured":"B. Liblit and A. Aiken. Type systems for distributed data structures. Technical Report CSD-99-1072, University of California, Berkeley, Jan. 2000. Available at <http:\/\/sunsite.berkeley.edu\/TechRepPages\/CSD-99-1072>."},{"key":"15_CR23","unstructured":"B. Liblit, A. Aiken, and K. Yelick. Data sharing analysis for Titanium. Technical Report CSD-01-1165, University of California, Berkeley, Nov. 2001. Available at <http:\/\/sunsite.berkeley.edu\/TechRepPages\/CSD-01-1165>."},{"issue":"12","key":"15_CR24","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1145\/174267.171370","volume":"28","author":"J. Mellor-Crummey","year":"1993","unstructured":"J. Mellor-Crummey. Compile-time support for efficient data race detection in shared-memory parallel programs. ACM SIGPLAN Notices, 28(12):129\u2013139, Dec. 1993.","journal-title":"ACM SIGPLAN Notices"},{"key":"15_CR25","first-page":"II-105","volume":"II","author":"S. P. Midkiff","year":"1990","unstructured":"S. P. Midkiff and D. A. Padua. Issues in the optimization of parallel programs. In Proceedings of the 1990 International Conference on Parallel Processing, volume II, Software, pages II-105\u2013II-113, University Park, Penn, Aug. 1990. Penn State U. Press. CSRD TR#993, U. Ill.","journal-title":"Proceedings of the 1990 International Conference on Parallel Processing"},{"key":"15_CR26","unstructured":"Myricom Inc. The GM Message Passing System, July 18 2000. Version 1.1."},{"issue":"10","key":"15_CR27","volume":"34","year":"1999","unstructured":"OOPSLA\u201999 ACM Conference on Object-Oriented Systems, Languages and Applications, volume 34(10) of ACM SIGPLAN Notices, Denver, CO, Oct. 1999. ACM Press.","journal-title":"OOPSLA\u201999 ACM Conference on Object-Oriented Systems, Languages and Applications"},{"issue":"2","key":"15_CR28","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1016\/0021-9991(89)90213-1","volume":"81","author":"C. S. Peskin","year":"1989","unstructured":"C. S. Peskin and D. M. McQueen. A three-dimensional computational method for blood flow in the heart. I. Immersed elastic fibers in a viscous incompressible fluid. Journal of Computational Physics, 81(2):372\u2013405, Apr. 1989.","journal-title":"Journal of Computational Physics"},{"key":"15_CR29","unstructured":"G. Pike, L. Semenzato, P. Colella, and P. N. Hilfinger. Parallel 3D adaptive mesh refinement in Titanium. In Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, San Antonio, Texas, Mar. 1999."},{"key":"15_CR30","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of International Workshop on Memory Management","author":"D. Plainfoss\u00e9","year":"1995","unstructured":"D. Plainfoss\u00e9 and M. Shapiro. A survey of distributed garbage collection techniques. In H. Baker, editor, Proceedings of International Workshop on Memory Management, volume 986 of Lecture Notes in Computer Science, ILOG, Gentilly, France, and INRIA, Le Chesnay, France, Sept. 1995. Springer-Verlag."},{"issue":"3","key":"15_CR31","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1145\/291889.291893","volume":"20","author":"M. C. Rinard","year":"1998","unstructured":"M. C. Rinard and M. S. Lam. The design, implementation, and evaluation of Jade. ACM Transactions on Programming Languages and Systems, 20(3):483\u2013545, May 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"15_CR32","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391\u2013411, Nov. 1997.","journal-title":"ACM Transactions on Computer Systems"},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"B. Steensgaard. Thread-specific heaps for multi-threaded programs. In T. Hosking, editor, ISMM 2000 Proceedings of the Second International Symposium on Memory Management, volume 36(1) of ACM SIGPLAN Notices, Minneapolis, MN, Oct. 2000. ACM Press.","DOI":"10.1145\/362422.362432"},{"key":"15_CR34","unstructured":"Supercomputing Technologies Group, MIT Laboratory for Computer Science. Cilk 5.3.1 Reference Manual, June 24 2000."},{"issue":"10","key":"15_CR35","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/320384.320400","volume":"34","author":"J. Whaley","year":"1999","unstructured":"J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In OOPSLA [27], pages 187\u2013206.","journal-title":"OOPSLA\u201999 ACM Conference on Object-Oriented Systems, Languages and Applications"},{"issue":"2","key":"15_CR36","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/71.752778","volume":"10","author":"Y. Zhu","year":"1999","unstructured":"Y. Zhu and L. Hendren. Locality analysis for parallel C programs. IEEE Transactions on Parallel and Distributed Systems, 10(2):99\u2013114, Feb. 1999.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"5","key":"15_CR37","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/277652.277723","volume":"33","author":"Y. Zhu","year":"1998","unstructured":"Y. Zhu and L. J. Hendren. Communication optimizations for parallel C programs. ACM SIGPLAN Notices, 33(5):199\u2013211, May 1998.","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44898-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T06:26:54Z","timestamp":1737527214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}