conf.researchr.org / Vadim Zaliva
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/
Twitter:https://twitter.com/vzaliva
GitHub:https://github.com/vzaliva
Research interests:Programming Languages, Formal Methods, Functional Programming, Type Theory, Machine Learning

Contributions

CPP 2021 Author of How to verify an ASN.1 Protocol C-language Stack in Coq? within the Lightning Talks-track
ICFP 2021 Author of Modular, Compositional, and Executable Formal Semantics for LLVM IR within the Research Papers-track
CoqPL 2019 Author of Reification of Shallow-Embedded DSLs in Coq with Automated Verification within the CoqPL-track
FHPC 2018 Author of HELIX: A Case Study of a Formal Verification of High Performance Program Generation within the FHPC 2018-track