conf.researchr.org / Santiago Zanella-Béguelin
Registered user since Fri 23 Oct 2015
Name: Santiago Zanella-Béguelin
Affiliation: Microsoft Research, n.n.
- Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track in POPL 2016
- Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017
- Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track in CPP 2018