Matthieu Perrin

58
Documents

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

41
7
7
6
5
5
5
4
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
34
15
3
3
2
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

State-machine replication for planet-scale systems

Vitor Enes , Carlos Baquero , Tuanir França Rezende , Alexey Gotsman , Matthieu Perrin et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Randomized Consensus: Common Coins Are not the Holy Grail!

Achour Mostefaoui , Matthieu Perrin , Julien Weibel

LS2N-Nantes Université. 2024

Rapport hal-04571212v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

D.1.3 – Protocols for emergent localities

Davide Frey , Achour Mostefaoui , Matthieu Perrin , Anne-Marie Kermarrec , Christopher Maddock et al.

[Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016

Rapport (rapport technique) hal-01343348v1
Deposit thumbnail

D.1.2 – Modular quasi-causal data structures

Davide Frey , Roy Friedman , Achour Mostefaoui , Matthieu Perrin , Michel Raynal et al.

[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015

Rapport (rapport de recherche) hal-01223119v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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