Combining Precision Tuning and Rewriting. - Brett Saiki; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (ARITH, 2021)

Rewrite rule inference using equality saturation. - Chandrakana Nandi; Max Willsey; Amy Zhu; Yisu Remy Wang; Brett Saiki; Adam Anderson 004; Adriana Schulz; Dan Grossman; Zachary Tatlock (Proc. ACM Program. Lang., 2021)

Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting. - Edward Misback; Caleb C. Chan; Brett Saiki; Eunice Jun; Zachary Tatlock; Pavel Panchekha (UIST, 2023)

Equality Saturation Theory Exploration à la Carte. - Anjali Pal; Brett Saiki; Ryan Tjoa; Cynthia Richey; Amy Zhu; Oliver Flatt; Max Willsey; Zachary Tatlock; Chandrakana Nandi (Proc. ACM Program. Lang., 2023)

Target-Aware Implementation of Real Expressions. - Brett Saiki; Jackson Brough; Jonas Regehr; Jesús Ponce; Varun Pradeep; Aditya Akhileshwaran; Zachary Tatlock; Pavel Panchekha (ASPLOS (1), 2025)