xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021

Registered user since Wed 10 Jul 2019

Name:Calvin Beck
Country:United States
Affiliation:University of Pennsylvania

Contributions

ICFP 2021 Modular, Compositional, and Executable Formal Semantics for LLVM IR
Show activities from other conferences

ICFP 2021-profile
View general profile