Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Emily First
conf.researchr.org general profile
FSE 2024 profile
ICFP/SPLASH 2025 profile
ICSE 2024 profile
ICSE 2025 profile
ICSE 2026 profile
Registered user since Tue 28 Nov 2023
Name:
Emily First
Country:
United States
Affiliation:
University of California, San Diego
Contributions
2026
ICSE
Committee Member in Research Track within the Research Track-track
2025
SPLASH
Committee Member in OOPSLA Review Committee within the OOPSLA-track
ICSE
Author of Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification within the Research Track-track
2024
ESEC/FSE
Author of CoqPyt: Proof Navigation in Python in the Era of LLMs within the Demonstrations-track
ICSE
SMeW - Co-Chair in Organising Committee
Committee Member in Organizing Committee within the SMeW - Student Mentoring Workshop-track
Share
x
Mon 5 May 20:12
