Nombre de documents

12

Matthieu Perrin


Matthieu Perrin graduated at ENS Cachan-Bretagne in Rennes in 2012. He is currently a PhD student in the GDD and AeLoS teams at LINA (Laboratoire d'Informatique de Nantes Atlantique) at University of Nantes under the supervision of Claude Jard and Achour Mostéfaoui. His scientific interests focus on the modelisation of distributed systems, and in particular of weakly consistent shared objects.


info.info-dc   

Article dans une revue1 document

  • 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ès5 documents

  • 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. IEEE Computer Society, SRDS 2016, pp.197-206, 〈http://srds2016.inf.mit.bme.hu〉. 〈10.1109/SRDS.2016.032〉. 〈hal-01344138〉
  • Matthieu Perrin, Achour Mostefaoui, Claude Jard. Update Consistency for Wait-free Concurrent Objects. IEEE. IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. 2015, Proceedings of the 29th IEEE International Parallel & Distributed Processing Symposium. 〈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. 2015, Proceedings of the third international conference on network systems. 〈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〉

Rapport5 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〉
  • Matthieu Perrin, Claude Jard, Achour Mostefaoui. Proof of the Instrumented Semantics for Orc. [Research Report] LINA-University of Nantes. 2015. 〈hal-01101340v2〉
  • 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〉

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〉