Emily First

According to our database, Emily First authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Passport: Improving Automated Formal Verification Using Identifiers.

Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer

ACM Trans. Program. Lang. Syst., June, 2023

Getting More out of Large Language Models for Proofs.

Shizhuo Dylan Zhang, Talia Ringer, Emily First

CoRR, 2023

Baldur: Whole-Proof Generation and Repair with Large Language Models.

Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

PRoofster: Automated Formal Verification.

Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Diversity-Driven Automated Formal Verification.

Emily First, Yuriy Brun

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

TacTok: semantics-aware proof synthesis.

Emily First, Yuriy Brun, Arjun Guha

Proc. ACM Program. Lang., 2020