Matthieu Perrin

Présentation

Matthieu Perrin is an assistant professor at University of Nantes (France). He is involved in the GDD team (distributed data management) at LS2N (Laboratoire des Sciences du Numérique de Nantes). His scientific interests focus on distributed computing, and in particular modeling weakly consistent shared objects in distributed systems.

Publications

Article dans une revue (8)

Differentiated consistency for worldwide gossips Davide Frey,Achour Mostefaoui,Matthieu Perrin,Pierre-Louis Roman,Francois Taiani IEEE Transactions on Parallel and Distributed Systems, 2023, 35 (11), pp.11461--11475. ⟨10.1109/TPDS.2022.3209150⟩ Article dans une revue hal-03797554v1
Extending the Wait-free Hierarchy to Multi-Threaded Systems Matthieu Perrin,Achour Mostefaoui,Grégoire Bonin,Ludmila Courtillat-Piazza Distributed Computing, 2022, 35, pp.375-398. ⟨10.1007/s00446-022-00425-x⟩ Article dans une revue hal-03819422v1
Separating lock-freedom from wait-freedom at every level of the consensus hierarchy Hagit Attiya,Armando Castañeda,Danny Hendler,Matthieu Perrin Journal of Parallel and Distributed Computing, 2022, 163, pp.181-197. ⟨10.1016/j.jpdc.2022.01.025⟩ Article dans une revue hal-05339232v1
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects Damien Imbs,Achour Mostéfaoui,Matthieu Perrin,Michel Raynal Theoretical Computer Science, 2021, 886, pp.49-68. ⟨10.1016/j.tcs.2021.06.044⟩ Article dans une revue hal-03304269v1
Crash-Tolerant Causal Broadcast in O(n) Messages Achour Mostefaoui,Matthieu Perrin,Michel Raynal,Jiannong Cao Information Processing Letters, 2019, 151, pp.1-9. ⟨10.1016/j.ipl.2019.105837⟩ Article dans une revue hal-02279523v1
Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification Matthieu Perrin,Achour Mostefaoui,Michel Raynal Bulletin- European Association for Theoretical Computer Science, 2018, pp.1-12 Article dans une revue hal-02053316v1
A Simple Object that Spans the Whole Consensus Hierarchy Achour Mostefaoui,Matthieu Perrin,Michel Raynal Parallel Processing Letters, 2018, 28 (02), pp.1850006. ⟨10.1142/S0129626418500068⟩ Article dans une revue hal-02053504v1
On the Complexity of Concurrent Multiset Rewriting Marin Bertier,Matthieu Perrin,Cédric Tedeschi International Journal of Foundations of Computer Science, 2016, 27 (1), ⟨10.1142/S0129054116500052⟩ Article dans une revue hal-01326849v1

Communication dans un congrès (30)

