{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T20:47:35Z","timestamp":1774039655398,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2019306, 2212371, 2403135"],"award-info":[{"award-number":["2019306, 2212371, 2403135"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3669940.3707262","type":"proceedings-article","created":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T12:28:01Z","timestamp":1738844881000},"page":"1020-1034","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["SmoothE: Differentiable E-Graph Extraction"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3785-3413","authenticated-orcid":false,"given":"Yaohui","family":"Cai","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, New York, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5234-2316","authenticated-orcid":false,"given":"Kaixin","family":"Yang","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, New York, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6482-5855","authenticated-orcid":false,"given":"Chenhui","family":"Deng","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, New York, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3481-307X","authenticated-orcid":false,"given":"Cunxi","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, College Park, Maryland, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0778-0308","authenticated-orcid":false,"given":"Zhiru","family":"Zhang","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, New York, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-008-0001-1"},{"key":"e_1_3_2_1_2_1","volume-title":"The first and second max-sat evaluations. Journal on Satisfiability, Boolean Modeling and Computation, 4(2--4):251--278","author":"Argelich Josep","year":"2008","unstructured":"Josep Argelich, Chu-Min Li, Felip Manya, and Jordi Planes. The first and second max-sat evaluations. Journal on Satisfiability, Boolean Modeling and Computation, 4(2--4):251--278, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2023.3303431"},{"key":"e_1_3_2_1_4_1","first-page":"16","volume-title":"Proceedings of the twenty-sixth RAMP symposium","author":"Christian","year":"2014","unstructured":"Christian Bliek1\u00fa, Pierre Bonami, and Andrea Lodi. Solving mixedinteger quadratic programming problems with ibm-cplex: a progress report. Proceedings of the twenty-sixth RAMP symposium, pages 16--17, 2014."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571207"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0070369"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649329.3656246"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656401"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"},{"key":"e_1_3_2_1_10_1","first-page":"1029","volume-title":"Seer: Super-optimization explorer for high-level synthesis using e-graph rewriting. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Cheng Jianyi","year":"2024","unstructured":"Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, and Theo Drane. Seer: Super-optimization explorer for high-level synthesis using e-graph rewriting. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 1029--1044, 2024."},{"key":"e_1_3_2_1_11_1","volume-title":"Abstract interpretation on e-graphs. arXiv preprint arXiv:2203.09191","author":"Coward Samuel","year":"2022","unstructured":"Samuel Coward, George A Constantinides, and Theo Drane. Abstract interpretation on e-graphs. arXiv preprint arXiv:2203.09191, 2022."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH54963.2022.00016"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247797"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH61463.2024.00014"},{"key":"e_1_3_2_1_15_1","first-page":"337","volume-title":"Z3: An efficient smt solver. Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"Moura Leonardo De","year":"2008","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner. Z3: An efficient smt solver. Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 337--340, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_17_1","first-page":"199","volume-title":"Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991--1992","author":"Dershowitz Nachum","year":"2005","unstructured":"Nachum Dershowitz. A taste of rewrite systems. Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991--1992 McMaster University, Hamilton, Ontario, Canada, pages 199--228, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066100.1066102"},{"key":"e_1_3_2_1_19_1","first-page":"4171","volume-title":"Conf. of the North American Chapter of the Assoc. for Computational Linguistics (NAACL)","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. Bert: Pre-training of deep bidirectional transformers for language understanding. Conf. of the North American Chapter of the Assoc. for Computational Linguistics (NAACL), pages 4171--4186, 2019."},{"key":"e_1_3_2_1_20_1","volume-title":"Pad\u00e9 approximation for the exponential of a block triangular matrix. Linear Algebra and its Applications, 308(1--3):183--202","author":"Dieci Luca","year":"2000","unstructured":"Luca Dieci and Alessandra Papini. Pad\u00e9 approximation for the exponential of a block triangular matrix. Linear Algebra and its Applications, 308(1--3):183--202, 2000."},{"key":"e_1_3_2_1_21_1","unstructured":"Matthias Fey. pytorch_sparse. https:\/\/github.com\/rusty1s\/pytorch_ sparse."},{"key":"e_1_3_2_1_22_1","unstructured":"Oliver Flatt. Extraction gym. https:\/\/github.com\/egraphsgood\/extraction-gym."},{"key":"e_1_3_2_1_23_1","first-page":"257","volume-title":"Cbc user guide. Emerging theory, methods, and applications","author":"Forrest John","year":"2005","unstructured":"John Forrest and Robin Lougee-Heimer. Cbc user guide. Emerging theory, methods, and applications, pages 257--277, 2005."},{"key":"e_1_3_2_1_24_1","first-page":"1097","volume-title":"Adifference based adder graph heuristic for multiple constant multiplication problems. Int'l Symp. on Circuits and Systems (ISCAS)","author":"Gustafsson Oscar","year":"2007","unstructured":"Oscar Gustafsson. Adifference based adder graph heuristic for multiple constant multiplication problems. Int'l Symp. on Circuits and Systems (ISCAS), pages 1097--1100, 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"e_1_3_2_1_26_1","volume-title":"EGRAPHS 2023 workshop","author":"He Mike","year":"2023","unstructured":"Mike He, Haichen Dong, Sharad Malik, and Aarti Gupta. Improving term extraction with acyclic constraints. EGRAPHS 2023 workshop, 2023."},{"key":"e_1_3_2_1_27_1","volume-title":"Alan S Willsky, and David Maxwell Chickering. Loopy belief propagation: convergence and effects of message errors. Journal of Machine Learning Research (JMLR), 6(5)","author":"Ihler Alexander T","year":"2005","unstructured":"Alexander T Ihler, John W Fisher III, Alan S Willsky, and David Maxwell Chickering. Loopy belief propagation: convergence and effects of message errors. Journal of Machine Learning Research (JMLR), 6(5), 2005."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1795555"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656445"},{"key":"e_1_3_2_1_30_1","first-page":"330","volume-title":"Mediabench: A tool for evaluating and synthesizing multimedia and communications systems. Int'l Symp. on Microarchitecture (MICRO)","author":"Lee Chunho","year":"1997","unstructured":"Chunho Lee, Miodrag Potkonjak, and William H Mangione-Smith. Mediabench: A tool for evaluating and synthesizing multimedia and communications systems. Int'l Symp. on Microarchitecture (MICRO), pages 330--335, 1997."},{"key":"e_1_3_2_1_31_1","first-page":"467","volume-title":"Conf. on Uncertainty in Artificial Intelligence (UAI)","author":"Murphy Kevin P","year":"1999","unstructured":"Kevin P Murphy, Yair Weiss, and Michael I Jordan. Loopy belief propagation for approximate inference: an empirical study. Conf. on Uncertainty in Artificial Intelligence (UAI), pages 467--475, 1999."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/909447"},{"key":"e_1_3_2_1_33_1","volume-title":"Simplification by cooperating decision procedures. ACM Trans. on Programming Languages and Systems (TOPLAS), 1(2):245--257","author":"Nelson Greg","year":"1979","unstructured":"Greg Nelson and Derek C Oppen. Simplification by cooperating decision procedures. ACM Trans. on Programming Languages and Systems (TOPLAS), 1(2):245--257, 1979."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428234"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_36_1","volume-title":"A short course on graphical models. The junction tree algorithms","author":"Paskin Mark","year":"2003","unstructured":"Mark Paskin. A short course on graphical models. The junction tree algorithms, 2003."},{"key":"e_1_3_2_1_37_1","volume-title":"Conf. on Neural Information Processing Systems (NeurIPS), 32","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, et al. Pytorch: An imperative style, high-performance deep learning library. Conf. on Neural Information Processing Systems (NeurIPS), 32, 2019."},{"key":"e_1_3_2_1_38_1","volume-title":"bzip2 and libbzip2. avaliable at http:\/\/www. bzip. org","author":"Seward Julian","year":"1996","unstructured":"Julian Seward. bzip2 and libbzip2. avaliable at http:\/\/www. bzip. org, 1996."},{"key":"e_1_3_2_1_39_1","volume-title":"Very deep convolutional networks for large-scale image recognition. Int'l Conf. on Learning Representations (ICLR)","author":"Simonyan Karen","year":"2015","unstructured":"Karen Simonyan and Andrew Zisserman. Very deep convolutional networks for large-scale image recognition. Int'l Conf. on Learning Representations (ICLR), 2015."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460945.3464953"},{"key":"e_1_3_2_1_41_1","volume-title":"There and back again: A netlist's tale with much egraphin'. arXiv preprint arXiv:2404.00786","author":"Smith Gus Henry","year":"2024","unstructured":"Gus Henry Smith, Zachary D Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, and Jonathan Balkind. There and back again: A netlist's tale with much egraphin'. arXiv preprint arXiv:2404.00786, 2024."},{"key":"e_1_3_2_1_42_1","unstructured":"Michael B. Stepp. Equality Saturation: Engineering Challenges and Applications. PhD thesis University of California San Diego 2011."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/321879.321884"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_45_1","first-page":"19","volume-title":"Automatic generation of vectorizing compilers for customizable digital signal processors. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Thomas Samuel","year":"2024","unstructured":"Samuel Thomas and James Bornholt. Automatic generation of vectorizing compilers for customizable digital signal processors. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 19--34, 2024."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1134782.1134792"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM53951.2022.9786123"},{"key":"e_1_3_2_1_48_1","first-page":"874","volume-title":"Vectorization for digital signal processors via equality saturation. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Hattum Alexa Van","year":"2021","unstructured":"Alexa Van Hattum, Rachit Nigam, Vincent T Lee, James Bornholt, and Adrian Sampson. Vectorization for digital signal processors via equality saturation. Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 874--886, 2021."},{"key":"e_1_3_2_1_49_1","volume-title":"Spores: Sum-product optimization via relational equality saturation for large scale linear algebra. Int'l Conf. on Very Large Data Bases (VLDB), 13(11)","author":"Wang Yisu Remy","year":"2020","unstructured":"Yisu Remy Wang, Shana Hutchison, Jonathan Leang, Bill Howe, and Dan Suciu. Spores: Sum-product optimization via relational equality saturation for large scale linear algebra. Int'l Conf. on Very Large Data Bases (VLDB), 13(11), 2020."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"e_1_3_2_1_51_1","volume-title":"Rewriting history: Repurposing domain-specific cgras. arXiv preprint arXiv:2309.09112","author":"Woodruff Jackson","year":"2023","unstructured":"Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, and Michael FP O'Boyle. Rewriting history: Repurposing domain-specific cgras. arXiv preprint arXiv:2309.09112, 2023."},{"key":"e_1_3_2_1_52_1","volume-title":"Carpentry compiler. ACM Trans. on Graphics (TOG), 38(6):1--14","author":"Wu Chenming","year":"2019","unstructured":"Chenming Wu, Haisen Zhao, Chandrakana Nandi, Jeffrey I Lipton, Zachary Tatlock, and Adriana Schulz. Carpentry compiler. ACM Trans. on Graphics (TOG), 38(6):1--14, 2019."},{"key":"e_1_3_2_1_53_1","volume-title":"Conf. on Machine Learning and Systems (MLSys), 3:255--268","author":"Yang Yichen","year":"2021","unstructured":"Yichen Yang, Phitchaya Phothilimthana, Yisu Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. Equality saturation for tensor graph superoptimization. Conf. on Machine Learning and Systems (MLSys), 3:255--268, 2021."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218643"},{"key":"e_1_3_2_1_55_1","unstructured":"Yihong Zhang. The e-graph extraction problem is np-complete. https:\/\/effect.systems\/blog\/egraph-extraction.html."},{"key":"e_1_3_2_1_56_1","volume-title":"ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), 7:468--492","author":"Zhang Yihong","year":"2023","unstructured":"Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey. Better together: Unifying datalog and equality saturation. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), 7:468--492, 2023."},{"key":"e_1_3_2_1_57_1","volume-title":"Conf. on Neural Information Processing Systems (NeurIPS), 31","author":"Zheng Xun","year":"2018","unstructured":"Xun Zheng, Bryon Aragam, Pradeep K Ravikumar, and Eric P Xing. Dags with no tears: Continuous optimization for structure learning. Conf. on Neural Information Processing Systems (NeurIPS), 31, 2018."},{"key":"e_1_3_2_1_58_1","first-page":"1","volume-title":"Design Automation Conf. (DAC)","author":"Zhou Yuan","year":"2019","unstructured":"Yuan Zhou, Haoxing Ren, Yanqing Zhang, Ben Keller, Brucek Khailany, and Zhiru Zhang. Primal: Power inference using machine learning. Design Automation Conf. (DAC), pages 1--6, 2019."}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Rotterdam Netherlands","acronym":"ASPLOS '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707262","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3669940.3707262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:45:54Z","timestamp":1755787554000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":58,"alternative-id":["10.1145\/3669940.3707262","10.1145\/3669940"],"URL":"https:\/\/doi.org\/10.1145\/3669940.3707262","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}