• Sign in
  • Sign up
conf.researchr.org / Emily First
  • ICSE 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

Share
xMon 4 Jul 07:58
using conf.researchr.org (v1.56.1)
Support page
Sign Up