Talks

• [Nov 2025] Property graph replication with invariant preservation
• [Jul 2025] Formalising the foundation-Modelling and Verifying a Database Backend
• [Jun 2025] CALock: Topological multi-granularity locking in hierarchical data
• [Mar 2025] Towards local first graph databases
• [Dec 2024] CALock: Topological multi-granularity locking in hierarchical data
• [Nov 2024] Coordination-free graph replication with Invariant preservation
• [Jul 2023] Verrouillage multi-granularité dans les graphes orientés
• [Mar 2022] Designing and Implementing a Persistent Cache for a CRDT Data store