{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T03:35:08Z","timestamp":1769657708664,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN2020-05889"],"award-info":[{"award-number":["RGPIN2020-05889"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003151","name":"Fonds de recherche du Qu\u00e9bec \u2013 Nature et technologies","doi-asserted-by":"publisher","award":["304858"],"award-info":[{"award-number":["304858"]}],"id":[{"id":"10.13039\/501100003151","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003151","name":"Fonds de recherche du Qu\u00e9bec \u2013 Nature et technologies","doi-asserted-by":"publisher","award":["370894"],"award-info":[{"award-number":["370894"]}],"id":[{"id":"10.13039\/501100003151","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,28]]},"DOI":"10.1145\/3771775.3786266","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:23Z","timestamp":1769611583000},"page":"94-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel and Customizable Equality Saturation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0381-9690","authenticated-orcid":false,"given":"Jonathan","family":"Van der Cruysse","sequence":"first","affiliation":[{"name":"McGill University, Montr\u00e9al, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5225-5111","authenticated-orcid":false,"given":"Abd-El-Aziz","family":"Zayed","sequence":"additional","affiliation":[{"name":"McGill University, Montr\u00e9al, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2377-264X","authenticated-orcid":false,"given":"Mai Jacob","family":"Peng","sequence":"additional","affiliation":[{"name":"McGill University, Montr\u00e9al, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4811-2469","authenticated-orcid":false,"given":"Christophe","family":"Dubach","sequence":"additional","affiliation":[{"name":"McGill University, Montr\u00e9al, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,1,28]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"An Inquiry into Database Query Optimisation with Equality Saturation and Reinforcement Learning. Diss","author":"Barbulescu George-Octavian","unstructured":"George-Octavian Barbulescu. 2023. An Inquiry into Database Query Optimisation with Equality Saturation and Reinforcement Learning. Diss. University of Cambridge."},{"key":"e_1_3_2_2_2_1","unstructured":"George-Octavian B\u0103rbulescu Taiyi Wang Zak Singh and Eiko Yoneki. 2024. Learned graph rewriting with equality saturation: A new paradigm in relational query rewrite and beyond. arXiv preprint arXiv:2407.12794."},{"key":"e_1_3_2_2_3_1","volume-title":"E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. arXiv preprint arXiv:2504.11574.","author":"Chen Chen","year":"2025","unstructured":"Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, and Hongce Zhang. 2025. E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. arXiv preprint arXiv:2504.11574."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640392"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3583131.3590346"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656019.3689611"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632900"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"e_1_3_2_2_11_1","unstructured":"Jules Merckx Tim Besard and Bjorn De Sutter. 2025. Equality Saturation for Optimizing High-Level Julia IR. arxiv:2502.17075. arxiv:2502.17075"},{"key":"e_1_3_2_2_12_1","volume-title":"Bjorn De Sutter, and Tobias Grosser","author":"Merckx Jules","year":"2025","unstructured":"Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng, Bjorn De Sutter, and Tobias Grosser. 2025. eqsat: An Equality Saturation Dialect for Non-destructive Rewriting. arxiv:2505.09363. arxiv:2505.09363"},{"key":"e_1_3_2_2_13_1","unstructured":"Rodrigo Mesquita. 2022. hegg: Equality Saturation in Haskell. https:\/\/github.com\/alt-romes\/hegg Accessed: 2025-08-20"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_13"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622834"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3501768"},{"key":"e_1_3_2_2_21_1","volume-title":"Slotted E-Graphs. In Proceedings of the ACM on Programming Languages, PLDI","author":"Schneider Rudi","year":"2025","unstructured":"Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andr\u00e9s Goens, Thomas K\u0153 hler, and Michel Steuwer. 2025. Slotted E-Graphs. In Proceedings of the ACM on Programming Languages, PLDI 2025. 9, ACM."},{"key":"e_1_3_2_2_22_1","unstructured":"Saul Shanabrook. 2025. egglog-python: Python bindings for the egglog Rust library. https:\/\/github.com\/egraphs-good\/egglog-python"},{"key":"e_1_3_2_2_23_1","volume-title":"Deep reinforcement learning for equality saturation. MPhil Research Project","author":"Singh Zak","unstructured":"Zak Singh. 2022. Deep reinforcement learning for equality saturation. MPhil Research Project. University of Cambridge, June."},{"key":"e_1_3_2_2_24_1","volume-title":"Incremental Equality Saturation. In EGRAPHS Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI","author":"Soi Rupanshu","year":"2025","unstructured":"Rupanshu Soi, Benjamin Driscoll, Ke Wang, and Alex Aiken. 2025. Incremental Equality Saturation. In EGRAPHS Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025). Seoul, South Korea. https:\/\/rupanshusoi.github.io\/pdfs\/egraphs-25.pdf"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/321879.321884"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3617232.3624873"},{"key":"e_1_3_2_2_28_1","volume-title":"Foresight: A Scala Equality Saturation Library. https:\/\/github.com\/jonathanvdc\/foresight","author":"der Cruysse Jonathan Van","year":"2025","unstructured":"Jonathan Van der Cruysse. 2025. Foresight: A Scala Equality Saturation Library. https:\/\/github.com\/jonathanvdc\/foresight"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444879"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.17955956"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446707"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3763062"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407799"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"e_1_3_2_2_35_1","volume-title":"Proceedings of Machine Learning and Systems, A. Smola, A. Dimakis, and I. Stoica (Eds.). 3, 255\u2013268","author":"Yang Yichen","year":"2021","unstructured":"Yichen Yang, Phitchaya Phothilimthana, Yisu Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. 2021. Equality Saturation for Tensor Graph Superoptimization. In Proceedings of Machine Learning and Systems, A. Smola, A. Dimakis, and I. Stoica (Eds.). 3, 255\u2013268. https:\/\/proceedings.mlsys.org\/paper_files\/paper\/2021\/file\/cc427d934a7f6c0663e5923f49eba531-Paper.pdf"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708957"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591239"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498696"}],"event":{"name":"CC '26: 35th ACM SIGPLAN International Conference on Compiler Construction","location":"Sydney NSW Australia","acronym":"CC '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3771775.3786266","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T14:46:56Z","timestamp":1769611616000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3771775.3786266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,28]]},"references-count":38,"alternative-id":["10.1145\/3771775.3786266","10.1145\/3771775"],"URL":"https:\/\/doi.org\/10.1145\/3771775.3786266","relation":{},"subject":[],"published":{"date-parts":[[2026,1,28]]},"assertion":[{"value":"2026-01-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}