{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:38Z","timestamp":1725493238906},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418610"},{"type":"electronic","value":"9783540453062"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45306-7_23","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T22:55:18Z","timestamp":1193525718000},"page":"334-354","source":"Crossref","is-referenced-by-count":12,"title":["A Framework for Optimizing Java Using Attributes"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Pominville","sequence":"first","affiliation":[]},{"given":"Feng","family":"Qian","sequence":"additional","affiliation":[]},{"given":"Raja","family":"Vall\u00e9e-Rai","sequence":"additional","affiliation":[]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[]},{"given":"Clark","family":"Verbrugge","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Ana Azevedo, Joe Hummel, and Alex Nicolau. Java annotation-aware just-in-time (AJIT) compilation system. In Proceedings of the ACM 1999 Conference on Java Grande, pages 142\u2013151, June 1999.","DOI":"10.1145\/304065.304115"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"R. Bodik, R. Gupta, and V. Sarkar. ABCD: Eliminating Array Bounds Checks on Demand. In Proceedings of PLDI\u2019 00, pages 321\u2013333, June 2000.","DOI":"10.1145\/349299.349342"},{"issue":"6","key":"23_CR3","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1002\/(SICI)1096-9128(199706)9:6<427::AID-CPE300>3.0.CO;2-K","volume":"9","author":"M. Cierniak","year":"1997","unstructured":"M. Cierniak and W. Li. Optimizing Java bytecodes. Concurrency, Practice and Experience, 9(6):427\u2013444, 1997.","journal-title":"Concurrency, Practice and Experience"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Michal Cierniak, Guei-Yuan Lueh, and James M. Stichnoth. Practicing JUDO: Java under Dynamic Optimizations. In Proceedings of PLDI\u2019 00, pages 13\u201326, June 2000.","DOI":"10.1145\/349299.349306"},{"key":"23_CR5","unstructured":"Geoff A. Cohen, Jeffrey S. Chase, and David L. Kaminsky. Automatic program transformation with JOIE. In Proceedings of the USENIX 1998 Annual Technical Conference, pages 167\u2013178, Berkeley, USA, June 15\u201319 1998. USENIX Association."},{"key":"23_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-540-45099-3_11","volume-title":"Proceedings of SAS 2000","author":"E. M. Gagnon","year":"2000","unstructured":"Etienne M. Gagnon, Laurie J. Hendren, and Guillaume Marceau. Efficient inference of static types for Java bytecode. In Proceedings of SAS 2000, volume 1824 of LNCS, pages 199\u2013219, June 2000."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"S. Ghemawat, K.H. Randall, and D.J. Scales. Field Analysis: Getting Useful and Low-Cost Interprocedural Information. In Proceedings of PLDI\u2019 00, pages 334\u2013344, June 2000.","DOI":"10.1145\/349299.349343"},{"issue":"1\u20134","key":"23_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/176454.176507","volume":"2","author":"R. Gupta","year":"1993","unstructured":"R. Gupta. Optimizing array bound checks using flow analysis. ACM Letters on Programming Languages and Systems, 2(1\u20134):135\u2013150, 1993.","journal-title":"ACM Letters on Programming Languages and Systems,"},{"issue":"3","key":"23_CR9","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/TSE.1977.231133","volume":"3","author":"W. Harrison","year":"1977","unstructured":"W. Harrison. Compiler analysis of the value ranges of variables. IEEE Transactions on Software Engineering, 3(3):243\u2013250, 1977.","journal-title":"IEEE Transactions on Software Engineering,"},{"issue":"11","key":"23_CR10","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1003::AID-CPE346>3.0.CO;2-G","volume":"9","author":"J. Hummel","year":"1997","unstructured":"Joseph Hummel, Ana Azevedo, David Kolson, and Alexandru Nicolau. Annotating the Java bytecodes in support of optimization. Concurrency: Practice and Experience, 9(11):1003\u20131016, November 1997.","journal-title":"Concurrency: Practice and Experience"},{"key":"23_CR11","unstructured":"The Jasmin Bytecode Assembler. http:\/\/mrl.nyu.edu\/meyer\/jvm\/jasmin.html ."},{"key":"23_CR12","unstructured":"JavaClass. http:\/\/www.inf.fu-berlin.de\/dahm\/JavaClass\/ ."},{"issue":"6","key":"23_CR13","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":"Joel Jones and Samuel Kamin. Annotating Java class files with virtual registers for performance. Concurrency: Practice and Experience, 12(6):389\u2013406, 2000.","journal-title":"Concurrency: Practice and Experience"},{"key":"23_CR14","unstructured":"Compaq-JTrek. http:\/\/www.digital.com\/java\/download\/jtrek ."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Priyadarshan Kolte and Michael Wolfe. Elimination of redundant array subscript range checks. In Proceedings of PLDI\u2019 95, pages 270\u2013278, 1995.","DOI":"10.1145\/223428.207160"},{"key":"23_CR16","unstructured":"Han Bok Lee and Benjamin G. Zorn. A tool for instrumenting Java bytecodes. In The USENIX Symposium on Internet Technologies and Systems, pages 73\u201382, 1997."},{"key":"23_CR17","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, MA, USA, second edition, 1999.","edition":"second edition"},{"issue":"3","key":"23_CR18","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1147\/sj.373.0409","volume":"37","author":"S. Midkiff","year":"1998","unstructured":"S. Midkiff, J. Moreira, and M. Snir. Optimizing bounds checking in Java programs. IBM Systems Journal, 37(3):409\u2013453, August 1998.","journal-title":"IBM Systems Journal"},{"key":"23_CR19","unstructured":"J.E. Moreira, S.P. Midkiff, and M. Gupta. A Standard Java Array Package for Technical Computing. In Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, San Antonio, TX, March 1999."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"G. Necula. Proof-carrying code. In Proceedings of POPL\u2019 97, pages 106\u2013119, January 1997.","DOI":"10.1145\/263699.263712"},{"key":"23_CR21","unstructured":"Soot-a Java Optimization Framework. http:\/\/www.sable.mcgill.ca\/soot\/ ."},{"issue":"1","key":"23_CR22","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1147\/sj.391.0175","volume":"39","author":"T. Suganuma","year":"2000","unstructured":"T. Suganuma, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito, K. Ishizaki, H. Komatsu, and T. Nakatani. Overview of the IBM Java Just-in-Time Compiler. IBM Systems Journal, 39(1):175\u2013193, 2000.","journal-title":"IBM Systems Journal"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vall\u00e9e-Rai, Patrick Lam, and \u00c9tienne Gagnon. Practical virtual method call resolution for Java. In Proceedings OOPSLA 2000, pages 264\u2013280, October 2000.","DOI":"10.1145\/354222.353189"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Frank Tip, Chris Laffra, Peter F. Sweeney, and David Streeter. Practical experience with an application extractor for Java. In Proceedings OOPSLA\u2019 99, pages 292\u2013305, October 1999.","DOI":"10.1145\/320384.320414"},{"key":"23_CR25","unstructured":"Raja Vallee-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. Soot-a Java Bytecode Optimization Framework. In Proceedings of CASCON\u2019 99, pages 125\u2013135, 1999."},{"key":"23_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-46423-9_2","volume-title":"Proceedings of CC\u2019 00","author":"R. Vall\u00e9e-Rai","year":"2000","unstructured":"Raja Vall\u00e9e-Rai, Etienne Gagnon, Laurie Hendren, Patrick Lam, Patrice Pominville, and Vijay Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In Proceedings of CC\u2019 00, volume 1781 of LNCS, pages 18\u201334, March 2000."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45306-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:19:31Z","timestamp":1556936371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45306-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418610","9783540453062"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45306-7_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}