Monographie
-
Concurrence et cohérence dans les systèmes répartis
Elsevier et ISTE Press, 2017
[ version anglaise ]
Matthieu Perrin
Maître de conférences
à l'Université de Nantes
LS2N, équipe GDD
Publications
Revues internationales
-
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects
avec Damien Imbs, Achour Mostéfaoui et Michel Raynal
TCS, Theoretical Computer Science, 2021 [ article ]
-
Crash-tolerant causal broadcast in O(n) messages
avec Achour Mostéfaoui, Michel Raynal et Jiannong Cao
IPL, Information Processing Letters, 2019
[ article ] -
Extending Causal Consistency to any Object Defined by a Sequential Specification
avec Achour Mostéfaoui et Michel Raynal
Electronic Bulletin of EATCS, 2018
[ article ] -
A Simple Object that Spans the Whole Consensus Hierarchy.
avec Achour Mostéfaoui et Michel Raynal
PPL, Parallel Processing Letters, 2018
[ article ] -
On the Complexity of Concurrent Multiset Rewriting
avec Marin Bertier et Cédric Tédeschi
IJFCS, International Journal of Foundations of Computer Sciences, 2015
[ article ]
Conférences internationales
-
Wait-free CAS-based Algorithms: the Burden of the Past
avec Denis Bédin, François Lépine, Achour Mostéfaoui et Damien Perez
DISC'21, International Symposium on Distributed Computing, 2021
-
Collaborative SPARQL Query Processing for Decentralized Semantic Data
avec Arnaud Grall, Hala Skaf-Molli et 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
avec Achour Mostéfaoui et Grégoire Bonin
PODC'20, ACM Symposium on Principles of Distributed Computing, 2020
[ article | présentation | vidéo ] -
State-Machine Replication for Planet-Scale Systems
avec Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman et Pierre Sutra
Eurosys'20, The 2020 European Systems Conference , 2020
[ article ] -
A New Insight into Local Coin-Based Randomized Consensus
avec Achour Mostéfaoui et Michel Raynal
PRDC'19, IEEE Pacific Rim International Symposium on Dependable Computing, 2019
[ article ] -
Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model
avec Grégoire Bonin et Achour Mostéfaoui
DISC'19 (article court), International Symposium on Distributed Computing, 2019
[ article | version longue ] -
Does the Operational Model Capture Partition Tolerance in Distributed Systems?
avec Grégoire Bonin et Achour Mostéfaoui
PaCT'19 (meilleur article), International Conference on Parallel Computing Technologies, 2019
[ article | version longue | présentation ] -
Modelling the Compatibility of Licenses.
avec Benjamin Moreau, Patricia Serrano-Alvarado et Emmanuel Desmontils
ESWC'19, Extended Semantic Web Conference, 2019
[ article | démo ] -
Separating Lock-Freedom from Wait-Freedom
avec Hagit Attiya, Armando Castañeda et Danny Hendler
PODC'18, ACM Symposium on Principles of Distributed Computing, 2018
[ article ] -
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits
avec Damien Imbs, Achour Mostéfaoui et Michel Raynal
ICDCN'18, International Conference on Distributed Computing and Networking, 2018
[ article | présentation ] -
Which Broadcast Abstraction Captures k-Set Agreement?
avec Damien Imbs, Achour Mostéfaoui et Michel Raynal
DISC'17, International Symposium on Distributed Computing, 2017
[ article ] -
On Composition and Implementation of Sequential Consistency
avec Matoula Petrolia, Achour Mostéfaoui et Claude Jard
DISC'16, International Symposium on Distributed Computing, 2016
[ article | démonstration ] -
Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems
avec Davide Frey, Achour Mostéfaoui, Pierre-Louis Roman et François Taïani
SRDS'16, Symposium on Reliable Distributed Systems, 2016
[ article ] -
Causal Consistency: Beyond Memory
avec Achour Mostéfaoui et Claude Jard
PPoPP'16, Principles and Practice of Parallel Programming, 2016
[ article | présentation ] -
Tracking causal dependencies in Web services orchestrations defined in ORC
avec Claude Jard et Achour Mostéfaoui
NETYS'15, The international Conference on NETworked sYStems, 2015
[ article | présentation | démonstration ] -
Update Consistency for Wait-free Concurrent Objects
avec Achour Mostéfaoui et Claude Jard
IPDPS'15, IEEE International Parallel and Distributed Processing Symposium, 2015
[ article | présentation ] -
Brief Announcement: Update Consistency in Partitionable Systems
avec Achour Mostéfaoui et Claude Jard
DISC'14 (article court), International Symposium on Distributed Computing, 2014
[ article court | présentation ]
Conférences francophones
-
Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads
avec Achour Mostéfaoui et Grégoire Bonin
AlgoTel'21, Rencontres Francophones sur les aspects algorithmiques des télécommunications, 2021
[ article ]
-
Modéliser la compatibilité entre les licences
avec Benjamin Moreau, Patricia Serrano-Alvarado et Emmanuel Desmontils
IC'20, Journées francophones d’Ingénierie des Connaissances, 2020
[ article ]
-
Construction d'une sémantique concurrente par instrumentation
d'une sémantique opérationelle structurelle
avec Claude Jard et Achour Mostéfaoui
MSR'13 (poster), Modélisation des Systèmes Réactifs, 2013
[ résumé | présentation | poster ]
Thèse de doctorat
08/08/2020