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
Affiliation:
UCSD
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
Sat 27 Jul 14:47