{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:25:19Z","timestamp":1726061119111},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,11]]},"DOI":"10.1145\/1133981.1134027","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"387-400","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":195,"title":["Refinement-based context-sensitive points-to analysis for Java"],"prefix":"10.1145","author":[{"given":"Manu","family":"Sridharan","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Rastislav","family":"Bod\u00edk","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]}],"member":"320","published-online":{"date-parts":[[2006,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ashes suite collection. http:\/\/www.sable.mcgill.ca\/software\/.]] Ashes suite collection. http:\/\/www.sable.mcgill.ca\/software\/.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"DaCapo Benchmark Suite. http:\/\/wwwali. cs.umass.edu\/DaCapo\/gcbm.html.]] DaCapo Benchmark Suite. http:\/\/wwwali. cs.umass.edu\/DaCapo\/gcbm.html.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/236337.236371"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781144"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029884"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320386"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028979"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349332"},{"volume-title":"European Conference on Object-Oriented Programming (ECOOP)","year":"2005","author":"Fuhrer R.","key":"e_1_3_2_1_10_1","unstructured":"R. Fuhrer , F. Tip , J. Dolby , A. Kiezun , and M. Keller . Refactoring techniques for migrating applications to generic java container classes . In European Conference on Object-Oriented Programming (ECOOP) , 2005 .]] R. Fuhrer, F. Tip, J. Dolby, A. Kiezun, and M. Keller. Refactoring techniques for migrating applications to generic java container classes. In European Conference on Object-Oriented Programming (ECOOP), 2005.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/506315.506316"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760284"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378802"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222146"},{"volume-title":"Personal communication","year":"2005","author":"Lhot\u00e1k O.","key":"e_1_3_2_1_18_1","unstructured":"O. Lhot\u00e1k . Personal communication . 2005 .]] O. Lhot\u00e1k. Personal communication. 2005.]]"},{"volume-title":"McGill University","year":"2006","author":"Lhot\u00e1k O.","key":"e_1_3_2_1_19_1","unstructured":"O. Lhot\u00e1k . Program Analysis using Binary Decision Diagrams. PhD thesis , McGill University , Jan. 2006 .]] O. Lhot\u00e1k. Program Analysis using Binary Decision Diagrams. PhD thesis, McGill University, Jan. 2006.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765948"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718290"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765947"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360208"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647472.727424"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00093-7"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345137"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195287"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349327"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36579-6_10"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54007"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094817"},{"volume-title":"Personal communication on analysis for Microsoft Bartok compiler","year":"2005","author":"Steensgaard B.","key":"e_1_3_2_1_38_1","unstructured":"B. Steensgaard . Personal communication on analysis for Microsoft Bartok compiler . 2005 .]] B. Steensgaard. Personal communication on analysis for Microsoft Bartok compiler. 2005.]]"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949308"},{"key":"e_1_3_2_1_41_1","first-page":"125","volume-title":"Proceedings of CASCON 1999","author":"Vall\u00e9e-Rai R.","year":"1999","unstructured":"R. Vall\u00e9e-Rai , L. Hendren , V. Sundaresan , P. Lam , E. Gagnon , and P. Co . Soot - a Java optimization framework . In Proceedings of CASCON 1999 , pages 125 -- 135 , 1999 .]] R. Vall\u00e9e-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In Proceedings of CASCON 1999, pages 125--135, 1999.]]"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.679874"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320400"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207111"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996860"}],"event":{"name":"PLDI06: ACM SIGPLAN Conference on Programming Language Design and Implementation 2006","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Ottawa Ontario Canada","acronym":"PLDI06"},"container-title":["Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1133981.1134027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:26:02Z","timestamp":1693848362000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1133981.1134027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,11]]},"references-count":42,"alternative-id":["10.1145\/1133981.1134027","10.1145\/1133981"],"URL":"https:\/\/doi.org\/10.1145\/1133981.1134027","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1133255.1134027","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,11]]},"assertion":[{"value":"2006-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
