{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:34:11Z","timestamp":1730313251692,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,11]]},"DOI":"10.1145\/1064979.1065002","type":"proceedings-article","created":{"date-parts":[[2005,9,20]],"date-time":"2005-09-20T15:06:22Z","timestamp":1127228782000},"page":"164-174","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Instrumenting annotated programs"],"prefix":"10.1145","author":[{"given":"Marina","family":"Biberstein","sequence":"first","affiliation":[{"name":"IBM Haifa Labs, Haifa University Campus, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vugranam C.","family":"Sreedhar","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Lab, Hawthorne, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bilha","family":"Mendelson","sequence":"additional","affiliation":[{"name":"IBM Haifa Labs, Haifa University Campus, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Citron","sequence":"additional","affiliation":[{"name":"IBM Haifa Labs, Haifa University Campus, Haifa, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Giammaria","sequence":"additional","affiliation":[{"name":"IBM Austin, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/1096-9128(200005)12:6<423::AID-CPE483>3.0.CO;2-L"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/181593.181603"},{"key":"e_1_3_2_1_4_1","unstructured":"J. Bloch. JSR 175: A metadata facility for the Java programming language. http:\/\/jcp.org\/en\/jsr\/detail?id=175.  J. Bloch. JSR 175: A metadata facility for the Java programming language. http:\/\/jcp.org\/en\/jsr\/detail?id=175."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302180"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39671-0_23"},{"key":"e_1_3_2_1_8_1","volume-title":"Common Language Infrastructure (CLI). ECMA","author":"MA.","year":"2002","unstructured":"EC MA. Standard ECMA-335. Common Language Infrastructure (CLI). ECMA , 2 nd edition, December 2002 . ECMA. Standard ECMA-335. Common Language Infrastructure (CLI). ECMA, 2nd edition, December 2002.","edition":"2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195297"},{"key":"e_1_3_2_1_11_1","unstructured":"R. Field. JSR 163: Java platform profiling architecture. http:\/\/jcp.org\/en\/jsr\/detail?id=163.  R. Field. JSR 163: Java platform profiling architecture. http:\/\/jcp.org\/en\/jsr\/detail?id=163."},{"issue":"6","key":"e_1_3_2_1_13_1","first-page":"423","article-title":"Annotating Java class files with virtual registers for performance. Concurrency","volume":"12","author":"Jones J.","year":"2000","unstructured":"J. Jones and S. N. Kamin . Annotating Java class files with virtual registers for performance. Concurrency : Practice and Experience , 12 ( 6 ): 423 -- 444 , 2000 . J. Jones and S. N. Kamin. Annotating Java class files with virtual registers for performance. Concurrency: Practice and Experience, 12(6):423--444, 2000.","journal-title":"Practice and Experience"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582441"},{"key":"e_1_3_2_1_15_1","volume-title":"ASC Workshop, ECOOP 2001","author":"Kniesel G.","year":"2001","unstructured":"G. Kniesel , P. Costanza , and M. Austermann . Independent extensibility for aspect-oriented systems . In ASC Workshop, ECOOP 2001 , Budapest, Hungary , 2001 . G. Kniesel, P. Costanza, and M. Austermann. Independent extensibility for aspect-oriented systems. In ASC Workshop, ECOOP 2001, Budapest, Hungary, 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800004.807943"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776269"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378831"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781156"},{"key":"e_1_3_2_1_20_1","volume-title":"The Java Virtual Machine Specification","author":"Lindholm T.","year":"1999","unstructured":"T. Lindholm and F. Yellin . The Java Virtual Machine Specification . Addison-Wesley , 2 nd edition, 1999 . T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 2nd edition, 1999.","edition":"2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/141936.141964"},{"key":"e_1_3_2_1_22_1","unstructured":"Microsoft. The .NET framework class library. http:\/\/msdn.microsoft.com\/library\/default.asp?url=\/library\/en-us\/cpref\/html\/cpref_start.asp.  Microsoft. The .NET framework class library. http:\/\/msdn.microsoft.com\/library\/default.asp?url=\/library\/en-us\/cpref\/html\/cpref_start.asp."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 10th European Conference on Object-Oriented Programming, number 1098 in Lecture Notes in Computer Science","author":"Minsky N. H.","year":"1996","unstructured":"N. H. Minsky . Towards alias-free pointers . In P. Cointe, editor, Proceedings of the 10th European Conference on Object-Oriented Programming, number 1098 in Lecture Notes in Computer Science , Linz, Austria, July 1996 . ECOOP'96, Springer Verlag . N. H. Minsky. Towards alias-free pointers. In P. Cointe, editor, Proceedings of the 10th European Conference on Object-Oriented Programming, number 1098 in Lecture Notes in Computer Science, Linz, Austria, July 1996. ECOOP'96, Springer Verlag."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2002.1032846"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications","author":"OOPSLA","year":"2002","unstructured":"OOPSLA 2002 . Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications , Seattle, Washington, Nov. 4--8 2002. ACM SIGPLAN 36(11) Nov. 2002. OOPSLA 2002. Proceedings of the 17th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, Seattle, Washington, Nov. 4--8 2002. ACM SIGPLAN 36(11) Nov. 2002."},{"key":"e_1_3_2_1_26_1","volume-title":"Technical Standard C014: Application Response Measurement Issue 3.0 Java Binding","author":"Open Group","year":"2001","unstructured":"Open Group . Technical Standard C014: Application Response Measurement Issue 3.0 Java Binding . Open Group , October 2001 . Open Group. Technical Standard C014: Application Response Measurement Issue 3.0 Java Binding. Open Group, October 2001."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/583810.583833"},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Computer Science, 1384: 151--??","volume-title":"Translation validation","author":"Pnueli A.","year":"1998","unstructured":"A. Pnueli , M. Siegel , and E. Singerman . Translation validation . Lecture Notes in Computer Science, 1384: 151--?? , 1998 . A. Pnueli, M. Siegel, and E. Singerman. Translation validation. Lecture Notes in Computer Science, 1384:151--??, 1998."},{"key":"e_1_3_2_1_30_1","series-title":"Lecture Notes in Computer Science","first-page":"325","volume-title":"Proceedings of the 10th International Conference on Compiler Construction","author":"Qian F.","year":"2001","unstructured":"F. Qian , L. J. Hendren , and C. Verbrugge . A comprehensive approach to array bounds check elimination for Java . In R. Wilhelm, editor, Proceedings of the 10th International Conference on Compiler Construction , volume 2027 of Lecture Notes in Computer Science , pages 325 -- 342 . Springer , 2001 . F. Qian, L. J. Hendren, and C. Verbrugge. A comprehensive approach to array bounds check elimination for Java. In R. Wilhelm, editor, Proceedings of the 10th International Conference on Compiler Construction, volume 2027 of Lecture Notes in Computer Science, pages 325--342. Springer, 2001."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the Workshop on Run-Time Result Verification","author":"Rinard M.","year":"1999","unstructured":"M. Rinard and D. Marinov . Credible compilation with pointers . In Proceedings of the Workshop on Run-Time Result Verification , Trento, Italy , July 1999 . M. Rinard and D. Marinov. Credible compilation with pointers. In Proceedings of the Workshop on Run-Time Result Verification, Trento, Italy, July 1999."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379661"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/46.5.529"},{"key":"e_1_3_2_1_34_1","unstructured":"A. Taivalsaari. JSR 139: Connected limited device configuration 1.1. http:\/\/jcp.org\/en\/jsr\/detail?id=139.  A. Taivalsaari. JSR 139: Connected limited device configuration 1.1. http:\/\/jcp.org\/en\/jsr\/detail?id=139."},{"key":"e_1_3_2_1_35_1","volume-title":"Blackwell","author":"Wittgenstein L.","year":"1953","unstructured":"L. Wittgenstein . Philosophische Untersuchungen --- Philosophical Investigations, chapter I.22 . Blackwell , Oxford , 1953 . L. Wittgenstein. Philosophische Untersuchungen --- Philosophical Investigations, chapter I.22. Blackwell, Oxford, 1953."}],"event":{"name":"VEE05: First International Conference on Virtual Execution Environments","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"],"location":"Chicago IL USA","acronym":"VEE05"},"container-title":["Proceedings of the 1st ACM\/USENIX international conference on Virtual execution environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1064979.1065002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T16:22:25Z","timestamp":1673454145000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1064979.1065002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,11]]},"references-count":32,"alternative-id":["10.1145\/1064979.1065002","10.1145\/1064979"],"URL":"https:\/\/doi.org\/10.1145\/1064979.1065002","relation":{},"subject":[],"published":{"date-parts":[[2005,6,11]]},"assertion":[{"value":"2005-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}