External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Equality Saturation Theory Exploration à la Carte

Anjali Pal, Brett Saiki, Ryan Tjoa, Cynthia Richey, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi. Equality Saturation Theory Exploration à la Carte. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1034-1062, October 2023. [doi]

Authors

Anjali Pal

This author has not been identified. Look up 'Anjali Pal' in Google

Brett Saiki

This author has not been identified. Look up 'Brett Saiki' in Google

Ryan Tjoa

This author has not been identified. It may be one of the following persons: Look up 'Ryan Tjoa' in Google

Cynthia Richey

This author has not been identified. Look up 'Cynthia Richey' in Google

Amy Zhu

This author has not been identified. Look up 'Amy Zhu' in Google

Oliver Flatt

This author has not been identified. Look up 'Oliver Flatt' in Google

Max Willsey

This author has not been identified. Look up 'Max Willsey' in Google

Zachary Tatlock

This author has not been identified. Look up 'Zachary Tatlock' in Google

Chandrakana Nandi

This author has not been identified. Look up 'Chandrakana Nandi' in Google
runs on