Matthieu Perrin

Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems.
with Mathilde Déprés, Achour Mostéfaoui and Michel Raynal
DISC (2023)
[ Short version ][ Byzantine-tolerant implementation ][ French version ]
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects.
with Damien Imbs, Achour Mostéfaoui and Michel Raynal
TCS - Theoretical Computer Science (2021)
[ Conference version ][ pdf ][ Slides ][ Byzantine-tolerant implementation ][ French Byzantine ]
Which Broadcast Abstraction Captures k-Set Agreement?.
with Damien Imbs, Achour Mostéfaoui and Michel Raynal
DISC (2017)
[ pdf ]
No Symmetric Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems.
with Sylvain Gay and Achour Mostéfaoui
OPODIS (2024)
[ Short Version ]
Crash-tolerant causal broadcast in O(n) messages.
with Achour Mostéfaoui, Michel Raynal and Jiannong Cao 0001
Inf. Process. Lett. (2019)
[ pdf ]

Extending the wait-free hierarchy to multi-threaded systems.
with Achour Mostéfaoui, Grégoire Bonin and Ludmila Courtillat-Piazza
Distributed Comput. (2022)
[ Short version ][ Conference version ][ Slides ][ Vidéo ][ French version ]
Wait-Free CAS-Based Algorithms: The Burden of the Past.
with Denis Bédin, François Lépine, Achour Mostéfaoui and Damien Perez
DISC (2021)
Separating lock-freedom from wait-freedom at every level of the consensus hierarchy.
with Hagit Attiya, Armando Castañeda and Danny Hendler
J. Parallel Distributed Comput. (2022)
[ Conference version ]
A Simple Object that Spans the Whole Consensus Hierarchy.
with Achour Mostéfaoui and Michel Raynal
Parallel Process. Lett. (2018)
[ pdf ]

Distributed Systems - Concurrency and Consistency
Monography - Elsevier & ISTE Press, 2017
Spécification des types de données abstraits dans les systèmes répartis sans-attente
PhD thesis - University of Nantes, 2016
[ slides ]
Causal consistency: beyond memory.
with Achour Mostéfaoui and Claude Jard
PPoPP (2016)
[ Vulgarized journal version ][ pdf ][ Slides ]
Update Consistency for Wait-Free Concurrent Objects.
with Achour Mostéfaoui and Claude Jard
IPDPS (2015)
[ Short version ][ Slides ]
Does the Operational Model Capture Partition Tolerance in Distributed Systems?
with Grégoire Bonin and Achour Mostéfaoui
PaCT (2019)
Differentiated Consistency for Worldwide Gossips.
with Davide Frey, Achour Mostéfaoui, Pierre-Louis Roman and François Taïani
IEEE Trans. Parallel Distributed Syst. (2023)
[ Conference version ][ pdf ]

State-machine replication for planet-scale systems.
with Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman and Pierre Sutra
EuroSys (2020)
[ pdf ]
On Composition and Implementation of Sequential Consistency.
with Matoula Petrolia, Achour Mostéfaoui and Claude Jard
DISC (2016)
[ Long version ]
Brief Announcement: Randomized Consensus: Common Coins Are not the Holy Grail!
with Achour Mostéfaoui and Julien Weibel
PODC (2024)
[ Preliminary version ]

Byzantine-Tolerant Privacy-Preserving Atomic Register.
with Vincent Kowalski, Achour Mostéfaoui and Sinchan Sengupta
ICDCN (2025)
[ Poster ]
Atomic Register Abstractions for Byzantine-Prone Distributed Systems.
with Vincent Kowalski and Achour Mostéfaoui
OPODIS (2023)

On the Complexity of Concurrent Multiset Rewriting.
with Marin Bertier and Cédric Tedeschi
Int. J. Found. Comput. Sci. (2016)
[ pdf ]
Collaborative SPARQL Query Processing for Decentralized Semantic Data.
with Arnaud Grall, Hala Skaf-Molli and Pascal Molli
DEXA (2020)
[ pdf ]
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.
with Claude Jard and Achour Mostéfaoui
NETYS (2015)
[ Long version ][ Slides ][ Poster ]

Modelling the Compatibility of Licenses.
with Benjamin Moreau, Patricia Serrano-Alvarado and Emmanuel Desmontils
ESWC - The Extended Semantic Web Conference (2019)
[ Demo ][ French version ]