Monography
-
Distributed Systems - Concurrency and Consistency
Elsevier and ISTE Press, 2017
[ French version ]
Matthieu Perrin
Associate professor
at the University of Nantes
LS2N, GDD team
Publications
International journals
-
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
[ paper ] -
Crash-tolerant causal broadcast in O(n) messages
with Achour Mostéfaoui, Michel Raynal and Jiannong Cao
IPL, Information Processing Letters, 2019
[ paper ] -
Extending Causal Consistency to any Object Defined by a Sequential Specification
with Achour Mostéfaoui and Michel Raynal
Electronic Bulletin of EATCS, 2018
[ paper ] -
A Simple Object that Spans the Whole Consensus Hierarchy.
with Achour Mostéfaoui and Michel Raynal
PPL, Parallel Processing Letters, 2018
[ paper ] -
On the Complexity of Concurrent Multiset Rewriting
with Marin Bertier and Cédric Tédeschi
IJFCS, International Journal of Foundations of Computer Sciences, 2015
[ paper ]
International conferences
-
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'21, International Symposium on Distributed Computing, 2021
-
Collaborative SPARQL Query Processing for Decentralized Semantic Data
with Arnaud Grall, Hala Skaf-Molli and Pascal Molli
DEXA'20, The 31st International Conference on Database and Expert Systems Applications, 2020 [ article ] -
Extending the Wait-free Hierarchy to Multi-threaded Systems
with Achour Mostéfaoui and Grégoire Bonin
PODC'20, ACM Symposium on Principles of Distributed Computing, 2020
[ paper | slides | video ] -
State-Machine Replication for Planet-Scale Systems
with Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman and Pierre Sutra
Eurosys'20, The 2020 European Systems Conference , 2020
[ paper ] -
A New Insight into Local Coin-Based Randomized Consensus
with Achour Mostéfaoui and Michel Raynal
PRDC'19, IEEE Pacific Rim International Symposium on Dependable Computing, 2019
[ paper ] -
Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model
with Grégoire Bonin and Achour Mostéfaoui
DISC'19 (short paper), International Symposium on Distributed Computing, 2019
[ paper | extended version ] -
Does the Operational Model Capture Partition Tolerance in Distributed Systems?
with Grégoire Bonin and Achour Mostéfaoui
PaCT'19 (best paper), International Conference on Parallel Computing Technologies, 2019
[ paper | extended version | slides ] -
Modelling the Compatibility of Licenses.
with Benjamin Moreau, Patricia Serrano-Alvarado and Emmanuel Desmontils
ESWC'19, Extended Semantic Web Conference, 2019
[ paper | demo ] -
Separating Lock-Freedom from Wait-Freedom
with Hagit Attiya, Armando Castañeda and Danny Hendler
PODC'18, ACM Symposium on Principles of Distributed Computing, 2018
[ paper ] -
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits
with Damien Imbs, Achour Mostéfaoui and Michel Raynal
ICDCN'18, International Conference on Distributed Computing and Networking, 2018
[ paper | slides ] -
Which Broadcast Abstraction Captures k-Set Agreement?
with Damien Imbs, Achour Mostéfaoui and Michel Raynal
DISC'17, International Symposium on Distributed Computing, 2017
[ paper ] -
On Composition and Implementation of Sequential Consistency
with Matoula Petrolia, Achour Mostéfaoui and Claude Jard
DISC'16, International Symposium on Distributed Computing, 2016
[ paper | proof ] -
Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems
with Davide Frey, Achour Mostéfaoui, Pierre-Louis Roman and François Taïani
SRDS'16, Symposium on Reliable Distributed Systems, 2016
[ paper ] -
Causal Consistency: Beyond Memory
with Achour Mostéfaoui and Claude Jard
PPoPP'16, Principles and Practice of Parallel Programming, 2016
[ paper | slides ] -
Tracking causal dependencies in Web services orchestrations defined in ORC
with Claude Jard and Achour Mostéfaoui
NETYS'15, The international Conference on NETworked sYStems, 2015
[ paper | slides | proof ] -
Update Consistency for Wait-free Concurrent Objects
with Achour Mostéfaoui and Claude Jard
IPDPS'15, IEEE International Parallel and Distributed Processing Symposium, 2015
[ paper | slides ] -
Brief Announcement: Update Consistency in Partitionable Systems
with Achour Mostéfaoui and Claude Jard
DISC'14 (short paper), International Symposium on Distributed Computing, 2014
[ short paper | slides ]
French conferences
-
Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads
with Achour Mostéfaoui and Grégoire Bonin
AlgoTel'21, Rencontres Francophones sur les aspects algorithmiques des télécommunications, 2021
[ article ]
-
Modéliser la compatibilité entre les licences
with Benjamin Moreau, Patricia Serrano-Alvarado and Emmanuel Desmontils
IC'20, Journées francophones d’Ingénierie des Connaissances, 2020
[ paper ]
-
Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle
with Claude Jard and Achour Mostéfaoui
MSR'13 (poster), Modélisation des Systèmes Réactifs, 2013
[ abstract | slides | poster ]
PhD thesis
08/08/2020