• Sign in
  • Sign up
conf.researchr.org / Calvin Beck
  • ICFP 2021 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2025 profile
  • POPL 2026 profile
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

2026

POPL

  • Artifact Evaluation Co-Chair in Organizing Committee

2025

ICFP/SPLASH

  • Accessibility Chair in Organizing Committee

CoqPL

  • Author of Vellvm: Formalizing the Informal within the CoqPL 2025-track

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

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
xTue 20 May 05:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up