• Sign in
  • Sign up
conf.researchr.org / Emily First
  • ESEC/FSE 2023 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • PLDI 2023 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
Emily First

Registered user since Mon 2 Nov 2020

Name:Emily First
Country:United States
Affiliation:University of California, San Diego

Contributions

2025

ICSE

  • Committee Member in Research Track within the Research Track-track

2023

ESEC/FSE

  • Author of Baldur: Whole-Proof Generation and Repair with Large Language Models within the Research Papers-track

PLDI

  • Author of Passport: Improving Automated Formal Verification Using Identifiers within the PLDI Research Papers-track

ICSE

  • Author of Proofster: Automated Formal Verification within the DEMO - Demonstrations-track

2022

ICSE

  • Author of Diversity-Driven Automated Formal Verification within the Technical Track-track

2021

SPLASH

  • Author of TacTok: Semantics-Aware Proof Synthesis within the SIGPLAN Papers-track

2020

SPLASH

  • Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track
Share
xSat 17 May 21:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up