Alban Reynaud

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Derivation Rules

Integer Arithmetic

Abductive Reasoning

Top Venues

Proc. ACM Program. Lang.

Arch. Formal Proofs

Publications

Abel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal
Modular verification of op-based CRDTs in separation logic. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
A practical mode system for recursive definitions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL. NFM (2020)
Ralph Bottesch, Alban Reynaud, René Thiemann
Linear Inequalities. Arch. Formal Proofs 2019 (2019)
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
A right-to-left type system for mutually-recursive value definitions. CoRR (2018)