Registered user since Wed 10 Jul 2019
Name:Calvin Beck
Country:Canada
Affiliation:University of Pennsylvania, USA
GitHub: https://github.com/Chobbes
Research interests:LLVM, Compilers, Memory Models, Types, Formal Verification, Coq
Contributions
Using general profile