Accéder directement au contenu

Matthieu Perrin

43
Documents

Présentation

Matthieu Perrin is an assistant professor at [University of Nantes](http://www.univ-nantes.fr/33496937/1/fiche___pagelibre/&RH=INSTITUTIONNEL_FR&RF=INSTITUTIONNEL_EN) (France). He is involved in the [GDD](https://sites.google.com/site/gddlina/) team (distributed data management) at [LS2N](https://www.ls2n.fr/) (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.
Matthieu Perrin graduated at ENS Cachan-Bretagne in Rennes in 2012. He is currently a PhD student in the [GDD](https://sites.google.com/site/gddlina/) and [AeLoS](http://www.lina.univ-nantes.fr/?-AeLoS,280-.php) teams at [LINA](http://matthieu.p.perrin.free.fr/www.lina.univ-nantes.fr/?lang=en) (Laboratoire d'Informatique de Nantes Atlantique) at [University of Nantes](http://www.univ-nantes.fr/33496937/1/fiche___pagelibre/&RH=INSTITUTIONNEL_FR&RF=INSTITUTIONNEL_EN) under the supervision of [Claude Jard](http://pagesperso.lina.univ-nantes.fr/~jard-c/indexe.php) and [Achour Mostéfaoui](https://www.lina.univ-nantes.fr/?_Achour-MOSTEFAOUI,500_.php). His scientific interests focus on the modelisation of distributed systems, and in particular of weakly consistent shared objects.

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

State-Machine Replication for Planet-Scale Systems

Vitor Enes , Carlos Baquero , Tuanir França Rezende , Alexey Gotsman , Matthieu Perrin
EuroSys 2020, Apr 2020, Heraklion, Greece. ⟨10.1145/3342195.3387543⟩
Communication dans un congrès hal-02941693v1
Image document

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
Image document

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
Image document

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
Communication dans un congrès hal-02484661v1
Image document

A License-Based Search Engine

Benjamin Moreau , Patricia Serrano-Alvarado , Matthieu Perrin , Emmanuel Desmontils
16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portoroz, Slovenia
Communication dans un congrès hal-02097027v1
Image document

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
Image document

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
Image document

Modelling the Compatibility of Licenses

Benjamin Moreau , Patricia Serrano-Alvarado , Matthieu Perrin , Emmanuel Desmontils
16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portorož, Slovenia
Communication dans un congrès hal-02069076v1
Image document

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
Image document

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
Communication dans un congrès hal-02053248v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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 hal-01540010v1
Image document

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 hal-01476201v1
Image document

D.1.3 – Protocols for emergent localities

Davide Frey , Achour Mostefaoui , Matthieu Perrin , Anne-Marie Kermarrec , Christopher Maddock
[Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016
Rapport hal-01343348v1
Image document

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 hal-01174203v1
Image document

D.1.2 – Modular quasi-causal data structures

Davide Frey , Roy Friedman , Achour Mostefaoui , Matthieu Perrin , Michel Raynal
[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015
Rapport hal-01223119v1
Image document

Proof of the Instrumented Semantics for Orc

Matthieu Perrin , Claude Jard , Achour Mostefaoui
[Research Report] LINA-University of Nantes. 2015
Rapport hal-01101340v2
Image document

Consistent Shared Data Types: Beyond Memory

Matthieu Perrin , Matoula Petrolia , Achour Mostefaoui , Claude Jard
[Research Report] Université de Nantes. 2014
Rapport hal-01052437v1
Image document

On the Complexity of Concurrent Multiset Rewriting

Marin Bertier , Matthieu Perrin , Cédric Tedeschi
[Research Report] RR-8408, INRIA. 2013, pp.17
Rapport hal-00912554v1

Compression de séquences d'A.D.N. à base de grammaires minimales

Perrin Matthieu
[Stage] 2010, pp.14
Rapport inria-00536655v1
Image document

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