VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Calvin Beck

Registered user since Wed 10 Jul 2019

Name:Calvin Beck
Country:Canada
Affiliation:University of Pennsylvania, USA
Research interests:LLVM, Compilers, Memory Models, Types, Formal Verification, Coq

Contributions

Show activities from other conferences

Using general profile