egg: Easy, Efficient, and Extensible E-graphs. - Max Willsey; Yisu Remy Wang; Oliver Flatt; Chandrakana Nandi; Pavel Panchekha; Zachary Tatlock (CoRR, 2020)

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

An Interval Arithmetic for Robust Error Estimation. - Oliver Flatt; Pavel Panchekha (CoRR, 2021)

egg: Fast and extensible equality saturation. - Max Willsey; Chandrakana Nandi; Yisu Remy Wang; Oliver Flatt; Zachary Tatlock; Pavel Panchekha (Proc. ACM Program. Lang., 2021)

Small Proofs from Congruence Closure. - Oliver Flatt; Samuel Coward; Max Willsey; Zachary Tatlock; Pavel Panchekha (FMCAD, 2022)

Making Interval Arithmetic Robust to Overflow. - Oliver Flatt; Pavel Panchekha (ARITH, 2023)

Better Together: Unifying Datalog and Equality Saturation. - Yihong Zhang 004; Yisu Remy Wang; Oliver Flatt; David Cao; Philip Zucker; Eli Rosenthal; Zachary Tatlock; Max Willsey (Proc. ACM Program. Lang., 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)

Towards Producing Shorter Congruence Closure Proofs in a State-of-the-art SMT Solver (Extended Abstract). - Bruno Andreotti; Haniel Barbosa; Oliver Flatt (PAAR+SC²@IJCAR, 2024)