Scaling integer arithmetic in probabilistic programs. - William X. Cao; Poorva Garg; Ryan Tjoa; Steven Holtzen; Todd D. Millstein; Guy Van den Broeck (UAI, 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)