Emily First

About me

I am in my final year as a PhD student in Computer Science at UMass Amherst, Manning College of Information and Computer Sciences. I work with Yuriy Brun in the Laboratory for Software Engineering Research (LASER). My research is at the intersection of software engineering, programming languages, and machine learning. Specifically, I focus on creating tools to automatically generate proofs of software correctness in Coq and Isabelle/HOL. I received a BS in Math and Computer Science from Harvey Mudd College (May 2017).

Research and Publications

Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Under review.

Passport: Improving Automated Formal Verification Using Identifiers
Alex Sanchez-Stern*, Emily First*, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
To appear in TOPLAS 2023.
arXiv github (* Co-first authors)

Proofster: Automated Formal Verification
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun.
To appear at ICSE 2023 (demo track).
preprint, tool

Diversity-Driven Automated Formal Verification
Emily First, Yuriy Brun
ICSE 2022
ACM SIGSOFT Distinguished Paper Award
video, doi, github, VM

TacTok: Semantics-Aware Proof Synthesis
Emily First, Yuriy Brun, Arjun Guha
video, doi, github, VM


Email: efirst@cs.umass.edu