Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aditya Giridharan
conf.researchr.org general profile
ICFP 2024 profile
PLDI 2023 profile
Registered user since Tue 9 May 2023
Name:
Aditya Giridharan
Country:
United States
Affiliation:
University of California at San Diego
Contributions
2024
ICFP
Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the Artifact Evaluation-track
Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the ICFP Papers and Events-track
2023
EGRAPHS
Author of Optimizing Beta-Reduction in E-Graphs within the EGRAPHS 2023-track
Share
x
Mon 18 Nov 21:23