{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T15:44:55Z","timestamp":1770392695117,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540221593","type":"print"},{"value":"9783540248514","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_4","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:36:03Z","timestamp":1281299763000},"page":"75-95","source":"Crossref","is-referenced-by-count":6,"title":["Efficiently Verifiable Escape Analysis"],"prefix":"10.1007","author":[{"given":"Matthew Q.","family":"Beers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian H.","family":"Stork","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Franz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Krintz, C., Calder, B.: Using annotations to reduce dynamic optimization time. In: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, Snowbird, Utah, May 2001. SIGPLAN Notices, vol.\u00a036(5), pp. 156\u2013167 (2001)","DOI":"10.1145\/381694.378831"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Azevedo, A., Nicolau, A., Hummel, J.: Java annotation-aware just-in-time compilation system. In: ACM Java Grande Conference, pp. 142\u2013151 (1999)","DOI":"10.1145\/304065.304115"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/1096-9128(200005)12:6<389::AID-CPE481>3.0.CO;2-6","volume":"12","author":"J. Jones","year":"2000","unstructured":"Jones, J., Kamin, S.: Annotating Java class files with virtual registers for performance. Concurrency: Practice and Experience\u00a012, 389\u2013406 (2000)","journal-title":"Concurrency: Practice and Experience"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Pominville, P., Qian, F., Vallee-Rai, R., Hendren, L., Verbrugge, C.: A framework for optimizing Java using attributes. In: Sable Technical Report No. 2000-2 (2000)","DOI":"10.1007\/3-540-45306-7_23"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(00)00051-7","volume":"248","author":"B. Grant","year":"2000","unstructured":"Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S.J.: DyC: an expressive annotation-directed dynamic compiler for C. Theoretical Computer Science\u00a0248, 147\u2013199 (2000)","journal-title":"Theoretical Computer Science"},{"key":"4_CR6","volume-title":"Electronic Notes in Theoretical Computer Science","author":"F. Reig","year":"2001","unstructured":"Reig, F.: Annotations for portable intermediate languages. In: Benton, N., Kennedy, A. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a059, Elsevier Science Publishers, Amsterdam (2001)"},{"key":"4_CR7","unstructured":": Compositional pointer and escape analysis for Java programs. In: Proceedings of the 14th Annual ACM SIGPLAN Conference on Object- Oriented Programming Systems, Languages, and Applications, Denver, CO (1999)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Choi, J., Gupta, M., Serrano, M., Shreedhar, V., Midkiff, S.: Escape analysis for Java. In: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA (1999)","DOI":"10.1145\/320384.320386"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bogda, J., H\u00f6lzle, U.: Removing unnecessary synchronization in Java. In: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA (1999)","DOI":"10.1145\/320384.320388"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Gay, D., Steensgaard, B.: Fast escape analysis and stack allocation for object-based programs. In: Compiler Construction 2000, Berlin, Germany (2000)","DOI":"10.1007\/3-540-46423-9_6"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Hartmann, A., Amme, W., von Ronne, J., Franz, M.: Code annotation for safe and efficient dynamic object resolution. Electronic Notes in Theoretical Computer Science\u00a082 (2003)","DOI":"10.1016\/S1571-0661(05)82597-6"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/583810.583830","volume-title":"Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (JGI-02)","author":"O. Lhot\u00e1k","year":"2002","unstructured":"Lhot\u00e1k, O., Hendren, L.: Run-time evaluation of opportunities for object inlining in Java. In: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (JGI-02), pp. 175\u2013184. ACM Press, New York (2002)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-61739-6_48","volume-title":"Static Analysis","author":"J. Rehof","year":"1996","unstructured":"Rehof, J., Mogensen, T.\u00c6.: Tractable constraints in finite semi-lattices. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 285\u2013301. Springer, Heidelberg (1996)"},{"key":"4_CR14","unstructured":"Java Grande Forum: The Java Grande Forum benchmark suite (2003)"},{"key":"4_CR15","unstructured":"Standard Performance Evaluation Corporation: SPEC JVM98 benchmarks (1998), See online at http:\/\/www.spec.org\/osg\/jvm98 for more information"},{"key":"4_CR16","unstructured":"S\u0103lcianu, A.: Pointer analysis and it applications for Java programs. Master\u2019s thesis, Massachusetts Institute of Technology, Cambridge, MA (2001)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1002\/(SICI)1097-024X(200003)30:3<199::AID-SPE296>3.0.CO;2-2","volume":"30","author":"R. Fitzgerald","year":"2000","unstructured":"Fitzgerald, R., Knoblock, T.B., Ruf, E., Steensgaard, B., Tarditi, D.: Marmot: an optimizing compiler for Java. Software\u2014Practice and Experience\u00a030, 199\u2013232 (2000)","journal-title":"Software\u2014Practice and Experience"},{"key":"4_CR18","unstructured":"Hummel, S.F., Lieber, D., Ngo, T., Mergen, M., Shepherd, J.C., Smith, S.: Implementing Jalape\u00f1o in Java. In: Proceedings of the ACM SIGPLAN 1999 Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA (1999)"},{"key":"4_CR19","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"key":"4_CR20","first-page":"285","volume-title":"Conference Record of the Conference on Principles of Programming Languages, ACM SIGACT and SIGPLAN","author":"C. Ruggieri","year":"1988","unstructured":"Ruggieri, C., Murtagh, T.P.: Lifetime analysis of dynamically allocated objects. In: Conference Record of the Conference on Principles of Programming Languages, ACM SIGACT and SIGPLAN, pp. 285\u2013293. ACM Press, New York (1988)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Park, Y.G., Goldberg, B.: Escape analysis on lists. In: Proceedings of the 5th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 116\u2013127 (1992)","DOI":"10.1145\/143095.143125"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Deutsch, A.: On the complexity of escape analysis. In: Conference Record of POPL 1997: The 24TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM SIGACT and SIGPLAN, pp. 358\u2013371 (1997)","DOI":"10.1145\/263699.263750"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1145\/945885.945886","volume":"25","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B.: Escape Analysis for Java(TM). Theory and Practice. ACM Transactions on Programming Languages and Systems\u00a025, 713\u2013775 (2003)","journal-title":"Theory and Practice. ACM Transactions on Programming Languages and Systems"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL), Paris, France, pp. 106\u2013119 (1997)","DOI":"10.1145\/263699.263712"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Necula, G.C., Lee, P.: The design and implementation of a certifying compiler. In: Proceedings of the ACM SIGPLAN\u201998 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, May 1998. SIGPLAN Notices, vol.\u00a033(5), pp. 333\u2013344 (1998)","DOI":"10.1145\/277652.277752"},{"key":"4_CR26","unstructured":"Rinard, M.: Credible compilation. Technical Report MIT\/LCS\/TR-776, MIT (1999)"},{"key":"4_CR27","unstructured":"Rinard, M., Marinov, D.: Credible compilation with pointers. In: Proceedings of the FLoC Workshop on Run-Time Result Verification, Trento, Italy (1999)"},{"key":"4_CR28","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/358438.349314","volume":"35","author":"G.C. Necula","year":"2000","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. ACM SIGPLAN Notices\u00a035, 83\u201394 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR29","unstructured":"Franz, M., Krintz, C., Haldar, V., Stork, C.H.: Tamper-proof annotations, by design. Technical report, Department of Information and Computer Science, University of California, Irvine (2002)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:57:50Z","timestamp":1605761870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}