Statistics
Publications
1
Citations
14
H-Index
1
Active since
2022
Affiliations
École Normale Supérieure de Lyon(Current)
Alban Reynaud is an author at École Normale Supérieure de Lyon.
Publications per year
2022–2022
1
1
Modular verification of op-based CRDTs in separation logic
Abel Nieto, Léon Gondelman, Alban Reynaud et al. · Proceedings of the ACM on Programming Languages · 2022 · 14 citations · Full text
1–1 of 1