{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:29:34Z","timestamp":1790936974025,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"ONR","award":["N00014-18-1-2037"],"award-info":[{"award-number":["N00014-18-1-2037"]}]},{"name":"NSF","award":["1730697"],"award-info":[{"award-number":["1730697"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454091","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:49Z","timestamp":1624553929000},"page":"1003-1016","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Logical bytecode reduction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1947-7928","authenticated-orcid":false,"given":"Christian Gram","family":"Kalhauge","sequence":"first","affiliation":[{"name":"University of California at Los Angeles, USA \/ DTU, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4747-365X","authenticated-orcid":false,"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409738"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806643"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_3_2_2_5_1","first-page":"544","volume-title":"European Conference on Object-Oriented Programming","author":"Glew Neal","year":"2004","unstructured":"Neal Glew and Jens Palsberg . 2004 . Type-Safe Method Inlining. Science of Computing Programming, 52 (2004), 281\u2013306. Preliminary version in Proceedings of ECOOP\u201902 , European Conference on Object-Oriented Programming , pages 525\u2013 544 , Springer-Verlag ( LNCS 2374), Malaga, Spain , June 2002. Neal Glew and Jens Palsberg. 2004. Type-Safe Method Inlining. Science of Computing Programming, 52 (2004), 281\u2013306. Preliminary version in Proceedings of ECOOP\u201902, European Conference on Object-Oriented Programming, pages 525\u2013544, Springer-Verlag ( LNCS 2374), Malaga, Spain, June 2002."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009871"},{"key":"e_1_3_2_2_7_1","unstructured":"Guardsquare. 2020. ProGuard. https:\/\/github.com\/Guardsquare\/proguard  Guardsquare. 2020. ProGuard. https:\/\/github.com\/Guardsquare\/proguard"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/320385.320395"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.146"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.3262201"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338956"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.4679316"},{"key":"e_1_3_2_2_15_1","volume-title":"Complexity of Computer Computations","author":"Karp Richard M.","unstructured":"Richard M. Karp . 1972. Reducibility among Combinatorial Problems . In Complexity of Computer Computations , R. Miller and J. Thatcher (Eds.). Plenum Press , 85\u2013103. Richard M. Karp. 1972. Reducibility among Combinatorial Problems. In Complexity of Computer Computations, R. Miller and J. Thatcher (Eds.). Plenum Press, 85\u2013103."},{"key":"e_1_3_2_2_16_1","volume-title":"Donaldson","author":"MacIver David R.","year":"2020","unstructured":"David R. MacIver and Alastair F . Donaldson . 2020 . Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer. In ECOOP\u2019 20. David R. MacIver and Alastair F. Donaldson. 2020. Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer. In ECOOP\u201920."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of ACM SIGPLAN International Workshop on State Of the Art in Program Analysis.","author":"Palsberg Jens","year":"2018","unstructured":"Jens Palsberg and Cristina Lopes . 2018 . NJR: A Normalized Java Resource. In SOAP\u201918 , Proceedings of ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. Jens Palsberg and Cristina Lopes. 2018. NJR: A Normalized Java Resource. In SOAP\u201918, Proceedings of ACM SIGPLAN International Workshop on State Of the Art in Program Analysis."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386017"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_3"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(81)90008-0"},{"key":"e_1_3_2_2_24_1","unstructured":"Jacob Stanley. 2017. Hedgehog. https:\/\/hackage.haskell.org\/package\/hedgehog  Jacob Stanley. 2017. Hedgehog. https:\/\/hackage.haskell.org\/package\/hedgehog"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180236"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_38"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320414"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454091","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":27,"alternative-id":["10.1145\/3453483.3454091","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454091","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}