-
egg: Fast and Extensible Equality Saturation
Proceedings of the ACM on Programming Languages 5(POPL), Article 23, January 2021
Authors: Max Willsey, Yihong Wang, Chandrakana Nandi, Zachary Tatlock, Michael Stepp, Sorin Lerner, and Dan Grossman
-
Equality Saturation: A New Approach to Optimization
Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009)
Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner
-
Equality Saturation: A New Approach to Optimization
Logical Methods in Computer Science 7(1), 2011
Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner