Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Talia Lily Ringer
conf.researchr.org general profile
FSE 2025 profile
ICFP/SPLASH 2025 profile
ICSE 2025 profile
PLDI 2026 profile
Not registered as user
Name:
Talia Lily Ringer
Country:
United States
Affiliation:
University of Illinois Urbana-Champaign
Contributions
2026
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2025
SPLASH
Author of Proof Repair across Quotient Type Equivalences within the OOPSLA-track
ICSE
Author of QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning within the Research Track-track
Share
x
Mon 27 Oct 18:40