Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Calvin Beck
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2023 profile
ICFP 2024 profile
Registered user since Wed 10 Jul 2019
Name:
Calvin Beck
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 within the ICFP Papers and Events-track
2023
ICFP
Accessibility Co-Chair in Organizing Committee
2021
ICFP
Author of Modular, Compositional, and Executable Formal Semantics for LLVM IR within the Research Papers-track
Share
x
Sat 27 Jul 02:40