We stand with Ukraine  

Alban Reynaud

Orcid: 0000-0003-4047-7770

According to our database1, Alban Reynaud authored at least 7 papers between 2018 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact).
[BibTeX]
[DOI]
Abel Nieto
,
Léon Gondelman
,
Alban Reynaud
,
Amin Timany
,
Lars Birkedal
Dataset, July, 2022

Modular Verification of Op-Based CRDTs in Separation Logic (Proof Artifact).
[BibTeX]
[DOI]
Abel Nieto
,
Léon Gondelman
,
Alban Reynaud
,
Amin Timany
,
Lars Birkedal
Dataset, July, 2022

Modular verification of op-based CRDTs in separation logic.
[BibTeX]
[DOI]
Abel Nieto
,
Léon Gondelman
,
Alban Reynaud
,
Amin Timany
,
Lars Birkedal
Proc. ACM Program. Lang., 2022

2021
A practical mode system for recursive definitions.
[BibTeX]
[DOI]
Alban Reynaud
,
Gabriel Scherer
,
Jeremy Yallop
Proc. ACM Program. Lang., 2021

2020
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL.
[BibTeX]
[DOI]
Ralph Bottesch
,
Max W. Haslbeck
,
Alban Reynaud
,
René Thiemann
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Linear Inequalities.
[BibTeX]
[DOI]
Ralph Bottesch
,
Alban Reynaud
,
René Thiemann
Arch. Formal Proofs, 2019

2018
A right-to-left type system for mutually-recursive value definitions.
[BibTeX]
[DOI]
Alban Reynaud
,
Gabriel Scherer
,
Jeremy Yallop
CoRR, 2018


  Loading...