{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:54:17Z","timestamp":1730314457276,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,9]]},"DOI":"10.1145\/1453101.1453109","type":"proceedings-article","created":{"date-parts":[[2008,11,11]],"date-time":"2008-11-11T12:59:40Z","timestamp":1226408380000},"page":"36-47","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Finding programming errors earlier by evaluating runtime monitors ahead-of-time"],"prefix":"10.1145","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[{"name":"McGill University"}]},{"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[{"name":"University of Waterloo"}]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[{"name":"McGill University"}]}],"member":"320","published-online":{"date-parts":[[2008,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781146"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052906"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"525","volume-title":"ECOOP","author":"Bodden E.","year":"2007","unstructured":"E. Bodden , L. J. Hendren , and O. Lhot\u00e1k . A staged static program analysis to improve the performance of runtime monitoring . In ECOOP , volume 4609 of LNCS , pages 525 -- 549 . Springer , 2007 . E. Bodden, L. J. Hendren, and O. Lhot\u00e1k. A staged static program analysis to improve the performance of runtime monitoring. In ECOOP, volume 4609 of LNCS, pages 525--549. Springer, 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227536.2227569"},{"key":"e_1_3_2_1_9_1","first-page":"465","volume":"3086","author":"DeLine R.","year":"2004","unstructured":"R. DeLine and M. F\u00e4hndrich . Typestates for objects. In ECOOP , volume 3086 of LNCS, pages 465 -- 490 , 2004 . R. DeLine and M. F\u00e4hndrich. Typestates for objects. In ECOOP, volume 3086 of LNCS, pages 465--490, 2004.","journal-title":"Typestates for objects. In ECOOP"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321651"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146254"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040331"},{"key":"e_1_3_2_1_13_1","volume-title":"IJCAI","author":"Kohavi R.","year":"1995","unstructured":"R. Kohavi . A study of cross-validation and bootstrap for accuracy estimation and model selection . In IJCAI , San Mateo, CA, pages 1137--1143 , 1995 . R. Kohavi. A study of cross-validation and bootstrap for accuracy estimation and model selection. In IJCAI, San Mateo, CA, pages 1137--1143, 1995."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"46","volume-title":"CC","author":"Masuhara H.","year":"2003","unstructured":"H. Masuhara , G. Kiczales , and C. Dutchyn . A compilation and optimization model for aspect-oriented programs . In CC , volume 2622 of LNCS , pages 46 -- 60 , 2003 . H. Masuhara, G. Kiczales, and C. Dutchyn. A compilation and optimization model for aspect-oriented programs. In CC, volume 2622 of LNCS, pages 46--60, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449792"},{"key":"e_1_3_2_1_17_1","volume-title":"June","author":"Pozo R.","year":"2000","unstructured":"R. Pozo and B. Miller . Scimark 2.0 , June 2000 . http:\/\/math.nist.gov\/scimark. R. Pozo and B. Miller. Scimark 2.0, June 2000. http:\/\/math.nist.gov\/scimark."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_21_1","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques","author":"Witten I. H.","year":"2005","unstructured":"I. H. Witten and E. Frank . Data Mining: Practical Machine Learning Tools and Techniques ( Second Edition). Morgan Kaufmann , June 2005 . I. H. Witten and E. Frank. Data Mining: Practical Machine Learning Tools and Techniques (Second Edition). Morgan Kaufmann, June 2005."}],"event":{"name":"SIGSOFT '08\/FSE-16: SIGSOFT 2008 -16th International Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Atlanta Georgia","acronym":"SIGSOFT '08\/FSE-16"},"container-title":["Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1453101.1453109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T01:38:50Z","timestamp":1673487530000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1453101.1453109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,9]]},"references-count":20,"alternative-id":["10.1145\/1453101.1453109","10.1145\/1453101"],"URL":"https:\/\/doi.org\/10.1145\/1453101.1453109","relation":{},"subject":[],"published":{"date-parts":[[2008,11,9]]},"assertion":[{"value":"2008-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}