{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:24Z","timestamp":1750220784990,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"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":[[2020,6,15]]},"DOI":"10.1145\/3394451.3397206","type":"proceedings-article","created":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T22:07:03Z","timestamp":1591049223000},"page":"14-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Explaining bug provenance with trace witnesses"],"prefix":"10.1145","author":[{"given":"Jixiang","family":"Shen","sequence":"first","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neville","family":"Grech","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Scalable Program Analysis","volume":"08161","author":"Cifuentes Cristina","year":"2008","unstructured":"Cristina Cifuentes and Bernhard Scholz . 2008 . Parfait - Designing a Scalable Bug Checker . In Scalable Program Analysis , Vol. 08161 . Cristina Cifuentes and Bernhard Scholz. 2008. Parfait - Designing a Scalable Bug Checker. In Scalable Program Analysis, Vol. 08161."},{"key":"e_1_3_2_2_2_1","unstructured":"E. W. Dijkstra. 1959.  E. W. Dijkstra. 1959."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"crossref","unstructured":"A Note on Two Problems in Connexion with Graphs. Numer. Math. 1 1 (Dec. 1959) 269\u2013271.  A Note on Two Problems in Connexion with Graphs. Numer. Math. 1 1 (Dec. 1959) 269\u2013271.","DOI":"10.1007\/BF01386390"},{"key":"e_1_3_2_2_4_1","volume-title":"Warren","author":"Ferrante Jeanne","year":"1987","unstructured":"Jeanne Ferrante , Karl J. Ottenstein , and Joe D . Warren . 1987 . Jeanne Ferrante, Karl J. Ottenstein, and Joe D. Warren. 1987."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"The Program Dependence Graph and Its Use in Optimization. ACM Trans. Program. Lang. Syst. 9 3 (July 1987) 319\u2013349.  The Program Dependence Graph and Its Use in Optimization. ACM Trans. Program. Lang. Syst. 9 3 (July 1987) 319\u2013349.","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/367766.368168"},{"key":"e_1_3_2_2_7_1","unstructured":"William Landi. 1992.  William Landi. 1992."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"Undecidability of Static Analysis. ACM Lett. Program. Lang. Syst. 1 4 (Dec 1992) 323\u2013337.  Undecidability of Static Analysis. ACM Lett. Program. Lang. Syst. 1 4 (Dec 1992) 323\u2013337.","DOI":"10.1145\/161494.161501"},{"key":"e_1_3_2_2_9_1","unstructured":"Ondrej Lhot\u00e1k and Kwok-Chiang Andrew Chung. 2011.  Ondrej Lhot\u00e1k and Kwok-Chiang Andrew Chung. 2011."},{"key":"e_1_3_2_2_10_1","volume-title":"3\u201316","author":"Efficient Strong Updates Analysis","year":"2011","unstructured":"Points-to Analysis with Efficient Strong Updates . SIGPLAN Not . 46 ( 2011 ), 3\u201316 . Points-to Analysis with Efficient Strong Updates. SIGPLAN Not. 46 (2011), 3\u201316."},{"key":"e_1_3_2_2_11_1","unstructured":"Roman Manevich Manu Sridharan Stephen Adams Manuvir Das and Zhe Yang. 2004.  Roman Manevich Manu Sridharan Stephen Adams Manuvir Das and Zhe Yang. 2004."},{"key":"e_1_3_2_2_12_1","volume-title":"Explaining Program Failures via Postmortem Static Analysis. SIGSOFT Softw. Eng. Notes 29, 6 (Oct","author":"PSE","year":"2004","unstructured":"PSE : Explaining Program Failures via Postmortem Static Analysis. SIGSOFT Softw. Eng. Notes 29, 6 (Oct 2004 ), 63\u201372. PSE: Explaining Program Failures via Postmortem Static Analysis. SIGSOFT Softw. Eng. Notes 29, 6 (Oct 2004), 63\u201372."},{"key":"e_1_3_2_2_13_1","volume-title":"Hennessy","author":"Patterson David A.","year":"1990","unstructured":"David A. Patterson and John L . Hennessy . 1990 . David A. Patterson and John L. Hennessy. 1990."},{"volume-title":"A Quantitative Approach","author":"Architecture Computer","key":"e_1_3_2_2_14_1","unstructured":"Computer Architecture : A Quantitative Approach . Morgan Kaufmann Publishers Inc . Computer Architecture: A Quantitative Approach. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321160.321170"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000014"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London UK","acronym":"PLDI '20"},"container-title":["Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394451.3397206","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394451.3397206","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:37Z","timestamp":1750200097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394451.3397206"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":17,"alternative-id":["10.1145\/3394451.3397206","10.1145\/3394451"],"URL":"https:\/\/doi.org\/10.1145\/3394451.3397206","relation":{},"subject":[],"published":{"date-parts":[[2020,6,15]]},"assertion":[{"value":"2020-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}