Cynthia Richey

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Reinforcement Learning

Relational Databases

Top Venues

Proc. ACM Program. Lang.

Publications

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