Concepedia

Emily First

EF

Statistics

Publications

4

Citations

150

H-Index

4

Active since

2020

Affiliations

University of Massachusetts Amherst(Current)

University of Illinois Urbana-Champaign

Emily First is an author at University of Massachusetts Amherst specializing in program analysis, verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware VerificationSoftware Testing

Publications per year

2020–2023

4

Publications

4

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

Emily First, Markus N. Rabe, Talia Ringer et al. · 2023 · 67 citations

Engineering, Verification, Automated Proof +19

TacTok: semantics-aware proof synthesis

Emily First, Yuriy Brun, Arjun Guha · Proceedings of the ACM on Programming Languages · 2020 · 37 citations · Full text

Engineering, Verification, Software Engineering +16

Diversity-driven automated formal verification

Emily First, Yuriy Brun · Proceedings of the 44th International Conference on Software Engineering · 2022 · 27 citations

Engineering, Machine Learning, Verification +17

Passport: Improving Automated Formal Verification Using Identifiers

Alex Sanchez-Stern, Emily First, Timothy Zhou et al. · ACM Transactions on Programming Languages and Systems · 2023 · 19 citations · Full text

Engineering, Information Security, Verification +19

1–4 of 4