ICFP 2021
Sun 22 - Sat 28 August 2021
Vadim Zaliva

Registered user since Tue 19 Jan 2016

Name:Vadim Zaliva
Country:United States
Affiliation:University of Cambridge, UK
Personal website:http://www.crocodile.org/
Research interests:Programming Languages, Formal Methods, Functional Programming, Type Theory, Machine Learning

Contributions

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

ICFP 2021-profile
View general profile