{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:48:50Z","timestamp":1775868530809,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254119","type":"print"},{"value":"9783540319856","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11406921_22","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:53:19Z","timestamp":1278874399000},"page":"287-304","source":"Crossref","is-referenced-by-count":30,"title":["Using Inter-Procedural Side-Effect Information in JIT Optimizations"],"prefix":"10.1007","author":[{"given":"Anatole","family":"Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"SPEC JVM98 benchmarks, \n                    \n                      http:\/\/www.spec.org\/osg\/jvm98\/"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1147\/sj.391.0211","volume":"39","author":"B. Alpern","year":"2000","unstructured":"Alpern, B., Attanasio, C.R., Barton, J.J., Burke, M.G., Cheng, P., Choi, J.-D., Cocchi, A., Fink, S.J., Grove, D., Hind, M., Hummel, S.F., Lieber, D., Litvinov, V., Mergen, M.F., Ngo, T., Russell, J.R., Sarkar, V., Serrano, M.J., Shepherd, J.C., Smith, S.E., Sreedhar, V.C., Srinivasan, H., Whaley, J.: The Jalape\u00f1o virtual machine. IBM Syst. J.\u00a039(1), 211\u2013238 (2000)","journal-title":"IBM Syst. J."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Proceedings of POPL 1988, pp. 1\u201311 (1988)","DOI":"10.1145\/73560.73561"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Burke, M., Carini, P.: Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In: Proceedings of POPL 1993, pp. 232\u2013245 (1993)","DOI":"10.1145\/158511.158639"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-24723-4_3","volume-title":"Compiler Construction","author":"R.A. Chowdhury","year":"2004","unstructured":"Chowdhury, R.A., Djeu, P., Cahoon, B., Burrill, J.H., McKinley, K.S.: The limits of alias analysis for scalar optimizations. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 24\u201338. Springer, Heidelberg (2004)"},{"issue":"11","key":"22_CR6","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1031::AID-CPE354>3.0.CO;2-O","volume":"9","author":"L.R. Clausen","year":"1997","unstructured":"Clausen, L.R.: A Java bytecode optimizer using side-effect analysis. Concurrency: Practice and Experience\u00a09(11), 1031\u20131045 (1997)","journal-title":"Concurrency: Practice and Experience"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Click, C.: Global code motion\/global value numbering. In: Proceedings of PLDI 1995, pp. 246\u2013257 (1995)","DOI":"10.1145\/207110.207154"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Diwan, A., McKinley, K.S., Moss, J.E.B.: Type-based alias analysis. In: Proceedings of PLDI 1998, pp. 106\u2013117 (1998)","DOI":"10.1145\/277650.277670"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Fink, S.J., Knobe, K., Sarkar, V.: Unified analysis of array and object references in strongly typed languages. In: Static Analysis Symposium, pp. 155\u2013174 (2000)","DOI":"10.1007\/978-3-540-45099-3_9"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Ghiya, R., Hendren, L.J.: Putting pointer analysis to work. In: Proceedings of POPL 1998, pp. 121\u2013133 (1998)","DOI":"10.1145\/268946.268957"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Ghiya, R., Lavery, D., Sehr, D.: On the importance of points-to analysis and other memory disambiguation methods for C programs. In: Proceedings of PLDI 2001, pp. 47\u201358 (2001)","DOI":"10.1145\/378795.378806"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Hind, M., Pioli, A.: Which pointer analysis should I use? In: Proceedings of ISSTA 2000, pp. 113\u2013123 (2000)","DOI":"10.1145\/347324.348916"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Landi, W., Ryder, B.G., Zhang, S.: Interprocedural modification side effect analysis with pointer aliasing. In: Proceedings of PLDI 1993, pp. 56\u201367 (1993)","DOI":"10.1145\/155090.155096"},{"key":"22_CR15","unstructured":"Lhot\u00e1k, O.: Spark: A flexible points-to analysis framework for Java. Master\u2019s thesis, McGill University (December 2002)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O. Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling Java points-to analysis using Spark. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"key":"22_CR17","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":"22_CR18","doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to and side-effect analyses for Java. In: Proceedings of ISSTA 2002, pp. 1\u201311 (2002)","DOI":"10.1145\/566172.566174"},{"key":"22_CR19","unstructured":"Olivar, G.: Fast points-to and side-effect analysis for the McCAT C compiler. M.Sc. project, McGill University (April 1997), \n                    \n                      http:\/\/citeseer.ist.psu.edu\/350797.html"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Pechtchanski, I., Sarkar, V.: Immutability specification and its applications. In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande, pp. 202\u2013211 (2002)","DOI":"10.1145\/583810.583833"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-45306-7_23","volume-title":"Compiler Construction","author":"P. Pominville","year":"2001","unstructured":"Pominville, P., Qian, F., Vall\u00e9e-Rai, R., Hendren, L., Verbrugge, C.: A framework for optimizing Java using attributes. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 334\u2013354. Springer, Heidelberg (2001)"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-31985-6_20","volume-title":"Compiler Construction","author":"F. Qian","year":"2005","unstructured":"Qian, F., Hendren, L.: A study of type analysis for speculative method inlining in a JIT environment. In: Bodik, R. (ed.) CC 2005. LNCS, vol.\u00a03443, pp. 255\u2013270. Springer, Heidelberg (2005)"},{"key":"22_CR23","unstructured":"Qian, F., Hendren, L.J.: Towards dynamic interprocedural analysis in jvms. In: Virtual Machine Research and Technology Symposium, pp. 139\u2013150 (2004)"},{"key":"22_CR24","unstructured":"Razafimahefa, C.: A study of side-effect analyses for Java. Master\u2019s thesis, McGill University (December 1999)"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Points-to analysis for Java using annotated constraints. In: Proceedings of OOPSLA 2001, pp. 43\u201355 (2001)","DOI":"10.1145\/504282.504286"},{"key":"22_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-45306-7_3","volume-title":"Compiler Construction","author":"A. Rountev","year":"2001","unstructured":"Rountev, A., Ryder, B.G.: Points-to and side-effect analyses for programs built with precompiled libraries. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol.\u00a02027, pp. 20\u201336. Springer, Heidelberg (2001)"},{"issue":"2","key":"22_CR27","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/383043.381532","volume":"23","author":"B.G. Ryder","year":"2001","unstructured":"Ryder, B.G., Landi, W.A., Stocks, P.A., Zhang, S., Altucher, R.: A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Transactions on Programming Languages and Systems\u00a023(2), 105\u2013186 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Stocks, P.A., Ryder, B.G., Landi, W.A., Zhang, S.: Comparing flow and context sensitivity on the modification-side-effects problem. In: Proceedings of ISSTA 1998, pp. 21\u201331 (1998)","DOI":"10.1145\/271771.271782"},{"key":"22_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-46423-9_2","volume-title":"Compiler Construction","author":"R. Vall\u00e9e-Rai","year":"2000","unstructured":"Vall\u00e9e-Rai, R., Gagnon, E., Hendren, L.J., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java bytecode using the Soot framework: is it feasible? In: Watt, D.A. (ed.) CC 2000. LNCS, vol.\u00a01781, pp. 18\u201334. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11406921_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:59Z","timestamp":1605642659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11406921_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11406921_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}