{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:56:42Z","timestamp":1781218602460,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T00:00:00Z","timestamp":1781481600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,15]]},"DOI":"10.1145\/3814987.3814988","type":"proceedings-article","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:09:35Z","timestamp":1781215775000},"page":"15-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Compile-Time Java Stream Fusion via mapMulti"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6370-0678","authenticated-orcid":false,"given":"Yegor","family":"Bugayenko","sequence":"first","affiliation":[{"name":"Huawei, Shenzhen, China"},{"name":"Innopolis University, Kazan, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8545-4797","authenticated-orcid":false,"given":"Maxim","family":"Trunnikov","sequence":"additional","affiliation":[{"name":"Huawei, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2420-5675","authenticated-orcid":false,"given":"Vladimir","family":"Zakharov","sequence":"additional","affiliation":[{"name":"Huawei, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS54210.2022.00012"},{"key":"e_1_3_2_1_2_1","unstructured":"Aggelos Biboudis Nick Palladinos and Yannis Smaragdakis. 2014. Clash of the Lambdas. arXiv:1406.6631 [cs.PL]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.122"},{"key":"e_1_3_2_1_4_1","unstructured":"Yegor Bugayenko and Maxim Trunnikov. 2021. \ud835\udf11-Calculus: Object-Oriented Formalism. arXiv:2111.13384 [cs.PL]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"Yegor Bugayenko Maxim Trunnikov and Vladimir Zakharov. 2026. Compile-Time Java Stream Fusion via mapMulti. doi:10.5281\/zenodo .19837769 10.5281\/zenodo.19837769","DOI":"10.5281\/zenodo"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141494"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291220.1291199"},{"key":"e_1_3_2_1_8_1","volume-title":"Graal IR: An Extensible Declarative Intermediate Representation.","author":"Duboscq Gilles","year":"2013","unstructured":"Gilles Duboscq, Lukas Stadler, Thomas W\u00fcrthinger, Doug Simon, Christian Wimmer, and Hanspeter M\u00f6ssenb\u00f6ck. 2013. Graal IR: An Extensible Declarative Intermediate Representation."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2614628.2614630"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297033"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_12_1","unstructured":"G. W. Hamilton. 2002. Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24276-2_2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528412"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656415"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093333.3009880"},{"key":"e_1_3_2_1_19_1","unstructured":"Oleg Kiselyov Tomoaki Kobayashi and Nick Palladinos. 2024. Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation. arXiv:2412.15768 [cs.PL]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133909"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3540543961_7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428236"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993513"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689922326X"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394451.3397204"},{"key":"e_1_3_2_1_26_1","volume-title":"Java Stream Optimization Through Program Fusion. https:\/\/hdl.handle.net\/1822\/59688. [Online","author":"Torres Ribeiro Francisco Jos\u00e9","year":"2025","unstructured":"Francisco Jos\u00e9 Torres Ribeiro. 2018. Java Stream Optimization Through Program Fusion. https:\/\/hdl.handle.net\/1822\/59688. [Online; accessed 23-07-2025]."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1711506.1711508"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3569449"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224221"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598120"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research (CASCON'99)","author":"Vall\u00e9e-Rai Raja","year":"1999","unstructured":"Raja Vall\u00e9e-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. 1999. Soot: A Java Bytecode Optimization Framework. In Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research (CASCON'99). 214-224. doi:10.5555\/ 781995.782008"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90147-A"}],"event":{"name":"SOAP '26: 15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","location":"Boulder CO USA","acronym":"SOAP '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:09:47Z","timestamp":1781215787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3814987.3814988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,15]]},"references-count":32,"alternative-id":["10.1145\/3814987.3814988","10.1145\/3814987"],"URL":"https:\/\/doi.org\/10.1145\/3814987.3814988","relation":{},"subject":[],"published":{"date-parts":[[2026,6,15]]},"assertion":[{"value":"2026-06-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}