{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:19Z","timestamp":1772163919867,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T00:00:00Z","timestamp":1129075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,10,12]]},"DOI":"10.1145\/1094811.1094837","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"327-343","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Runtime specialization with optimistic heap analysis"],"prefix":"10.1145","author":[{"given":"Ajeet","family":"Shankar","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"S. Subramanya","family":"Sastry","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}]},{"given":"Rastislav","family":"Bod\u00edk","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"James E.","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Wisconsin, Madison"}]}],"member":"320","published-online":{"date-parts":[[2005,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/360018.360025"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353175"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582432"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378832"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680033"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231409"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349303"},{"key":"e_1_3_2_1_10_1","volume-title":"An infrastructure for adaptive dynamic optimization","author":"Bruening D.","year":"2003","unstructured":"D. Bruening , T. Garnett , and S. Amarasinghe . An infrastructure for adaptive dynamic optimization , 2003 .]] D. Bruening, T. Garnett, and S. Amarasinghe. An infrastructure for adaptive dynamic optimization, 2003.]]"},{"key":"e_1_3_2_1_11_1","article-title":"Value profiling","author":"Calder B.","year":"1999","unstructured":"B. Calder , P. Feller , and A. Eustace . Value profiling . Journal of Instruction Level Parallelism , March 1999 .]] B. Calder, P. Feller, and A. Eustace. Value profiling. Journal of Instruction Level Parallelism, March 1999.]]","journal-title":"Journal of Instruction Level Parallelism"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117955"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-61580-6_4","volume-title":"Partial Evaluation. International Seminar.","author":"Consel Charles","year":"1996","unstructured":"Charles Consel , Luke Hornof , Fran\u00e7ois No\u00ebl , Jacques Noy\u00e9 , and Nicolae Volanschi . A uniform approach for compile-time and run-time specialization . In Partial Evaluation. International Seminar. , pages 54 -- 72 , Dagstuhl Castle, Germany , 12-16 February 1996 . Springer-Verlag , Berlin, Germany.]] Charles Consel, Luke Hornof, Fran\u00e7ois No\u00ebl, Jacques Noy\u00e9, and Nicolae Volanschi. A uniform approach for compile-time and run-time specialization. In Partial Evaluation. International Seminar., pages 54--72, Dagstuhl Castle, Germany, 12-16 February 1996. Springer-Verlag, Berlin, Germany.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237767"},{"key":"e_1_3_2_1_15_1","volume-title":"Zilles and Gurinder Sohi. A Programmable Co-processor for Profiling. In Proceedings of the 7th International Symposium on High Performance Computer Architecture (HPCA-7)","author":"Craig","year":"2001","unstructured":"Craig Zilles and Gurinder Sohi. A Programmable Co-processor for Profiling. In Proceedings of the 7th International Symposium on High Performance Computer Architecture (HPCA-7) , January 2001 .]] Craig Zilles and Gurinder Sohi. A Programmable Co-processor for Profiling. In Proceedings of the 7th International Symposium on High Performance Computer Architecture (HPCA-7), January 2001.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776263"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237765"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776288"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/258993.259016"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/365151.367161"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301683"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581377"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/362422.362466"},{"key":"e_1_3_2_1_26_1","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones Neil D.","year":"1993","unstructured":"Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . Partial Evaluation and Automatic Program Generation . Prentice Hall International , International Series in Computer Science, June 1993 . ISBN number 0-13-020249-5 (pbk).]] Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993. ISBN number 0-13-020249-5 (pbk).]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Partial evaluation and automatic program generation","author":"Jones Neil D.","year":"1993","unstructured":"Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . Partial evaluation and automatic program generation . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1993 .]] Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231428"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/173262.155096"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231407"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/360128.360133"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379236"},{"key":"e_1_3_2_1_34_1","volume-title":"The Java HotSpot (tm) Perfomance Engine: An In-Depth Look. Article on Sun's Java Developer Connection site","author":"Meloan Steve","year":"1999","unstructured":"Steve Meloan . The Java HotSpot (tm) Perfomance Engine: An In-Depth Look. Article on Sun's Java Developer Connection site , 1999 .]] Steve Meloan. The Java HotSpot (tm) Perfomance Engine: An In-Depth Look. Article on Sun's Java Developer Connection site, 1999.]]"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/360128.360158"},{"key":"e_1_3_2_1_36_1","first-page":"340","volume-title":"Saumya Debray. Code Specialization Based on Value Profiles. In Proceedings of the 7th International Static Analysis Symposium (SAS","volume":"1824","author":"Muth Robert","year":"2000","unstructured":"Robert Muth , Scott Watterson , and Saumya Debray. Code Specialization Based on Value Profiles. In Proceedings of the 7th International Static Analysis Symposium (SAS 2000 ), pages 340 -- 359 . Springer LNCS vol. 1824 , June 2000.]] Robert Muth, Scott Watterson, and Saumya Debray. Code Specialization Based on Value Profiles. In Proceedings of the 7th International Static Analysis Symposium (SAS 2000), pages 340--359. Springer LNCS vol. 1824, June 2000.]]"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224080"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231433"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/379240.379273"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786979"},{"key":"e_1_3_2_1_44_1","first-page":"367","volume-title":"Proceedings ECOOP'99","author":"Schultz Ulrik","year":"1999","unstructured":"Ulrik Schultz , Julia Lawall , Charles Consel , and Gilles Muller . Towards automatic specialization of Java programs. In R. Guerraoui, editor , Proceedings ECOOP'99 , LCNS 1628, pages 367 -- 390 , Lisbon, Portugal , June 1999 . Springer-Verlag.]] Ulrik Schultz, Julia Lawall, Charles Consel, and Gilles Muller. Towards automatic specialization of Java programs. In R. Guerraoui, editor, Proceedings ECOOP'99, LCNS 1628, pages 367--390, Lisbon, Portugal, June 1999. Springer-Verlag.]]"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504296"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/858570.858576"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322273"},{"key":"e_1_3_2_1_48_1","volume-title":"A survey of program slicing techniques. Journal of programming languages, 3:121--189","author":"Tip F.","year":"1995","unstructured":"F. Tip . A survey of program slicing techniques. Journal of programming languages, 3:121--189 , 1995 .]] F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121--189, 1995.]]"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605429"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2005.7"},{"key":"e_1_3_2_1_51_1","volume-title":"Cost effective dynamic program slicing","author":"Zhang X.","year":"2004","unstructured":"X. Zhang and R. Gupta . Cost effective dynamic program slicing , 2004 .]] X. Zhang and R. Gupta. Cost effective dynamic program slicing, 2004.]]"},{"key":"e_1_3_2_1_52_1","first-page":"241","volume-title":"HPCA","author":"Craig","unstructured":"Craig B. Zilles and Gurindar S. Sohi. A programmable co-processor for profiling . In HPCA , pages 241 --, 2001.]] Craig B. Zilles and Gurindar S. Sohi. A programmable co-processor for profiling. In HPCA, pages 241--, 2001.]]"}],"event":{"name":"OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"San Diego CA USA","acronym":"OOPSLA05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094837","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1094811.1094837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:09Z","timestamp":1750248489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094837"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,12]]},"references-count":46,"alternative-id":["10.1145\/1094811.1094837","10.1145\/1094811"],"URL":"https:\/\/doi.org\/10.1145\/1094811.1094837","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1103845.1094837","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,12]]},"assertion":[{"value":"2005-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}