Arnaud Daby-Seesaram

According to our database, Arnaud Daby-Seesaram authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Modular Verification of State-Based CRDTs in Separation Logic (Artifact).

Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal

Dagstuhl Artifacts Ser., 2023

Modular Verification of State-Based CRDTs in Separation Logic.

Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023