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)

Fail Faster: Staging and Fast Randomness for High-Performance PBT. - Cynthia Richey; Joseph W. Cutler; Harrison Goldstein; Benjamin C. Pierce (CoRR, 2025)