Write a Blog >>
Elizabeth Dinella

Registered user since Wed 27 May 2020

Name: Elizabeth Dinella

Affiliation: University of Pennsylvania

Personal website: https://www.seas.upenn.edu/~edinella/

Contributions

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

POPL 2020-profile
View general profile