• Sign in
  • Sign up
conf.researchr.org / Emily First
  • FSE 2024 profile
  • ICFP/SPLASH 2025 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
Emily First

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
xFri 23 May 00:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up