Invited Paper: On the Equivalence of Snapshot/Append Objects and Broadcast Abstractions under Byzantine Failures Vincent Kowalski,Achour Mostefaoui,Matthieu Perrin,Jolan Riallo 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2025), Nov 2025, Kathmandu, Nepal. pp.343-358, ⟨10.1007/978-3-032-11127-2_27⟩ Communication dans un congrès hal-05469383v1
No Symmetric Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems Sylvain Gay,Achour Mostéfaoui,Matthieu Perrin 28th International Conference on Principles of Distributed Systems (OPODIS 2024), Leibniz International Proceedings in Informatics (LIPIcs), Dec 2024, Lucca, Italy. ⟨10.4230/lipics.opodis.2024.21⟩ Communication dans un congrès hal-05521071v1
Byzantine-Tolerant Privacy-Preserving Atomic Register Vincent Kowalski,Achour Mostéfaoui,Matthieu Perrin,Sinchan Sengupta ICDCN 2025: 26th International Conference on Distributed Computing and Networking, Jan 2025, Hyderabad India, France. pp.201-210, ⟨10.1145/3700838.3700867⟩ Communication dans un congrès hal-05469304v1
SHARP : A Hybrid Approach for SPARQL Query Relaxation Ginwa Fakih,Patricia Serrano-Alvarado,Matthieu Perrin 21st International Conference on Semantic Systems (SEMANTiCS), Aug 2025, Vienna, Austria. pp.194 - 216, ⟨10.3233/SSW250020⟩ Communication dans un congrès hal-05228252v1
Invited Paper: Causal Mutual Byzantine Broadcast Vincent Kowalski,Achour Mostefaoui,Matthieu Perrin ApPLIED'24: 2024 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, Jun 2025, Nantes France, France. pp.1-8, ⟨10.1145/3663338.3663679⟩ Communication dans un congrès hal-05264461v1
Quelles Relations entre Lire/Ecrire et Envoyer/Recevoir dans les Systèmes Asynchrones avec Crashs de Processus ? Mathilde Déprés,Achour Mostefaoui,Matthieu Perrin,Michel Raynal AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. pp.1-4 Communication dans un congrès hal-04555445v1
Brief Announcement: No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems Sylvain Gay,Achour Mostefaoui,Matthieu Perrin PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.343-346, ⟨10.1145/3662158.3662818⟩ Communication dans un congrès hal-05302530v1
Atomic Register Abstractions for Byzantine-Prone Distributed Systems Vincent Kowalski,Achour Mostéfaoui,Matthieu Perrin 27th International Conference on Principles of Distributed Systems (OPODIS 2023), Leibniz International Proceedings in Informatics (LIPIcs), Dec 2023, Tokyo (Japan), Japan. ⟨10.4230/lipics.opodis.2023.35⟩ Communication dans un congrès hal-05528708v2
Une Implémentation Optimale pour SCD-Broadcast Byzantin Vincent Kowalski,Achour Mostefaoui,Matthieu Perrin AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France Communication dans un congrès hal-04567086v2
Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems Mathilde Déprés,Achour Mostéfaoui,Matthieu Perrin,Michel Raynal 37th International Symposium on Distributed Computing, DISC 2023, Oct 2023, L'Aquila, Italy. pp.16:1-16:24, ⟨10.4230/LIPICS.DISC.2023.16⟩ Communication dans un congrès hal-05211146v1
Brief Announcement: The MBroadcast Abstraction Mathilde Déprés,Achour Mostéfaoui,Matthieu Perrin,Michel Raynal ACM PODC 2023 - 42th ACM Symposium on Principles of Distributed Computing, Jun 2023, Orlando (FL), United States. pp.282-285, ⟨10.1145/3583668.3594569⟩ Communication dans un congrès hal-05211141v1
Wait-Free CAS-Based Algorithms: The Burden of the Past Denis Bédin,François Lépine,Achour Mostéfaoui,Damien Perez,Matthieu Perrin International Symposium on Distributed Computing (DISC), Oct 2021, Freiburg (Allemagne) - virtual conference, Germany. pp. 11:1-11:15, ⟨10.4230/LIPIcs.DISC.2021.11⟩ Communication dans un congrès hal-05218304v1
Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads Matthieu Perrin,Achour Mostéfaoui,Grégoire Bonin ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France Communication dans un congrès hal-03205368v1
Extending the Wait-free Hierarchy to Multi-Threaded Systems Matthieu Perrin,Achour Mostefaoui,Grégoire Bonin PODC '20: ACM Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, France. pp.21-30, ⟨10.1145/3382734.3405723⟩ Communication dans un congrès hal-02941703v1
Modéliser la Compatibilité Entre les Licences Benjamin Moreau,Patricia Serrano-Alvarado,Matthieu Perrin,Emmanuel Desmontils 31es Journées francophones d'Ingénierie des Connaissances (IC), Sébastien Ferré, Jun 2020, Angers, France Communication dans un congrès hal-02877913v1
State-machine replication for planet-scale systems Vitor Enes,Carlos Baquero,Tuanir França Rezende,Alexey Gotsman,Matthieu Perrinet al. The Fifteenth European Conference on Computer Systems (EuroSys), Apr 2020, Heraklion, Greece. pp.1-15, ⟨10.1145/3342195.3387543⟩ Communication dans un congrès hal-02941693v1
A License-Based Search Engine Benjamin Moreau,Patricia Serrano-Alvarado,Matthieu Perrin,Emmanuel Desmontils 16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portoroz, Slovenia. ⟨10.1007/978-3-030-32327-1_26⟩ Communication dans un congrès hal-02097027v1
A New Insight into Local Coin-Based Randomized Consensus Achour Mostefaoui,Matthieu Perrin,Michel Raynal PRDC 2019 - 24th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2019, Kyoto, Japan. pp.207-216, ⟨10.1109/PRDC47002.2019.00051⟩ Communication dans un congrès hal-02484620v1
Does the operational model capture partition tolerance in distributed systems? Grégoire Bonin,Achour Mostefaoui,Matthieu Perrin 15th International Conference on Parallel Computing Technologies, Aug 2019, Astana, Kazakhstan. ⟨10.1007/978-3-030-25636-4_31⟩ Communication dans un congrès hal-02484661v1
Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model Grégoire Bonin,Achour Mostefaoui,Matthieu Perrin International Symposium on Distributed Computing (DISC) 2019, Oct 2019, Budapest, Hungary Communication dans un congrès hal-02279627v1
Modelling the Compatibility of Licenses Benjamin Moreau,Patricia Serrano-Alvarado,Matthieu Perrin,Emmanuel Desmontils 16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portorož, Slovenia. ⟨10.1007/978-3-030-21348-0_17⟩ Communication dans un congrès hal-02069076v1
Separating Lock-Freedom from Wait-Freedom Hagit Attiya,Armando Castañeda,Danny Hendler,Matthieu Perrin The 37th ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. pp.41-50, ⟨10.1145/3212734.3212739⟩ Communication dans un congrès hal-02053248v1
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits Damien Imbs,Achour Mostefaoui,Matthieu Perrin,Michel Raynal ICDCN '18 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154296⟩ Communication dans un congrès hal-02053261v1
Which Broadcast Abstraction Captures k-Set Agreement? Damien Imbs,Achour Mostefaoui,Matthieu Perrin,Michel Raynal 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩ Communication dans un congrès hal-01787801v1
Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems Davide Frey,Achour Mostefaoui,Matthieu Perrin,Pierre-Louis Roman,François Taïani Proceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. pp.197-206, ⟨10.1109/SRDS.2016.032⟩ Communication dans un congrès hal-01344138v1
On Composition and Implementation of Sequential Consistency Matthieu Perrin,Matoula Petrolia,Achour Mostefaoui,Claude Jard 30th International Symposium on Distributed Computing, Sep 2016, Paris, France Communication dans un congrès hal-01347069v2
Causal Consistency: Beyond Memory Matthieu Perrin,Achour Mostefaoui,Claude Jard 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelone, Spain. ⟨10.1145/2851141.2851170⟩ Communication dans un congrès hal-01286755v1
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC Matthieu Perrin,Claude Jard,Achour Mostefaoui NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco Communication dans un congrès hal-01152761v1
Update Consistency for Wait-free Concurrent Objects Matthieu Perrin,Achour Mostefaoui,Claude Jard IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India Communication dans un congrès hal-01101657v1
Brief Announcement: Update Consistency in Partitionable Systems Matthieu Perrin,Achour Mostefaoui,Claude Jard DISC14 - 28th International Symposium on Distributed Computing, Oct 2014, Austin, United States Communication dans un congrès hal-01079112v1

