Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Saatvik Lochan
conf.researchr.org general profile
PLDI 2026 profile
Registered user since Mon 15 Jun 2026
Name:
Saatvik Lochan
Affiliation:
University of Illinois Urbana-Champaign
Contributions
2026
EGRAPHS
Author of CERES: Making Equality Saturation Memory-Scalable within the EGRAPHS-track
Share
x
Thu 16 Jul 07:34