Emily First -

Registered user since Mon 2 Nov 2020

Name:Emily First

Affiliation:University of Massachusetts Amherst

Contributions

SPLASH 2021	Author of TacTok: Semantics-Aware Proof Synthesis within the SIGPLAN Papers-track
ICSE 2022	Author of Diversity-Driven Automated Formal Verification within the Technical Track-track
SPLASH 2020	Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track