Ouvrages (2)

Distributed Systems Matthieu Perrin ISTE Press - Elsevier, 2017, 9781785482267 Ouvrages hal-02484588v1
Concurrence et cohérence dans les systèmes répartis Matthieu Perrin ISTE Press, 2017, 978-1-78405-295-9 Ouvrages hal-02484598v1

Chapitre d'ouvrage (1)

Collaborative SPARQL Query Processing for Decentralized Semantic Data Arnaud Grall,Hala Skaf-Molli,Pascal Molli,Matthieu Perrin Database and Expert Systems Applications - 31st International Conference, {DEXA} 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part {I}, pp.320-335, 2020, ⟨10.1007/978-3-030-59003-1_21⟩ Chapitre d'ouvrage hal-03154375v1

Pré-publication, Document de travail (6)

No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems (Extended Version) Sylvain Gay,Achour Mostefaoui,Matthieu Perrin 2024 Pré-publication, Document de travail hal-04571653v1
Send/Receive Patterns versus Read/Write Patterns: the MB-Broadcast Abstraction (Extended Version) Mathilde Déprés,Achour Mostefaoui,Matthieu Perrin,Michel Raynal 2023 Pré-publication, Document de travail hal-04087447v1
Registre atomique préservant la vie privée tolérant aux byzantins Quentin Gomes dos Reis,Vincent Kowalski,Rodrigue Meunier,Matthieu Perrin,Gabriel Pouplin 2023 Pré-publication, Document de travail (working paper) hal-04211679v1
Causal Mutual Byzantine Broadcast Mathieu Féry,Vincent Kowalski,Florian Monsion,Achour Mostefaoui,Samuel Pénaultet al. 2023 Pré-publication, Document de travail (working paper) hal-04211703v1
Complexity of Update Consistent Universal Constructions Grégoire Bonin,Achour Mostefaoui,Matthieu Perrin,Olivier Ruas 2022 Pré-publication, Document de travail hal-03813789v1
Does the operational model capture partition tolerance in distributed systems? (Extended Version) Grégoire Bonin,Achour Mostefaoui,Matthieu Perrin 2019 Pré-publication, Document de travail hal-02055328v1

