Modular verification of op-based CRDTs in separation logic A Nieto, L Gondelman, A Reynaud, A Timany, L Birkedal Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1788-1816, 2022 | 13 | 2022 |
Verifying a solver for linear mixed integer arithmetic in Isabelle/HOL R Bottesch, MW Haslbeck, A Reynaud, R Thiemann NASA Formal Methods Symposium, 233-250, 2020 | 4 | 2020 |
A practical mode system for recursive definitions A Reynaud, G Scherer, J Yallop Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021 | 3* | 2021 |
Linear inequalities R Bottesch, A Reynaud, R Thiemann Archive of Formal Proofs, 2019 | 1 | 2019 |
Internship Report–Extending a Verified SMT Solver for Mixed-Integer Linear Arithmetic A Reynaud | | 2019 |
Une architecture minimisant les échanges entre processeur et mémoire F de Dinechin, M Darrin, A Dudermel, S Michelland, A Reynaud ComPAS 2018-Conférence d’informatique en Parallélisme, Architecture et …, 2018 | | 2018 |