Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Emily First
conf.researchr.org general profile
ICSE 2022 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Thu 18 Aug 22:04