Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi. Equality Saturation Theory Exploration à la Carte. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1034-1062, October 2023. [doi]
Abstract is missing.