POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
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