- 34
- 5
- 3
- 3
- 1
- 1
Matthieu Perrin
47
Documents
Presentation
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
- 32
- 7
- 7
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 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
|
Quelles Relations entre Lire/Ecrire et Envoyer/Recevoir dans les Systèmes Asynchrones avec Crashs de Processus ?AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. pp.1-4
Conference papers
hal-04555445v1
|
|
Une Implémentation Optimale pour SCD-Broadcast ByzantinAlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
Conference papers
hal-04567086v2
|
|
Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threadsALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
Conference papers
hal-03205368v1
|
|
Modéliser la Compatibilité Entre les Licences31es Journées francophones d'Ingénierie des Connaissances (IC), Sébastien Ferré, Jun 2020, Angers, France
Conference papers
hal-02877913v1
|
|
Extending the Wait-free Hierarchy to Multi-Threaded SystemsPODC '20: ACM Symposium on Principles of Distributed Computing, Aug 2020, Virtual Event Italy, France. pp.21-30, ⟨10.1145/3382734.3405723⟩
Conference papers
hal-02941703v1
|
|
State-machine replication for planet-scale systemsThe Fifteenth European Conference on Computer Systems (EuroSys), Apr 2020, Heraklion, Greece. pp.1-15, ⟨10.1145/3342195.3387543⟩
Conference papers
hal-02941693v1
|
|
Does the operational model capture partition tolerance in distributed systems?15th International Conference on Parallel Computing Technologies, Aug 2019, Astana, Kazakhstan. ⟨10.1007/978-3-030-25636-4_31⟩
Conference papers
hal-02484661v1
|
|
Modelling the Compatibility of Licenses16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portorož, Slovenia. ⟨10.1007/978-3-030-21348-0_17⟩
Conference papers
hal-02069076v1
|
|
A License-Based Search Engine16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portoroz, Slovenia. ⟨10.1007/978-3-030-32327-1_26⟩
Conference papers
hal-02097027v1
|
|
A New Insight into Local Coin-Based Randomized ConsensusPRDC 2019 - 24th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2019, Kyoto, Japan. pp.207-216, ⟨10.1109/PRDC47002.2019.00051⟩
Conference papers
hal-02484620v1
|
|
Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival ModelInternational Symposium on Distributed Computing (DISC) 2019, Oct 2019, Budapest, Hungary
Conference papers
hal-02279627v1
|
|
Separating Lock-Freedom from Wait-FreedomThe 37th ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. pp.41-50, ⟨10.1145/3212734.3212739⟩
Conference papers
hal-02053248v1
|
|
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability LimitsICDCN '18 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154296⟩
Conference papers
hal-02053261v1
|
|
Which Broadcast Abstraction Captures k-Set Agreement?31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩
Conference papers
hal-01787801v1
|
|
Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systemsProceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. pp.197-206, ⟨10.1109/SRDS.2016.032⟩
Conference papers
hal-01344138v1
|
|
On Composition and Implementation of Sequential Consistency30th International Symposium on Distributed Computing, Sep 2016, Paris, France
Conference papers
hal-01347069v2
|
|
Causal Consistency: Beyond Memory21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelone, Spain. ⟨10.1145/2851141.2851170⟩
Conference papers
hal-01286755v1
|
|
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORCNETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco
Conference papers
hal-01152761v1
|
|
Update Consistency for Wait-free Concurrent ObjectsIPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India
Conference papers
hal-01101657v1
|
|
Brief Announcement: Update Consistency in Partitionable SystemsDISC14 - 28th International Symposium on Distributed Computing, Oct 2014, Austin, United States
Conference papers
hal-01079112v1
|
Concurrence et cohérence dans les systèmes répartisISTE Press, 2017, 978-1-78405-295-9
Books
hal-02484598v1
|
|
Distributed SystemsISTE Press - Elsevier, 2017, 9781785482267
Books
hal-02484588v1
|
|
Collaborative SPARQL Query Processing for Decentralized Semantic DataDatabase 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⟩
Book sections
hal-03154375v1
|
|
No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems (Extended Version)2024
Preprints, Working Papers, ...
hal-04571653v1
|
|
Registre atomique préservant la vie privée tolérant aux byzantins2023
Preprints, Working Papers, ...
hal-04211679v1
|
|
Causal Mutual Byzantine Broadcast2023
Preprints, Working Papers, ...
hal-04211703v1
|
|
Send/Receive Patterns versus Read/Write Patterns: the MB-Broadcast Abstraction (Extended Version)2023
Preprints, Working Papers, ...
hal-04087447v1
|
|
Complexity of Update Consistent Universal Constructions2022
Preprints, Working Papers, ...
hal-03813789v1
|
|
Does the operational model capture partition tolerance in distributed systems? (Extended Version)2019
Preprints, Working Papers, ...
hal-02055328v1
|
Randomized Consensus: Common Coins Are not the Holy Grail!LS2N-Nantes Université. 2024
Reports
hal-04571212v1
|
|
|
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)[Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017
Reports
hal-01476201v1
|
|
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits[Research Report] LIF, Université Aix-Marseille; LINA-University of Nantes; IMDEA Software Institute; Institut Universitaire de France; IRISA, Université de Rennes. 2017
Reports
hal-01540010v1
|
|
D.1.3 – Protocols for emergent localities[Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016
Reports
hal-01343348v1
|
|
Proof of the Instrumented Semantics for Orc[Research Report] LINA-University of Nantes. 2015
Reports
hal-01101340v2
|
|
D.1.2 – Modular quasi-causal data structures[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015
Reports
hal-01223119v1
|
|
D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems[Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015
Reports
hal-01174203v1
|
|
Consistent Shared Data Types: Beyond Memory[Research Report] Université de Nantes. 2014
Reports
hal-01052437v1
|
|
On the Complexity of Concurrent Multiset Rewriting[Research Report] RR-8408, INRIA. 2013, pp.17
Reports
hal-00912554v1
|
Compression de séquences d'A.D.N. à base de grammaires minimales[Stage] 2010, pp.14
Reports
inria-00536655v1
|
|
Spécification des objets partagés dans les systèmes répartis sans-attenteCalcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français. ⟨NNT : ⟩
Theses
tel-01390700v1
|