{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:14Z","timestamp":1775873534182,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"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":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523427","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"183-198","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Finding typing compiler bugs"],"prefix":"10.1145","author":[{"given":"Stefanos","family":"Chaliasos","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Thodoris","family":"Sotiropoulos","sequence":"additional","affiliation":[{"name":"Athens University of Economics and Business, Greece"}]},{"given":"Diomidis","family":"Spinellis","sequence":"additional","affiliation":[{"name":"Athens University of Economics and Business, Greece \/ Delft University of Technology, Netherlands"}]},{"given":"Arthur","family":"Gervais","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Benjamin","family":"Livshits","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Dimitris","family":"Mitropoulos","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"AFL compiler fuzzing. https:\/\/github.com\/agroce\/afl-compiler-fuzzer Online accessed","year":"2021","unstructured":"2019. AFL compiler fuzzing. https:\/\/github.com\/agroce\/afl-compiler-fuzzer Online accessed ; 23-10- 2021 2019. AFL compiler fuzzing. https:\/\/github.com\/agroce\/afl-compiler-fuzzer Online accessed; 23-10-2021"},{"key":"e_1_3_2_1_2_1","volume-title":"Fuzzing LLVM libraries and tools. https:\/\/llvm.org\/docs\/FuzzingLLVM.html Online accessed","year":"2021","unstructured":"2021. Fuzzing LLVM libraries and tools. https:\/\/llvm.org\/docs\/FuzzingLLVM.html Online accessed ; 07-11- 2021 2021. Fuzzing LLVM libraries and tools. https:\/\/llvm.org\/docs\/FuzzingLLVM.html Online accessed; 07-11-2021"},{"key":"e_1_3_2_1_3_1","volume-title":"Kotlin development stories. https:\/\/developer.android.com\/kotlin\/stories?linkId=94116374 Online accessed","year":"2021","unstructured":"2021. Kotlin development stories. https:\/\/developer.android.com\/kotlin\/stories?linkId=94116374 Online accessed ; 07-11- 2021 2021. Kotlin development stories. https:\/\/developer.android.com\/kotlin\/stories?linkId=94116374 Online accessed; 07-11-2021"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485500"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.70"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380381"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642963"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133917"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454092"},{"key":"e_1_3_2_1_17_1","volume-title":"https:\/\/www.eclemma.org\/jacoco\/ Online accessed","author":"Jacoco EclEmma","year":"2021","unstructured":"EclEmma. 2021. EclEmma Jacoco . https:\/\/www.eclemma.org\/jacoco\/ Online accessed ; 26-10- 2021 EclEmma. 2021. EclEmma Jacoco. https:\/\/www.eclemma.org\/jacoco\/ Online accessed; 26-10-2021"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3418933"},{"key":"e_1_3_2_1_19_1","volume-title":"The state of the Octoverse. https:\/\/octoverse.github.com\/ Online accessed","author":"Github Inc.","year":"2021","unstructured":"Github Inc. . 2021. The state of the Octoverse. https:\/\/octoverse.github.com\/ Online accessed ; 05-03- 2021 Github Inc.. 2021. The state of the Octoverse. https:\/\/octoverse.github.com\/ Online accessed; 05-03-2021"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009871"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771785"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276495"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428243"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_1_31_1","volume-title":"American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/ Online accessed","author":"Zalewski M.","year":"2021","unstructured":"M. Zalewski . 2013. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/ Online accessed ; 05-08- 2021 M. Zalewski. 2013. American fuzzy lop. https:\/\/lcamtuf.coredump.cx\/afl\/ Online accessed; 05-08-2021"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64437-6_7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382494.3410676"},{"key":"e_1_3_2_1_34_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman . 1998 . Differential testing for software . Digital Technical Journal , 10 , 1 (1998), 100 \u2013 107 . William M McKeeman. 1998. Differential testing for software. Digital Technical Journal, 10, 1 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.7.91"},{"key":"e_1_3_2_1_37_1","volume-title":"OpenJDK Jir deployment. https:\/\/bugs.openjdk.java.net Online accessed","author":"JDK.","year":"2021","unstructured":"Open JDK. 2021. OpenJDK Jir deployment. https:\/\/bugs.openjdk.java.net Online accessed ; 26-10- 2021 OpenJDK. 2021. OpenJDK Jir deployment. https:\/\/bugs.openjdk.java.net Online accessed; 26-10-2021"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485529"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909437.2909439"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143228"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00044"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984038"},{"key":"e_1_3_2_1_45_1","volume-title":"TIOBE index. https:\/\/www.tiobe.com\/tiobe-index\/ Online accessed","author":"TIOBE","year":"2021","unstructured":"TIOBE Software BV. 2021. TIOBE index. https:\/\/www.tiobe.com\/tiobe-index\/ Online accessed ; 05-03- 2021 TIOBE Software BV. 2021. TIOBE index. https:\/\/www.tiobe.com\/tiobe-index\/ Online accessed; 05-03-2021"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428261"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062379"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:16Z","timestamp":1750188676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":47,"alternative-id":["10.1145\/3519939.3523427","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523427","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}