Alban Reynaud -

Registered user since Sat 7 Nov 2020

Name:Alban Reynaud

Country:France

Affiliation:ENS Lyon

Contributions

SPLASH 2022	Author of Modular Verification of Op-Based CRDTs in Separation Logic within the V-OOPSLA-track
POPL 2021	Author of A Practical Mode System for Recursive Definitions within the POPL-track
ML 2019	Author of A right-to-left type system for value recursion within the ML 2019-track