{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:09Z","timestamp":1772164029172,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T00:00:00Z","timestamp":1508716800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["project 200021_153560"],"award-info":[{"award-number":["project 200021_153560"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004682","name":"Oracle","doi-asserted-by":"publisher","award":["ERO project 1332"],"award-info":[{"award-number":["ERO project 1332"]}],"id":[{"id":"10.13039\/100004682","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["contract ACP2-GA-2013-605442"],"award-info":[{"award-number":["contract ACP2-GA-2013-605442"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,23]]},"DOI":"10.1145\/3136040.3136061","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:51:09Z","timestamp":1507798269000},"page":"104-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Accurate reification of complete supertype information for dynamic analysis on the JVM"],"prefix":"10.1145","author":[{"given":"Andrea","family":"Ros\u00e0","sequence":"first","affiliation":[{"name":"University of Lugano, Switzerland"}]},{"given":"Eduardo","family":"Rosales","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}]},{"given":"Walter","family":"Binder","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2017,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Laurie Hendren, Sascha Kuzins, Jennifer Lhot\u00e1k, Ond\u0159ej Lhot\u00e1k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble.","author":"Avgustinov Pavel","year":"2005","unstructured":"Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren, Sascha Kuzins, Jennifer Lhot\u00e1k, Ond\u0159ej Lhot\u00e1k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble. 2005 . Abc : An Extensible AspectJ Compiler. In AOSD. 87\u201398. Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhot\u00e1k, Ond\u0159ej Lhot\u00e1k, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble. 2005. Abc: An Extensible AspectJ Compiler. In AOSD. 87\u201398."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294344"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Stephen M. Blackburn Robin Garner Chris Hoffmann Asjad M. Khang Kathryn S. McKinley Rotem Bentzur Amer Diwan Daniel Feinberg Daniel Frampton Samuel Z. Guyer Martin Hirzel Antony Hosking Maria Jump Han Lee J. Eliot B. Moss Aashish Phansalkar Darko Stefanovi\u0107 Thomas VanDrunen Daniel von Dincklage and Ben Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA. 169\u2013190.  Stephen M. Blackburn Robin Garner Chris Hoffmann Asjad M. Khang Kathryn S. McKinley Rotem Bentzur Amer Diwan Daniel Feinberg Daniel Frampton Samuel Z. Guyer Martin Hirzel Antony Hosking Maria Jump Han Lee J. Eliot B. Moss Aashish Phansalkar Darko Stefanovi\u0107 Thomas VanDrunen Daniel von Dincklage and Ben Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA. 169\u2013190.","DOI":"10.1145\/1167515.1167488"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Shigeru Chiba and Muga Nishizawa. 2003. An Easy-to-use Toolkit for Efficient Java Bytecode Translators. In GPCE. 364\u2013376.  Shigeru Chiba and Muga Nishizawa. 2003. An Easy-to-use Toolkit for Efficient Java Bytecode Translators. In GPCE. 364\u2013376.","DOI":"10.1007\/978-3-540-39815-8_22"},{"key":"e_1_3_2_1_6_1","first-page":"1","article-title":"DPAC","volume":"2","author":"Jiang Yanyan","year":"2013","unstructured":"Yanyan Jiang , Chang Xu , and Xiaoxing Ma . 2013 . DPAC : An Infrastructure for Dynamic Program Analysis of Concurrency Java Programs. In MDS. 2 : 1 \u2013 2 :6. Yanyan Jiang, Chang Xu, and Xiaoxing Ma. 2013. DPAC: An Infrastructure for Dynamic Program Analysis of Concurrency Java Programs. In MDS. 2:1\u20132:6.","journal-title":"In MDS."},{"key":"e_1_3_2_1_7_1","volume-title":"Choonghwan Lee, and Grigore Ro\u015fu.","author":"Jin Dongyun","year":"2012","unstructured":"Dongyun Jin , Patrick O\u2019Neil Meredith , Choonghwan Lee, and Grigore Ro\u015fu. 2012 . JavaMOP: Efficient Parametric Runtime Monitoring Framework. In ICSE. 1427\u20131430. Dongyun Jin, Patrick O\u2019Neil Meredith, Choonghwan Lee, and Grigore Ro\u015fu. 2012. JavaMOP: Efficient Parametric Runtime Monitoring Framework. In ICSE. 1427\u20131430."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411732.1411751"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Stephen Kell Danilo Ansaloni Walter Binder and Luk\u00e1\u0161 Marek. 2012. The JVM is Not Observable Enough (and What to Do About It). In VMIL . 33\u201338.  Stephen Kell Danilo Ansaloni Walter Binder and Luk\u00e1\u0161 Marek. 2012. The JVM is Not Observable Enough (and What to Do About It). In VMIL . 33\u201338.","DOI":"10.1145\/2414740.2414747"},{"key":"e_1_3_2_1_10_1","volume-title":"Griswold","author":"Kiczales Gregor","year":"2001","unstructured":"Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , and William G . Griswold . 2001 . An overview of AspectJ. In ECOOP. 327\u2013353. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. 2001. An overview of AspectJ. In ECOOP. 327\u2013353."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2162049.2162077"},{"key":"e_1_3_2_1_12_1","volume-title":"Myers","author":"Nystrom Nathaniel","year":"2003","unstructured":"Nathaniel Nystrom , Michael Clarkson , and Andrew C . Myers . 2003 . Polyglot : An extensible compiler framework for Java. In Compiler Construction . Springer Berlin\/Heidelberg , 138\u2013152. Nathaniel Nystrom, Michael Clarkson, and Andrew C. Myers. 2003. Polyglot: An extensible compiler framework for Java. In Compiler Construction . Springer Berlin\/Heidelberg, 138\u2013152."},{"key":"e_1_3_2_1_13_1","unstructured":"Oracle. 2015. Package java.lang.instrument. https:\/\/docs.oracle.com\/ javase\/8\/docs\/api\/java\/lang\/instrument\/package-summary.html . (2015).  Oracle. 2015. Package java.lang.instrument. https:\/\/docs.oracle.com\/ javase\/8\/docs\/api\/java\/lang\/instrument\/package-summary.html . (2015)."},{"key":"e_1_3_2_1_14_1","unstructured":"Oracle. 2015. The Java Language Specification. https:\/\/docs.oracle. com\/javase\/specs\/jls\/se8\/html\/index.html . (2015).  Oracle. 2015. The Java Language Specification. https:\/\/docs.oracle. com\/javase\/specs\/jls\/se8\/html\/index.html . (2015)."},{"key":"e_1_3_2_1_15_1","unstructured":"Oracle. 2015. The Java Virtual Machine Specification. http:\/\/docs. oracle.com\/javase\/specs\/jvms\/se8\/html\/index.html . (2015).  Oracle. 2015. The Java Virtual Machine Specification. http:\/\/docs. oracle.com\/javase\/specs\/jvms\/se8\/html\/index.html . (2015)."},{"key":"e_1_3_2_1_16_1","unstructured":"Oracle. 2015. The Reflection API. https:\/\/docs.oracle.com\/javase\/ tutorial\/reflect\/ . (2015).  Oracle. 2015. The Reflection API. https:\/\/docs.oracle.com\/javase\/ tutorial\/reflect\/ . (2015)."},{"key":"e_1_3_2_1_17_1","unstructured":"OW2 Consortium. 2016. ASM. http:\/\/asm.ow2.org\/ . (2016).  OW2 Consortium. 2016. ASM. http:\/\/asm.ow2.org\/ . (2016)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDSO.2006.67"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1248445.1248448"},{"key":"e_1_3_2_1_20_1","volume-title":"Helena Cuenca Cruz, and David Rydeheard","author":"Reger Giles","year":"2015","unstructured":"Giles Reger , Helena Cuenca Cruz, and David Rydeheard . 2015 . MarQ: Monitoring at Runtime with QEA. In TACAS. 596\u2013610. Giles Reger, Helena Cuenca Cruz, and David Rydeheard. 2015. MarQ: Monitoring at Runtime with QEA. In TACAS. 596\u2013610."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093335.2993241"},{"key":"e_1_3_2_1_22_1","unstructured":"Simon Kitching. 2013. OSGi Classloading. http:\/\/moi.vonos.net\/java\/ osgi-classloaders\/ . (2013).  Simon Kitching. 2013. OSGi Classloading. http:\/\/moi.vonos.net\/java\/ osgi-classloaders\/ . (2013)."},{"key":"e_1_3_2_1_23_1","unstructured":"The Apache Software Foundation. 2016. BCEL. http:\/\/commons. apache.org\/bcel\/ . (2016).  The Apache Software Foundation. 2016. BCEL. http:\/\/commons. apache.org\/bcel\/ . (2016)."},{"key":"e_1_3_2_1_24_1","unstructured":"The Eclipse Foundation. 2016. AjTypeSystem. https:\/\/eclipse.org\/ aspectj\/doc\/next\/adk15notebook\/reflection.html . (2016).  The Eclipse Foundation. 2016. AjTypeSystem. https:\/\/eclipse.org\/ aspectj\/doc\/next\/adk15notebook\/reflection.html . (2016)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Raja Vall\u00e9e-Rai Etienne Gagnon Laurie J. Hendren Patrick Lam Patrice Pominville and Vijay Sundaresan. 2000. Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?. In CC. 18\u201334.  Raja Vall\u00e9e-Rai Etienne Gagnon Laurie J. Hendren Patrick Lam Patrice Pominville and Vijay Sundaresan. 2000. Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?. In CC. 18\u201334.","DOI":"10.1007\/3-540-46423-9_2"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3136040.3136061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:13:36Z","timestamp":1750198416000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3136040.3136061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,23]]},"references-count":25,"alternative-id":["10.1145\/3136040.3136061","10.1145\/3136040"],"URL":"https:\/\/doi.org\/10.1145\/3136040.3136061","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3170492.3136061","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,10,23]]},"assertion":[{"value":"2017-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}