ICFP/SPLASH 2025 (series) / Calvin Beck
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
2025
ICFP/SPLASH
Using general profile