{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:23:49Z","timestamp":1782876229357,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":50,"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.3616275","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"338-349","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["PPR: Pairwise Program Reduction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3463-2802","authenticated-orcid":false,"given":"Mengxiao","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-503X","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Alfred V Aho Monica S Lam Ravi Sethi and Jeffrey D Ullman. 2007. Compilers: principles techniques & tools. Pearson Education India."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205371"},{"key":"e_1_3_2_2_4_1","unstructured":"GCC Bugzilla. 2015. Bug 66691. https:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi?id=66691"},{"key":"e_1_3_2_2_5_1","unstructured":"LLVM Bugzilla. 2014. Bug 21467 - clang hangs on valid code at -Os and above on x86_64-linux-gnu. https:\/\/bugs.llvm.org\/show_bug.cgi?id=21467"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338957"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416570"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.37"},{"key":"e_1_3_2_2_9_1","unstructured":"James Coglan. 2017. The patience diff algorithm. https:\/\/blog.jcoglan.com\/2017\/09\/19\/the-patience-diff-algorithm"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_2_2_11_1","volume-title":"Andr\u00e9 Perez Maselco, and Antoni Karpi\u0144ski","author":"Donaldson Alastair F","year":"2020","unstructured":"Alastair F Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, Andr\u00e9 Perez Maselco, and Antoni Karpi\u0144ski. 2020. Spirv-fuzz. https:\/\/github.com\/google\/graphicsfuzz\/blob\/master\/docs\/finding-a-vulkan-driver-bug-using-spirv-fuzz.md"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454092"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70731"},{"key":"e_1_3_2_2_15_1","unstructured":"GCC. 2020. A Guide to Testcase Reduction. https:\/\/gcc.gnu.org\/wiki\/A_guide_to_testcase_reduction"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397349"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115697"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2362793.2362831"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338956"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454091"},{"key":"e_1_3_2_2_21_1","unstructured":"Gray Kwong Jesse Ruderman and Jesse Schwartzentruber. 2022. Lithium algorithm. https:\/\/github.com\/MozillaSecurity\/lithium"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814319"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_2_26_1","unstructured":"LLVM. 2022. How to submit an LLVM bug report. https:\/\/llvm.org\/docs\/HowToSubmitABug.html"},{"key":"e_1_3_2_2_27_1","unstructured":"David Majnemer. 2014. InstCombine: Remove infinite loop caused by FoldOpIntoPhi. https:\/\/reviews.llvm.org\/rG7e2b9882b147bf9c26faa7b04b56884ec444bd64"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2491967"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840446"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2491967"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.7.91"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","unstructured":"Mateusz Pawlik and Nikolaus Augsten. 2011. RTED: a robust algorithm for the tree edit distance. arXiv preprint arXiv:1201.0230 https:\/\/doi.org\/10.14778\/2095686.2095692 10.14778\/2095686.2095692","DOI":"10.14778\/2095686.2095692"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775050.2633365"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613101"},{"key":"e_1_3_2_2_39_1","article-title":"On the Caching Schemes to Speed Up Program Reduction","volume":"1","author":"Tian Yongqiang","year":"2023","unstructured":"Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, and Chengnian Sun. 2023. On the Caching Schemes to Speed Up Program Reduction. ACM Trans. Softw. Eng. Methodol., 1, 1 (2023), January, Article 1, 30 pages.","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468625"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2949568"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831740"},{"key":"e_1_3_2_2_44_1","unstructured":"Wikipedia. 2022. Standard Portable Intermediate Representation. https:\/\/en.wikipedia.org\/wiki\/Standard_Portable_Intermediate_Representation"},{"key":"e_1_3_2_2_45_1","unstructured":"Wikipedia. 2022. Static single-assignment form. https:\/\/en.wikipedia.org\/wiki\/Static_single-assignment_form"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586049"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","unstructured":"Mengxiao Zhang Zhenyang Xu Yongqiang Tian Yu Jiang and Chengnian Sun. 2023. Artifact for \"PPR: Pairwise Program Reduction\". https:\/\/doi.org\/10.5281\/zenodo.8267114 10.5281\/zenodo.8267114","DOI":"10.5281\/zenodo.8267114"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1512475.1512492"}],"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.3616275","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3616275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:03Z","timestamp":1750178163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3616275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":50,"alternative-id":["10.1145\/3611643.3616275","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3616275","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"}}]}}