Write a Blog >>
Elizabeth Dinella

Registered user since Wed 27 May 2020

Name:Elizabeth Dinella
Affiliation:University of Pennsylvania

Contributions

POPL 2020 [T1] Building Program Reasoning Tools using LLVM and Z3
Show activities from other conferences

POPL 2020-profile
View general profile