conf.researchr.org / 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
2024
ICFP
- Author of A Two-Phase Infinite/Finite Low-Level Memory Model within the Artifact Evaluation-track
- Accessibility Co-Chair in Organizing Committee
- Author of A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction within the ICFP Papers and Events-track