Accéder directement au contenu
Nombre de documents

32

Matthieu Perrin


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. 


Article dans une revue4 documents

  • Achour Mostefaoui, Matthieu Perrin, Michel Raynal, Jiannong Cao. Crash-Tolerant Causal Broadcast in O(n) Messages. Information Processing Letters, Elsevier, 2019, 151, pp.1-9. ⟨10.1016/j.ipl.2019.105837⟩. ⟨hal-02279523⟩
  • Matthieu Perrin, Achour Mostefaoui, Michel Raynal. Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification. Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2018, pp.1-12. ⟨hal-02053316⟩
  • Achour Mostefaoui, Matthieu Perrin, Michel Raynal. A Simple Object that Spans the Whole Consensus Hierarchy. Parallel Processing Letters, World Scientific Publishing, 2018, 28 (02), pp.1850006. ⟨10.1142/S0129626418500068⟩. ⟨hal-02053504⟩
  • Marin Bertier, Matthieu Perrin, Cédric Tedeschi. On the Complexity of Concurrent Multiset Rewriting. International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (1), ⟨10.1142/S0129054116500052⟩. ⟨hal-01326849⟩

Communication dans un congrès15 documents

  • Benjamin Moreau, Patricia Serrano-Alvarado, Matthieu Perrin, Emmanuel Desmontils. Modéliser la Compatibilité Entre les Licences. 31es Journées francophones d'Ingénierie des Connaissances (IC), Sébastien Ferré, Jun 2020, Angers, France. ⟨hal-02877913⟩
  • Grégoire Bonin, Achour Mostefaoui, Matthieu Perrin. Does the operational model capture partition tolerance in distributed systems?. 15th International Conference on Parallel Computing Technologies, Aug 2019, Astana, Kazakhstan. ⟨hal-02484661⟩
  • Benjamin Moreau, Patricia Serrano-Alvarado, Matthieu Perrin, Emmanuel Desmontils. Modelling the Compatibility of Licenses. 16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portorož, Slovenia. ⟨hal-02069076⟩
  • Benjamin Moreau, Patricia Serrano-Alvarado, Matthieu Perrin, Emmanuel Desmontils. A License-Based Search Engine. 16th Extended Semantic Web Conference (ESWC2019), Jun 2019, Portoroz, Slovenia. ⟨hal-02097027⟩
  • Grégoire Bonin, Achour Mostefaoui, Matthieu Perrin. Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model. International Symposium on Distributed Computing (DISC) 2019, Oct 2019, Budapest, Hungary. ⟨hal-02279627⟩
  • Achour Mostefaoui, Matthieu Perrin, Michel Raynal. A New Insight into Local Coin-Based Randomized Consensus. PRDC 2019 - 24th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2019, Kyoto, Japan. pp.207-216, ⟨10.1109/PRDC47002.2019.00051⟩. ⟨hal-02484620⟩
  • Hagit Attiya, Armando Castañeda, Danny Hendler, Matthieu Perrin. Separating Lock-Freedom from Wait-Freedom. The 37th ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. pp.41-50. ⟨hal-02053248⟩
  • Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. ICDCN '18 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154296⟩. ⟨hal-02053261⟩
  • Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. 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⟩. ⟨hal-01787801⟩
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Causal Consistency: Beyond Memory. 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelone, Spain. ⟨10.1145/2851141.2851170⟩. ⟨hal-01286755⟩
  • Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, François Taïani. Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems. 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⟩. ⟨hal-01344138⟩
  • Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. On Composition and Implementation of Sequential Consistency. 30th International Symposium on Distributed Computing, Sep 2016, Paris, France. ⟨hal-01347069v2⟩
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Update Consistency for Wait-free Concurrent Objects. IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. ⟨hal-01101657⟩
  • Matthieu Perrin, Claude Jard, Achour Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco. ⟨hal-01152761⟩
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Brief Announcement: Update Consistency in Partitionable Systems. DISC14 - 28th International Symposium on Distributed Computing, Oct 2014, Austin, United States. ⟨hal-01079112⟩

Ouvrage (y compris édition critique et traduction)2 documents

Pré-publication, Document de travail1 document

  • Grégoire Bonin, Achour Mostefaoui, Matthieu Perrin. Does the operational model capture partition tolerance in distributed systems? (Extended Version): Separating the operational model and the wait-free model. 2019. ⟨hal-02055328⟩

Rapport9 documents

  • Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. 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. ⟨hal-01476201⟩
  • Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. 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. ⟨hal-01540010⟩
  • Davide Frey, Achour Mostefaoui, Matthieu Perrin, Anne-Marie Kermarrec, Christopher Maddock, et al.. D.1.3 – Protocols for emergent localities. [Technical Report] D1.3, IRISA; LINA-University of Nantes; Inria Rennes Bretagne Atlantique; Lancaster University. 2016. ⟨hal-01343348⟩
  • Davide Frey, Achour Mostefaoui, Matthieu Perrin, François Taïani. D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems. [Technical Report] D1.1, LINA-University of Nantes; IRISA. 2015. ⟨hal-01174203⟩
  • Matthieu Perrin, Claude Jard, Achour Mostefaoui. Proof of the Instrumented Semantics for Orc. [Research Report] LINA-University of Nantes. 2015. ⟨hal-01101340v2⟩
  • Davide Frey, Roy Friedman, Achour Mostefaoui, Matthieu Perrin, Michel Raynal, et al.. D.1.2 – Modular quasi-causal data structures. [Research Report] D1.2, LINA-University of Nantes; IRISA. 2015. ⟨hal-01223119⟩
  • Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard. Consistent Shared Data Types: Beyond Memory. [Research Report] Université de Nantes. 2014. ⟨hal-01052437⟩
  • Marin Bertier, Matthieu Perrin, Cédric Tedeschi. On the Complexity of Concurrent Multiset Rewriting. [Research Report] RR-8408, INRIA. 2013, pp.17. ⟨hal-00912554⟩
  • Perrin Matthieu. Compression de séquences d'A.D.N. à base de grammaires minimales. [Stage] 2010, pp.14. ⟨inria-00536655⟩

Thèse1 document

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