{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:13:45Z","timestamp":1774988025540,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297051","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"321-336","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Type qualifier inference for java"],"prefix":"10.1145","author":[{"given":"David","family":"Greenfieldboyce","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"SourceForge. http:\/\/www.sourceforge.net.  SourceForge. http:\/\/www.sourceforge.net."},{"key":"e_1_3_2_1_2_1","unstructured":"SPEC JVM98 Benchmarks. http:\/\/www.spec.org\/jvm98\/.  SPEC JVM98 Benchmarks. http:\/\/www.spec.org\/jvm98\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Java Enterprise Edition HttpServletRequest API 2006. http:\/\/java.sun.com\/javaee\/5\/docs\/api\/javax\/servlet\/http\/HttpServletReq%uest.html.  Java Enterprise Edition HttpServletRequest API 2006. http:\/\/java.sun.com\/javaee\/5\/docs\/api\/javax\/servlet\/http\/HttpServletReq%uest.html."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781146"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167479"},{"key":"e_1_3_2_1_6_1","volume-title":"The Java Programming Language","author":"Arnold K.","year":"2006","unstructured":"K. Arnold , J. Gosling , and D. Holmes . The Java Programming Language . Addison-Wesley , 4 th edition, 2006 . K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley, 4th edition, 2006.","edition":"4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028980"},{"key":"e_1_3_2_1_9_1","volume-title":"Usenix Security'03","author":"Broadwell P.","year":"2003","unstructured":"P. Broadwell , M. Harren , and N. Sastry . Scrash: A System for Generating Secure Crash Information . In Usenix Security'03 , Aug. 2003 . P. Broadwell, M. Harren, and N. Sastry. Scrash: A System for Generating Secure Crash Information. In Usenix Security'03, Aug. 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065022"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_18"},{"key":"e_1_3_2_1_12_1","first-page":"77","volume-title":"Optimizatin of Object-Oriented Programs Using Static Class Hierarchy Analysis. In ECOOP'95","author":"Dean J.","year":"1995","unstructured":"J. Dean , D. Grove , and C. Chambers . Optimizatin of Object-Oriented Programs Using Static Class Hierarchy Analysis. In ECOOP'95 , pages 77 -- 101 , Aug. 1995 . J. Dean, D. Grove, and C. Chambers. Optimizatin of Object-Oriented Programs Using Static Class Hierarchy Analysis. In ECOOP'95, pages 77--101, Aug. 1995."},{"key":"e_1_3_2_1_13_1","unstructured":"M. D. Ernst and D. Coward. JSR 308: Annotations on Java types. http:\/\/jcp.org\/en\/jsr\/detail?id=308 October 17 2006.  M. D. Ernst and D. Coward. JSR 308: Annotations on Java types. http:\/\/jcp.org\/en\/jsr\/detail?id=308 October 17 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186635"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512531"},{"key":"e_1_3_2_1_17_1","unstructured":"T. E. Foundation. Eclipse Project. Web pages at http:\/\/www.eclipse.org.  T. E. Foundation. Eclipse Project. Web pages at http:\/\/www.eclipse.org."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134744.1134747"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_21"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2005.21"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_23_1","unstructured":"Java-Gnome Developers. Java bindings for the gnome and gtk libraries. http:\/\/java-gnome.sourceforge.net.  Java-Gnome Developers. Java bindings for the gnome and gtk libraries. http:\/\/java-gnome.sourceforge.net."},{"key":"e_1_3_2_1_24_1","volume-title":"Usenix Security'04","author":"Johnson R.","year":"2004","unstructured":"R. Johnson and D. Wagner . Finding User\/Kernel Bugs With Type Inference . In Usenix Security'04 , Aug. 2004 . R. Johnson and D. Wagner. Finding User\/Kernel Bugs With Type Inference. In Usenix Security'04, Aug. 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996861"},{"key":"e_1_3_2_1_28_1","volume-title":"The Java Native Interface: Programmer's Guide and Specification","author":"Liang S.","year":"1999","unstructured":"S. Liang . The Java Native Interface: Programmer's Guide and Specification . Addison-Wesley , 1999 . S. Liang. The Java Native Interface: Programmer's Guide and Specification. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.61"},{"key":"e_1_3_2_1_30_1","first-page":"271","volume-title":"Proceedings of the 14th Usenix Security Symposium","author":"Livshits V. B.","year":"2005","unstructured":"V. B. Livshits and M. S. Lam . Finding security errors in Java programs with static analysis . In Proceedings of the 14th Usenix Security Symposium , pages 271 -- 286 , Aug. 2005 . V. B. Livshits and M. S. Lam. Finding security errors in Java programs with static analysis. In Proceedings of the 14th Usenix Security Symposium, pages 271--286, Aug. 2005."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_33_1","first-page":"213","volume-title":"CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In CC'02","author":"Necula G. C.","year":"2002","unstructured":"G. C. Necula , S. McPeak , S. P. Rahul , and W. Weimer . CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In CC'02 , pages 213 -- 228 , Apr. 2002 . G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In CC'02, pages 213--228, Apr. 2002."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028994"},{"key":"e_1_3_2_1_35_1","volume-title":"JSR 305: Annotations for Software Defect Detection","author":"Pugh W.","year":"2006","unstructured":"W. Pugh . JSR 305: Annotations for Software Defect Detection , 2006 . http:\/\/jcp.org\/en\/jsr\/detail?id=305. W. Pugh. JSR 305: Annotations for Software Defect Detection, 2006. http:\/\/jcp.org\/en\/jsr\/detail?id=305."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360208"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/345099.345137"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_39_1","first-page":"82","volume-title":"Precise Identification of Side-effect-free Methods in Java. In ICSM'04","author":"Rountev A.","year":"2004","unstructured":"A. Rountev . Precise Identification of Side-effect-free Methods in Java. In ICSM'04 , pages 82 -- 91 , Sept. 2004 . A. Rountev. Precise Identification of Side-effect-free Methods in Java. In ICSM'04, pages 82--91, Sept. 2004."},{"key":"e_1_3_2_1_40_1","first-page":"126","volume-title":"Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages. In CC'03","author":"Ryder B. G.","year":"2003","unstructured":"B. G. Ryder . Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages. In CC'03 , pages 126 -- 137 , 2003 . B. G. Ryder. Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages. In CC'03, pages 126--137, 2003."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_14"},{"key":"e_1_3_2_1_42_1","volume-title":"Usenix Security'01","author":"Shankar U.","year":"2001","unstructured":"U. Shankar , K. Talwar , J. S. Foster , and D. Wagner . Detecting Format String Vulnerabilities with Type Qualifiers . In Usenix Security'01 , Aug. 2001 . U. Shankar, K. Talwar, J. S. Foster, and D. Wagner. Detecting Format String Vulnerabilities with Type Qualifiers. In Usenix Security'01, Aug. 2001."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094817"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_46_1","first-page":"2006","article-title":"Adding reference immutability to Java. Master's thesis","author":"Tschantz M. S.","year":"2006","unstructured":"M. S. Tschantz . Javari : Adding reference immutability to Java. Master's thesis , MIT Dept. of EECS , Aug. 2006 . MITCSAIL-TR- 2006 - 2059 . M. S. Tschantz. Javari: Adding reference immutability to Java. Master's thesis, MIT Dept. of EECS, Aug. 2006. MITCSAIL-TR-2006-059.","journal-title":"MIT Dept. of EECS"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_49_1","volume-title":"Usenix Security'02","author":"Zhang X.","year":"2002","unstructured":"X. Zhang , A. Edwards , and T. Jaeger . Using CQUAL for Static Analysis of Authorization Hook Placement . In Usenix Security'02 , Aug. 2002 . X. Zhang, A. Edwards, and T. Jaeger. Using CQUAL for Static Analysis of Authorization Hook Placement. In Usenix Security'02, Aug. 2002."}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297051","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":48,"alternative-id":["10.1145\/1297027.1297051","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297051","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297051","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}