Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mark Barbone
conf.researchr.org general profile
ICFP 2024 profile
POPL 2023 profile
Not registered as user
Name:
Mark Barbone
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 ICFP Papers and Events-track
Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the Artifact Evaluation-track
2023
POPL
Author of Scalable Synthesis of Regular Expressions From Only Positive Examples within the Student Research Competition-track
Share
x
Thu 19 Dec 07:53