{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T08:43:15Z","timestamp":1787560995231,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"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":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192396","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"166-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["On-stack replacement, distilled"],"prefix":"10.1145","author":[{"given":"Daniele Cono","family":"D'Elia","sequence":"first","affiliation":[{"name":"Sapienza University of Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Camil","family":"Demetrescu","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231388"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349303"},{"key":"e_1_3_2_2_4_1","volume-title":"Camil Demetrescu, and Irene Finocchi.","author":"Baldoni Roberto","year":"2018","unstructured":"Roberto Baldoni , Emilio Coppa , Daniele Cono D'Elia , Camil Demetrescu, and Irene Finocchi. 2018 . A Survey of Symbolic Execution Techniques. ACM Comput. Surv . 51, 3 (2018). Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv. 51, 3 (2018)."},{"key":"e_1_3_2_2_5_1","first-page":"67","volume-title":"Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '14)","author":"Earl","unstructured":"Earl T. Barr and Mark Marron. 2014. TARDIS: Affordable Time-travel Debugging in Managed Runtimes . In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '14) . ACM, New York, NY, USA , 67 - 82 . Earl T. Barr and Mark Marron. 2014. TARDIS: Affordable Time-travel Debugging in Managed Runtimes. In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '14). ACM, New York, NY, USA, 67-82."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2021296.2021319"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869517"},{"key":"e_1_3_2_2_8_1","volume-title":"Loop Tiling in the Presence of Exceptions. In 29th European Conference on Object-Oriented Programming (ECOOP 2015) (Leibniz International Proceedings in Informatics (LIPIcs)), John Tang Boyland (Ed.)","volume":"37","author":"Bhandari Abhilash","unstructured":"Abhilash Bhandari and V. Krishna Nandivada . 2015 . Loop Tiling in the Presence of Exceptions. In 29th European Conference on Object-Oriented Programming (ECOOP 2015) (Leibniz International Proceedings in Informatics (LIPIcs)), John Tang Boyland (Ed.) , Vol. 37 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 124- 148. Abhilash Bhandari and V. Krishna Nandivada. 2015. Loop Tiling in the Presence of Exceptions. In 29th European Conference on Object-Oriented Programming (ECOOP 2015) (Leibniz International Proceedings in Informatics (LIPIcs)), John Tang Boyland (Ed.), Vol. 37. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 124- 148."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/504709.504710"},{"key":"e_1_3_2_2_11_1","first-page":"2","article-title":"A Further Note on Hennessy's","volume":"15","author":"Copperman Max","year":"1993","unstructured":"Max Copperman and Charles E. McDowell . 1993 . A Further Note on Hennessy's \" Symbolic Debugging of Optimized Code\". ACM Transactions Programming Languages and Systems 15 , 2 (April 1993), 357-365. Max Copperman and Charles E. McDowell. 1993. A Further Note on Hennessy's \"Symbolic Debugging of Optimized Code\". ACM Transactions Programming Languages and Systems 15, 2 (April 1993), 357-365.","journal-title":"Symbolic Debugging of Optimized Code\". ACM Transactions Programming Languages and Systems"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854038.2854061"},{"key":"e_1_3_2_2_14_1","first-page":"37","volume-title":"Proceedings of the","author":"Evans Thomas G.","year":"1966","unstructured":"Thomas G. Evans and D. Lucille Darley . 1966. On-line Debugging Techniques: A Survey . In Proceedings of the November 7-10, 1966 , Fall Joint Computer Conference (AFIPS '66 (Fall)). ACM, New York, NY, USA , 37 - 50 . Thomas G. Evans and D. Lucille Darley. 1966. On-line Debugging Techniques: A Survey. In Proceedings of the November 7-10, 1966, Fall Joint Computer Conference (AFIPS '66 (Fall)). ACM, New York, NY, USA, 37-50."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776288"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158137"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542528"},{"key":"e_1_3_2_2_18_1","first-page":"563","volume-title":"Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11)","author":"Jens Palsberg Guo","year":"2011","unstructured":"Shu-yu Guo and Jens Palsberg . 2011 . The Essence of Compiling with Traces . In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11) . ACM, New York, NY, USA , 563 - 574 . Shu-yu Guo and Jens Palsberg. 2011. The Essence of Compiling with Traces. In Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11). ACM, New York, NY, USA, 563-574."},{"key":"e_1_3_2_2_19_1","first-page":"278","volume-title":"Proceedings of the 4th International Conference on Verified Software: Theories, Tools, Experiments (VSTTE'12)","author":"Hayden Christopher M.","unstructured":"Christopher M. Hayden , Stephen Magill , Michael Hicks , Nate Foster , and Jeffrey S. Foster . 2012. Specifying and Verifying the Correctness of Dynamic Software Updates . In Proceedings of the 4th International Conference on Verified Software: Theories, Tools, Experiments (VSTTE'12) . Springer-Verlag, Berlin, Heidelberg , 278 - 293 . Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, and Jeffrey S. Foster. 2012. Specifying and Verifying the Correctness of Dynamic Software Updates. In Proceedings of the 4th International Conference on Verified Software: Theories, Tools, Experiments (VSTTE'12). Springer-Verlag, Berlin, Heidelberg, 278-293."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357173"},{"key":"e_1_3_2_2_21_1","first-page":"1","volume-title":"SPEC CPU2006 Benchmark Descriptions. SIGARCH Computer Architecture News 34","author":"Henning John L.","year":"2006","unstructured":"John L. Henning . 2006 . SPEC CPU2006 Benchmark Descriptions. SIGARCH Computer Architecture News 34 , 4 (Sept. 2006), 1 - 17 . John L. Henning. 2006. SPEC CPU2006 Benchmark Descriptions. SIGARCH Computer Architecture News 34, 4 (Sept. 2006), 1-17."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108971"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143114"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191116"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647169.718156"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542513"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503299"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:LISP.0000029444.99264.c0"},{"key":"e_1_3_2_2_29_1","first-page":"143","volume-title":"Proceedings of the 9th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE '13)","author":"Nurudeen","unstructured":"Nurudeen A. Lameed and Laurie J. Hendren. 2013. A Modular Approach to On-Stack Replacement in LLVM . In Proceedings of the 9th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE '13) . ACM, New York, NY, USA , 143 - 154 . Nurudeen A. Lameed and Laurie J. Hendren. 2013. A Modular Approach to On-Stack Replacement in LLVM. In Proceedings of the 9th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE '13). ACM, New York, NY, USA, 143-154."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781156"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040335"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_2_33_1","first-page":"265","volume-title":"Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '12)","author":"Magill Stephen","unstructured":"Stephen Magill , Michael Hicks , Suriya Subramanian , and Kathryn S . McKinley. 2012. Automating Object Transformations for Dynamic Software Updating . In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '12) . ACM, New York, NY, USA , 265 - 280 . Stephen Magill, Michael Hicks, Suriya Subramanian, and Kathryn S. McKinley. 2012. Automating Object Transformations for Dynamic Software Updating. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '12). ACM, New York, NY, USA, 265-280."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_41"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_2_36_1","first-page":"257","volume-title":"Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (PLDI '90)","author":"Ottenstein Karl J.","unstructured":"Karl J. Ottenstein , Robert A. Ballance , and Arthur B . MacCabe. 1990. The Program Dependence Web: A Representation Supporting Control-, Data-, and Demand-driven Interpretation of Imperative Languages . In Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (PLDI '90) . ACM, New York, NY, USA , 257 - 271 . Karl J. Ottenstein, Robert A. Ballance, and Arthur B. MacCabe. 1990. The Program Dependence Web: A Representation Supporting Control-, Data-, and Demand-driven Interpretation of Imperative Languages. In Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (PLDI '90). ACM, New York, NY, USA, 257-271."},{"key":"e_1_3_2_2_37_1","volume-title":"Server Compiler. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium -","volume":"1","author":"Paleczny Michael","year":"2001","unstructured":"Michael Paleczny , Christopher Vick , and Cliff Click . 2001 . The Java HotSpot? Server Compiler. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (JVM'01). USENIX Association, Berkeley, CA, USA. Michael Paleczny, Christopher Vick, and Cliff Click. 2001. The Java HotSpot? Server Compiler. In Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (JVM'01). USENIX Association, Berkeley, CA, USA."},{"key":"e_1_3_2_2_38_1","unstructured":"Phoronix. 2016. Phoronix Test Suite (PTS). (2016). URL http:\/\/www.phoronix-test-suite.com\/. Accessed: 2017-04-09.  Phoronix. 2016. Phoronix Test Suite (PTS). (2016). URL http:\/\/www.phoronix-test-suite.com\/. Accessed: 2017-04-09."},{"key":"e_1_3_2_2_39_1","first-page":"151","volume-title":"Translation Validation. In Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '98)","author":"Pnueli Amir","year":"1998","unstructured":"Amir Pnueli , Michael Siegel , and Eli Singerman . 1998 . Translation Validation. In Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '98) . Springer-Verlag, London, UK, UK , 151 - 166 . Amir Pnueli, Michael Siegel, and Eli Singerman. 1998. Translation Validation. In Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS '98). Springer-Verlag, London, UK, UK, 151-166."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414740.2414743"},{"key":"e_1_3_2_2_42_1","first-page":"1","volume-title":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09)","author":"Subramanian Suriya","unstructured":"Suriya Subramanian , Michael Hicks , and Kathryn S . McKinley. 2009. Dynamic Software Updates: A VM-centric Approach . In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09) . ACM, New York, NY, USA , 1 - 12 . Suriya Subramanian, Michael Hicks, and Kathryn S. McKinley. 2009. Dynamic Software Updates: A VM-centric Approach. In Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09). ACM, New York, NY, USA, 1-12."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3186411.3186412"},{"key":"e_1_3_2_2_44_1","volume-title":"SNAPL 2015","author":"Wang Kunshan","year":"2015","unstructured":"Kunshan Wang , Yi Lin , Stephen M. Blackburn , Michael Norrish , and Antony L. Hosking . 2015. Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development. In 1st Summit on Advances in Programming Languages , SNAPL 2015 , May 3-6, 2015 , Asilomar, California, USA. 321-336. Kunshan Wang, Yi Lin, Stephen M. Blackburn, Michael Norrish, and Antony L. Hosking. 2015. Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development. In 1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. 321-336."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033025"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384716.2384723"},{"key":"e_1_3_2_2_47_1","first-page":"181","volume-title":"Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (PLDI '99)","author":"Wu Le-Chun","unstructured":"Le-Chun Wu , Rajiv Mirani , Harish Patil , Bruce Olsen , and Wen-mei W. Hwu . 1999. A New Framework for Debugging Globally Optimized Code . In Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (PLDI '99) . ACM, New York, NY, USA , 181 - 191 . Le-Chun Wu, Rajiv Mirani, Harish Patil, Bruce Olsen, and Wen-mei W. Hwu. 1999. A New Framework for Debugging Globally Optimized Code. In Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (PLDI '99). ACM, New York, NY, USA, 181-191."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062381"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/800007.808029"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814281"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192396","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":49,"alternative-id":["10.1145\/3192366.3192396","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192396","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192396","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}