{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T12:41:23Z","timestamp":1769949683610,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"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":[[2023,11,30]]},"DOI":"10.1145\/3611643.3613101","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"2137-2141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Ad Hoc Syntax-Guided Program Reduction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3778-5812","authenticated-orcid":false,"given":"Jia Le","family":"Tian","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3463-2802","authenticated-orcid":false,"given":"Mengxiao","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9451-4031","authenticated-orcid":false,"given":"Zhenyang","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1644-2965","authenticated-orcid":false,"given":"Yongqiang","family":"Tian","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3205-9010","authenticated-orcid":false,"given":"Yiwen","family":"Dong","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0862-2491","authenticated-orcid":false,"given":"Chengnian","family":"Sun","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"ANTLR. 2017. The ANTLR Parser Generator. https:\/\/www.antlr.org\/"},{"key":"e_1_3_2_2_2_1","unstructured":"Firefox. 2017. Using Lithium to Reduce Bugs in Firefox. https:\/\/github.com\/MozillaSecurity\/lithium\/blob\/master\/src\/lithium\/docs\/using-for-firefox.md"},{"key":"e_1_3_2_2_3_1","unstructured":"GCC. 2017. A Guide to Testcase Reduction. https:\/\/gcc.gnu.org\/\/A_guide_to_testcase_reduction"},{"key":"e_1_3_2_2_4_1","unstructured":"Google. 2015. About Bazel. https:\/\/bazel.build\/about"},{"key":"e_1_3_2_2_5_1","unstructured":"Khronos Group. 2019. The OpenGL Shading Language Version 4.60.7. https:\/\/registry.khronos.org\/OpenGL\/specs\/gl\/GLSLangSpec.4.60.pdf"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155669"},{"key":"e_1_3_2_2_8_1","unstructured":"Ren\u00e1ta Hodov\u00e1n Akos Kiss Daniel Vince and Zhiqiang Zang. [n. d.]. Picireny. https:\/\/github.com\/renatahodovan\/picireny"},{"key":"e_1_3_2_2_9_1","unstructured":"JS Delta. 2017. JS Delta. https:\/\/github.com\/wala\/jsdelta"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338956"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454091"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_11"},{"key":"e_1_3_2_2_13_1","first-page":"7","volume-title":"Proceedings of the ACM Programming Languages","author":"Lecoeur Bastien","year":"2023","unstructured":"Bastien Lecoeur, Hasan Mohsin, and Alastair F. Donaldson. 2023. Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs. Proceedings of the ACM Programming Languages, 7 (2023)."},{"key":"e_1_3_2_2_14_1","unstructured":"LLVM. 2017. How to submit an LLVM bug report. https:\/\/llvm.org\/docs\/HowToSubmitABug.html"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_2_16_1","volume-title":"Proceedings of the 11th International Workshop on Satisfiability Modulo Theories, SMT. 8\u20139.","author":"Niemetz Aina","year":"2013","unstructured":"Aina Niemetz and Armin Biere. 2013. ddSMT: a delta debugger for the SMT-LIB v2 format. In Proceedings of the 11th International Workshop on Satisfiability Modulo Theories, SMT. 8\u20139."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_2_18_1","volume-title":"Lithium: Line-Based Testcase Reducer.  https:\/\/github.com\/MozillaSecurity\/lithium","author":"Security Mozilla","year":"2008","unstructured":"Mozilla Security. 2008. Lithium: Line-Based Testcase Reducer. https:\/\/github.com\/MozillaSecurity\/lithium"},{"key":"e_1_3_2_2_19_1","volume-title":"Perses: Syntax-Directed Program Reduction. https:\/\/github.com\/uw-pluverse\/perses","author":"Sun Chengnian","year":"2018","unstructured":"Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, and Zhendong Su. 2018. Perses: Syntax-Directed Program Reduction. https:\/\/github.com\/uw-pluverse\/perses"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3613101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:10Z","timestamp":1750178230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":21,"alternative-id":["10.1145\/3611643.3613101","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3613101","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}