{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:39:57Z","timestamp":1758123597164,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,5]],"date-time":"2023-06-05T00:00:00Z","timestamp":1685923200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National Natural Science Foundation of China","award":["U19A2062"],"award-info":[{"award-number":["U19A2062"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,5]]},"DOI":"10.1145\/3583781.3590239","type":"proceedings-article","created":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T22:40:19Z","timestamp":1685572819000},"page":"581-586","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["ESFO: Equality Saturation for FIRRTL Optimization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-6732-2111","authenticated-orcid":false,"given":"Yan","family":"Pi","sequence":"first","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0645-8484","authenticated-orcid":false,"given":"Hongji","family":"Zou","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7498-3909","authenticated-orcid":false,"given":"Tun","family":"Li","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7498-3909","authenticated-orcid":false,"given":"Wanxia","family":"Qu","sequence":"additional","affiliation":[{"name":"National University of Defense Technology, Changsha, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9608-5808","authenticated-orcid":false,"given":"Hai","family":"Wan","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2023,6,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2016.11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203780"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2020.2997704"},{"key":"e_1_3_2_1_4_1","unstructured":"Ross Daly Lenny Truong and Pat Hanrahan. 2018. Invoking and Linking Generators from Multiple Hardware Languages using CoreIR."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090892"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147027"},{"key":"e_1_3_2_1_7_1","volume-title":"SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits","author":"Gupta Sumit","year":"2004","unstructured":"Sumit Gupta, Rajesh Gupta, and Nikil Dutt. 2004. SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits. Springer US."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"volume-title":"Techniques for Program Verification. Ph. D. Dissertation","author":"Gregory Nelson Charles","key":"e_1_3_2_1_9_1","unstructured":"Nelson Charles Gregory. 1980. Techniques for Program Verification. Ph. D. Dissertation. Stanford University, United States-California. AAI8011683."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(1:10)2011"},{"volume-title":"Practical and Flexible Equality Saturation. Ph. D. Dissertation","author":"Willsey Max","key":"e_1_3_2_1_11_1","unstructured":"Max Willsey. 2021. Practical and Flexible Equality Saturation. Ph. D. Dissertation. University of Washington, USA. https:\/\/hdl.handle.net\/1773\/47423"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446707"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407799"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485496"},{"key":"e_1_3_2_1_16_1","volume-title":"Mangpo Phitchaya Phothilimtha, and Yisu Remy Wang","author":"Yang Yichen","year":"2021","unstructured":"Yichen Yang, Mangpo Phitchaya Phothilimtha, and Yisu Remy Wang. 2021. Equality Saturation for Tensor Graph Superoptimization. CoRR abs\/2101.01332 (2021).https:\/\/arxiv.org\/abs\/2101.01332"}],"event":{"name":"GLSVLSI '23: Great Lakes Symposium on VLSI 2023","sponsor":["SIGDA ACM Special Interest Group on Design Automation"],"location":"Knoxville TN USA","acronym":"GLSVLSI '23"},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583781.3590239","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583781.3590239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:05Z","timestamp":1750178225000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583781.3590239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,5]]},"references-count":16,"alternative-id":["10.1145\/3583781.3590239","10.1145\/3583781"],"URL":"https:\/\/doi.org\/10.1145\/3583781.3590239","relation":{},"subject":[],"published":{"date-parts":[[2023,6,5]]},"assertion":[{"value":"2023-06-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}