{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:10Z","timestamp":1750307710654,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T00:00:00Z","timestamp":1232323200000},"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":[[2009,1,19]]},"DOI":"10.1145\/1480945.1480947","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T14:41:38Z","timestamp":1232462498000},"page":"7-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Program analysis for bug detection using parfait"],"prefix":"10.1145","author":[{"given":"Cristina","family":"Cifuentes","sequence":"first","affiliation":[{"name":"Sun Microsystems Laboratories, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathan","family":"Keynes","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lian","family":"Li","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compilers","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D. Ullman . Compilers . Addison-Wesley , 1986 . Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers. Addison-Wesley, 1986."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234207"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394504.1394505"},{"key":"e_1_3_2_1_4_1","volume-title":"January","author":"Cifuentes Cristina","year":"2009","unstructured":"Cristina Cifuentes , Bernhard Scholz , Michael Mounteney , Erica Mealy , Nathan Keynes , and Lian Li . BegBunch: A benchmarker for C-source bug detection tools. Submitted for publication , January 2009 . Cristina Cifuentes, Bernhard Scholz, Michael Mounteney, Erica Mealy, Nathan Keynes, and Lian Li. BegBunch: A benchmarker for C-source bug detection tools. Submitted for publication, January 2009."},{"key":"e_1_3_2_1_5_1","first-page":"45","article-title":"Partial evaluation of computation process -- an approach to a compiler-compiler. Systems, Computers","volume":"2","author":"Futamura Yoshihiko","year":"1971","unstructured":"Yoshihiko Futamura . Partial evaluation of computation process -- an approach to a compiler-compiler. Systems, Computers , Controls , 2 : 45 -- 50 , 1971 . Yoshihiko Futamura. Partial evaluation of computation process -- an approach to a compiler-compiler. Systems, Computers, Controls, 2: 45--50, 1971.","journal-title":"Controls"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of Workshop on the Evaluation of Software Defect Detection Tools","author":"Kratkiewicz Kendra","year":"2005","unstructured":"Kendra Kratkiewicz and Richard Lippmann . Using a diagnostic corpus of C programs to evaluate buffer overflow detection by static analysis tools . In Proc. of Workshop on the Evaluation of Software Defect Detection Tools , June 2005 . Kendra Kratkiewicz and Richard Lippmann. Using a diagnostic corpus of C programs to evaluate buffer overflow detection by static analysis tools. In Proc. of Workshop on the Evaluation of Software Defect Detection Tools, June 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of Workshop on the Evaluation of Software Defect Detection Tools","author":"Lu Shan","year":"2005","unstructured":"Shan Lu , Zhenmin Li , Feng Qin , Lin Tan , Pin Zhou , and Yuanyuan Zhou . BugBench : A benchmark for evaluating bug detection tools . In Proc. of Workshop on the Evaluation of Software Defect Detection Tools , June 2005 . Shan Lu, Zhenmin Li, Feng Qin, Lin Tan, Pin Zhou, and Yuanyuan Zhou. BugBench: A benchmark for evaluating bug detection tools. In Proc. of Workshop on the Evaluation of Software Defect Detection Tools, June 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"January","author":"NIST. National Institute of Standards and Technology SAMATE Reference Dataset (SRD) project.","year":"2006","unstructured":"NIST. National Institute of Standards and Technology SAMATE Reference Dataset (SRD) project. http:\/\/samate.nist.gov\/SRD , January 2006 . NIST. National Institute of Standards and Technology SAMATE Reference Dataset (SRD) project. http:\/\/samate.nist.gov\/SRD, January 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.22"},{"key":"e_1_3_2_1_12_1","unstructured":"ISO C 99 Standard -- TC2. ISO\/IEC Working Group 14 9899:TC2 edition May 2005.  ISO C 99 Standard -- TC2. ISO\/IEC Working Group 14 9899:TC2 edition May 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029911"}],"event":{"name":"PEPM '09: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"PEPM '09"},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480945.1480947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480947"}},"subtitle":["invited talk"],"short-title":[],"issued":{"date-parts":[[2009,1,19]]},"references-count":12,"alternative-id":["10.1145\/1480945.1480947","10.1145\/1480945"],"URL":"https:\/\/doi.org\/10.1145\/1480945.1480947","relation":{},"subject":[],"published":{"date-parts":[[2009,1,19]]},"assertion":[{"value":"2009-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}