Rapport (10)

Randomized Consensus: Common Coins Are not the Holy Grail! Achour Mostefaoui,Matthieu Perrin,Julien Weibel LS2N-Nantes Université. 2024 Rapport hal-04571212v1
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version) Damien Imbs,Achour Mostefaoui,Matthieu Perrin,Michel Raynal [Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017 Rapport (rapport de recherche) hal-01476201v1
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits Damien Imbs,Achour Mostefaoui,Matthieu Perrin,Michel Raynal [Research Report] LIF, Université Aix-Marseille; LINA-University of Nantes; IMDEA Software Institute; Institut Universitaire de France; IRISA, Université de Rennes. 2017 Rapport (rapport de recherche) hal-01540010v1
D.1.3 – Protocols for emergent localities Davide Frey,Achour Mostefaoui,Matthieu Perrin,Anne-Marie Kermarrec,Christopher Maddocket al. [Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016 Rapport (rapport technique) hal-01343348v1
D.1.2 – Modular quasi-causal data structures Davide Frey,Roy Friedman,Achour Mostefaoui,Matthieu Perrin,Michel Raynalet al. [Research Report] D1.2, LINA-University of Nantes; IRISA. 2015 Rapport (rapport de recherche) hal-01223119v1
D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems Davide Frey,Achour Mostefaoui,Matthieu Perrin,François Taïani [Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015 Rapport (rapport technique) hal-01174203v1
Proof of the Instrumented Semantics for Orc Matthieu Perrin,Claude Jard,Achour Mostefaoui [Research Report] LINA-University of Nantes. 2015 Rapport (rapport de recherche) hal-01101340v2
Consistent Shared Data Types: Beyond Memory Matthieu Perrin,Matoula Petrolia,Achour Mostefaoui,Claude Jard [Research Report] Université de Nantes. 2014 Rapport (rapport de recherche) hal-01052437v1
On the Complexity of Concurrent Multiset Rewriting Marin Bertier,Matthieu Perrin,Cédric Tedeschi [Research Report] RR-8408, INRIA. 2013, pp.17 Rapport (rapport de recherche) hal-00912554v1
Compression de séquences d'A.D.N. à base de grammaires minimales Perrin Matthieu [Stage] 2010, pp.14 Rapport inria-00536655v1

Thèse (1)

Spécification des objets partagés dans les systèmes répartis sans-attente Matthieu Perrin Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français. ⟨NNT : ⟩ Thèse tel-01390700v1