Alban Reynaud

Alban Reynaud

École Normale Supérieure de Lyon - Lyon / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5084814
Normal Superior School of Lyon
person_outline Alban Reynaud's MOST POPULAR ARTICLES
1-) Modular verification of op-based CRDTs in separation logicA Nieto, L Gondelman, A Reynaud, A Timany, L BirkedalProceedings of the ACM on Programming Languages 6 (OOPSLA2), 1788-1816, 2022112022
2-) Verifying a solver for linear mixed integer arithmetic in Isabelle/HOLR Bottesch, MW Haslbeck, A Reynaud, R ThiemannNASA Formal Methods Symposium, 233-250, 202042020
3-) A practical mode system for recursive definitionsA Reynaud, G Scherer, J YallopProceedings of the ACM on Programming Languages 5 (POPL), 1-29, 20213*2021
4-) Linear inequalitiesR Bottesch, A Reynaud, R ThiemannArchive of Formal Proofs, 201912019
5-) Internship Report–Extending a Verified SMT Solver for Mixed-Integer Linear ArithmeticA Reynaud2019