{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T17:25:17Z","timestamp":1772990717722,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T00:00:00Z","timestamp":1647561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3,19]]},"DOI":"10.1145\/3497776.3517781","type":"proceedings-article","created":{"date-parts":[[2022,3,18]],"date-time":"2022-03-18T17:28:13Z","timestamp":1647624493000},"page":"54-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Caviar: an e-graph based TRS for automatic code optimization"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4644-2886","authenticated-orcid":false,"given":"Smail","family":"Kourta","sequence":"first","affiliation":[{"name":"NYU Abu Dhabi, United Arab Emirates \/ \u00c9cole nationale sup\u00e9rieure d'informatique, Algeria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2501-2679","authenticated-orcid":false,"given":"Adel Abderahmane","family":"Namani","sequence":"additional","affiliation":[{"name":"NYU Abu Dhabi, United Arab Emirates \/ \u00c9cole nationale sup\u00e9rieure d'informatique, Algeria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7032-8544","authenticated-orcid":false,"given":"Fatima","family":"Benbouzid-Si Tayeb","sequence":"additional","affiliation":[{"name":"\u00c9cole nationale sup\u00e9rieure d'informatique, Algeria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2713-8507","authenticated-orcid":false,"given":"Kim","family":"Hazelwood","sequence":"additional","affiliation":[{"name":"Meta AI, USA"}]},{"given":"Chris","family":"Cummins","sequence":"additional","affiliation":[{"name":"Meta AI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0664-4176","authenticated-orcid":false,"given":"Hugh","family":"Leather","sequence":"additional","affiliation":[{"name":"Meta AI, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9350-3998","authenticated-orcid":false,"given":"Riyadh","family":"Baghdadi","sequence":"additional","affiliation":[{"name":"NYU Abu Dhabi, United Arab Emirates"}]}],"member":"320","published-online":{"date-parts":[[2022,3,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3306346.3322967"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_1_3_1","volume-title":"Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock.","author":"Nandi Chandrakana","year":"2021","unstructured":"Chandrakana Nandi , Max Willsey , Amy Zhu , Yisu Remy Wang , Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock. 2021 . Rewrite Rule Inference Using Equality Saturation. CoRR , abs\/2108.10436 (2021), arXiv:2108.10436. arxiv:2108.10436 Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, and Zachary Tatlock. 2021. Rewrite Rule Inference Using Equality Saturation. CoRR, abs\/2108.10436 (2021), arXiv:2108.10436. arxiv:2108.10436"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322198"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428234"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737959"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_8_1","volume-title":"Pure Tensor Program Rewriting via Access Patterns (Representation Pearl). CoRR, abs\/2105.09377","author":"Smith Gus Henry","year":"2021","unstructured":"Gus Henry Smith , Andrew Liu , Steven Lyubomirsky , Scott Davidson , Joseph McMahan , Michael B. Taylor , Luis Ceze , and Zachary Tatlock . 2021. Pure Tensor Program Rewriting via Access Patterns (Representation Pearl). CoRR, abs\/2105.09377 ( 2021 ), arXiv:2105.09377. arxiv:2105.09377 Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, and Zachary Tatlock. 2021. Pure Tensor Program Rewriting via Access Patterns (Representation Pearl). CoRR, abs\/2105.09377 (2021), arXiv:2105.09377. arxiv:2105.09377"},{"key":"e_1_3_2_1_9_1","unstructured":"Michael Benjamin Stepp. 2011. Equality saturation: engineering challenges and applications. Ph. D. Dissertation. UC San Diego.  Michael Benjamin Stepp. 2011. Equality saturation: engineering challenges and applications. Ph. D. Dissertation. UC San Diego."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480915"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446707"},{"key":"e_1_3_2_1_12_1","unstructured":"Yisu Remy Wang Shana Hutchison Jonathan Leang Bill Howe and Dan Suciu. 2020. SPORES: sum-product optimization via relational equality saturation for large scale linear algebra. arXiv preprint arXiv:2002.07951.  Yisu Remy Wang Shana Hutchison Jonathan Leang Bill Howe and Dan Suciu. 2020. SPORES: sum-product optimization via relational equality saturation for large scale linear algebra. arXiv preprint arXiv:2002.07951."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"e_1_3_2_1_14_1","volume-title":"Yisu Remy Wang, Max Willsey, Sudip Roy, and Jacques Pienaar.","author":"Yang Yichen","year":"2021","unstructured":"Yichen Yang , Mangpo Phitchaya Phothilimtha , Yisu Remy Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. 2021 . Equality Saturation for Tensor Graph Superoptimization. CoRR , abs\/2101.01332 (2021), arXiv:2101.01332. arxiv:2101.01332 Yichen Yang, Mangpo Phitchaya Phothilimtha, Yisu Remy Wang, Max Willsey, Sudip Roy, and Jacques Pienaar. 2021. Equality Saturation for Tensor Graph Superoptimization. CoRR, abs\/2101.01332 (2021), arXiv:2101.01332. arxiv:2101.01332"}],"event":{"name":"CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction","location":"Seoul South Korea","acronym":"CC '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517781","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3497776.3517781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:26Z","timestamp":1750193366000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3497776.3517781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,18]]},"references-count":14,"alternative-id":["10.1145\/3497776.3517781","10.1145\/3497776"],"URL":"https:\/\/doi.org\/10.1145\/3497776.3517781","relation":{},"subject":[],"published":{"date-parts":[[2022,3,18]]},"assertion":[{"value":"2022-03-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}