Publications

You can find here a list of my publications. You can also refer to my dblp input.

Journals

1. Process-commutative distributed objects: From cryptocurrencies to Byzantine-Fault-Tolerant CRDTs.
   Davide Frey, LG, Michel Raynal, François Taïani. Theoretical Computer Science 2024.

Conferences

1. Population Protocols over Ordered Agents.
   Michael Blondin, Michaël Cadilhac, Benjamin Courchesne, LG, Corto Mascle, Isa Vialard. Accepted to appear at ICALP 2026.

2. Wait-Only Broadcast Protocols are Easier to Verify.
   LG, Arnaud Sangnier, Nathalie Sznajder. MFCS 2025.

3. Phase-Bounded Broadcast Networks over Topologies of Communication.
   LG, Arnaud Sangnier, Nathalie Sznajder. CONCUR 2024.
   [arxiv]

4. Safety Verification of Wait-Only Non-Blocking Broadcast Protocols.
   LG, Arnaud Sangnier, Nathalie Sznajder. Petri Nets 2024. Best Paper Award.
   [arxiv]

5. Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
   LG, Corto Mascle, Nicolas Waldburger. FoSSaCS 2024.
   [arxiv]

6. Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous.
   LG, Arnaud Sangnier, Nathalie Sznajder. CONCUR 2023.
   [arxiv]

7. Parameterized Analysis of Reconfigurable Broadcast Networks.
   A.R. Balasubramanian, LG, Chana Weil-Kennedy. FoSSaCS 2022.
   [arxiv] and [Erratum]

8. Consensus-Free Ledgers When Operations of Distinct Processes are Commutative.
   Davide Frey, LG, Michel Raynal, François Taïani. PaCT 2021.
   [hal]

Thesis

Wait or Act: Parameterized Verification with Wait-Only Protocols and Non-Blocking Communication. LG, Doctoral thesis defended the 30.09.2025. Latest version of the manuscript here.