{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:59:54Z","timestamp":1743037194373,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_42","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"531-546","source":"Crossref","is-referenced-by-count":2,"title":["Adaptable Runtime Monitoring for the Java Virtual Machine"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Ros\u00e0","sequence":"first","affiliation":[]},{"given":"Yudi","family":"Zheng","sequence":"additional","affiliation":[]},{"given":"Haiyang","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Omar","family":"Javed","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Binder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/2480360.2384587","volume":"48","author":"T W\u00fcrthinger","year":"2012","unstructured":"W\u00fcrthinger, T., W\u00f6\u00df, A., Stadler, L., Duboscq, G., Simon, D., Wimmer, C.: Self-optimizing AST interpreters. ACM SIGPLAN Not. 2012 48, 73\u201382 (2012)","journal-title":"ACM SIGPLAN Not. 2012"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Duboscq, G., W\u00fcrthinger, T., Stadler, L., Wimmer, C., Simon, D., M\u00f6ssenb\u00f6ck, H.: An intermediate representation for speculative optimizations in a dynamic compiler. In: VMIL, pp. 1\u201310 (2013)","DOI":"10.1145\/2542142.2542143"},{"key":"42_CR3","unstructured":"Zaharia, M., Chowdhury, M., Das, T., Dave, A., Ma, J., McCauley, M., Franklin, M.J., Shenker, S., Stoica, I.: Resilient distributed datasets: a fault-tolerant abstraction for in-memory cluster computing. In: NSDI, pp. 2:1\u20132:15 (2012)"},{"key":"42_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327\u2013354. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45337-7_18"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Lee, C., Ro\u015fu, G.: JavaMOP: efficient parametric runtime monitoring framework. In: ICSE, pp. 1427\u20131430 (2012)","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Marek, L., Villaz\u00f3n, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: DiSL: a domain-specific language for bytecode instrumentation. In: AOSD, pp. 239\u2013250 (2012)","DOI":"10.1145\/2162049.2162077"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Zheng, Y., Bulej, L., Zhang, C., Kell, S., Ansaloni, D., Binder, W.: Dynamic optimization of bytecode instrumentation. In: VMIL, pp. 21\u201330 (2013)","DOI":"10.1145\/2542142.2542145"},{"key":"42_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-30561-0_24","volume-title":"Objects, Models, Components, Patterns","author":"Y Zheng","year":"2012","unstructured":"Zheng, Y., Ansaloni, D., Marek, L., Sewe, A., Binder, W., Villaz\u00f3n, A., Tuma, P., Qi, Z., Mezini, M.: Turbo DiSL: partial evaluation for high-level bytecode instrumentation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 353\u2013368. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-30561-0_24"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Marek, L., Kell, S., Zheng, Y., Bulej, L., Binder, W., T\u016fma, P., Ansaloni, D., Sarimbekov, A., Sewe, A.: ShadowVM: robust and comprehensive dynamic program analysis for the Java platform. In: GPCE, pp. 105\u2013114 (2013)","DOI":"10.1145\/2517208.2517219"},{"key":"42_CR10","doi-asserted-by":"crossref","unstructured":"Kell, S., Ansaloni, D., Binder, W., Marek, L.: The JVM is not observable enough (and what to do about it). In: VMIL, pp. 33\u201338 (2012)","DOI":"10.1145\/2414740.2414747"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Unkel, C., Lam, M.S.: Automatic inference of stationary fields: a generalization of Java\u2019s final fields. In: POPL, pp. 183\u2013195 (2008)","DOI":"10.1145\/1328438.1328463"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"Nelson, S., Pearce, D.J., Noble, J.: Profiling object initialization for Java. In: RV, pp. 292\u2013307 (2012)","DOI":"10.1007\/978-3-642-35632-2_28"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"Sun, H., Zheng, Y., Bulej, L., Villaz\u00f3n, A., Qi, Z., T\u016fma, P., Binder, W.: A programming model and framework for comprehensive dynamic analysis on Android. In: MODULARITY, pp. 133\u2013145 (2015)","DOI":"10.1145\/2724525.2724566"},{"key":"42_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-36579-6_4","volume-title":"Compiler Construction","author":"H Masuhara","year":"2003","unstructured":"Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model for aspect-oriented programs. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 46\u201360. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36579-6_4"},{"key":"42_CR15","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P.O., Jin, D., Rosu, G.: Efficient formalism-independent monitoring of parametric properties. In: ASE, pp. 383\u2013394 (2009)","DOI":"10.1109\/ASE.2009.50"},{"key":"42_CR16","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O., Griffith, D., Rosu, G.: Garbage collection for monitoring parametric properties. In: PLDI, pp. 415\u2013424 (2011)","DOI":"10.1145\/1993498.1993547"},{"key":"42_CR17","volume-title":"Partial Evaluation and Automatic Program Generation","author":"ND Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993)"},{"key":"42_CR18","doi-asserted-by":"crossref","unstructured":"Shali, A., Cook, W.R.: Hybrid partial evaluation. In: OOPSLA, pp. 375\u2013390 (2011)","DOI":"10.1145\/2048066.2048098"},{"key":"42_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-69611-7_8","volume-title":"Practical Aspects of Declarative Languages","author":"E Albert","year":"2006","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Hubert, L., Puebla, G.: Verification of Java bytecode using analysis and transformation of logic programs. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 124\u2013139. Springer, Heidelberg (2006). doi: 10.1007\/978-3-540-69611-7_8"},{"key":"42_CR20","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"MV Hermenegildo","year":"2005","unstructured":"Hermenegildo, M.V., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58, 115\u2013140 (2005)","journal-title":"Sci. Comput. Program."},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"Hao, H., Singh, V., Du, W.: On the effectiveness of API-level access control using bytecode rewriting in Android. In: CCS, pp. 25\u201336 (2013)","DOI":"10.1145\/2484313.2484317"},{"key":"42_CR22","doi-asserted-by":"crossref","unstructured":"Hornyack, P., Han, S., Jung, J., Schechter, S., Wetherall, D.: These aren\u2019t the droids you\u2019re looking for: retrofitting Android to protect data from imperious applications. In: CCS, pp. 639\u2013652 (2011)","DOI":"10.1145\/2046707.2046780"},{"key":"42_CR23","unstructured":"Dietz, M., Shekhar, S., Pisetsky, Y., Shu, A., Wallach, D.S.: Quire: Lightweight provenance for smart phone operating systems. In: USENIX Security, pp. 23:1\u201323:16 (2011)"},{"key":"42_CR24","unstructured":"Yan, L.K., Yin, H.: DroidScope: seamlessly reconstructing the OS and Dalvik semantic views for dynamic Android malware analysis. In: USENIX Security, pp. 29:1\u201329:16 (2012)"},{"key":"42_CR25","doi-asserted-by":"crossref","unstructured":"W\u00fcrthinger, T., Ansaloni, D., Binder, W., Wimmer, C., M\u00f6ssenb\u00f6ck, H.: Safe and atomic run-time code evolution for Java and its application to dynamic AOP. In: OOPSLA, pp. 825\u2013844 (2011)","DOI":"10.1145\/2048066.2048129"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T12:01:56Z","timestamp":1601121716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}