DALGO : Algorithmique Distribuée

Mots clés

algorithmes, algorithmes distribués, modèles de calcul, agents mobiles, mémoire partagée, passage de messages, réseaux dynamiques, tolérance aux défaillances, réseaux anonymes, calculabilité distribuée, méthodes topologiques, systèmes embarqués, programmation synchrone

Responsable

Jérémie CHALOPIN

Membres permanents

CHALOPIN JérémieChargé de recherche
Courriel : jeremie.chalopin@lis-lab.fr
Telephone : 0486090458
Page personnelle : https://pageperso.lis-lab.fr/jeremie.chalopin/
DAS ShantanuMaitre de Conférences
Courriel : shantanu.das@lis-lab.fr
Telephone : 0486090463
Page personnelle : https://pageperso.lis-lab.fr/shantanu.das/
GODARD EmmanuelMaitre de Conférences
Courriel : emmanuel.godard@lis-lab.fr
Telephone : 0486090470
Page personnelle : https://pageperso.lis-lab.fr/emmanuel.godard/
IMBS DamienMaitre de Conférences
Courriel : damien.imbs@lis-lab.fr
Telephone : 0486090480
LABOUREL ArnaudMaitre de Conférences
Courriel : arnaud.labourel@lis-lab.fr
Telephone : 0486090477
Page personnelle : https://pageperso.lis-lab.fr/arnaud.labourel/
NIEBERT PeterMaitre de Conférences
Courriel : peter.niebert@lis-lab.fr
Telephone : 0486090493
Page personnelle : https://pageperso.lis-lab.fr/peter.niebert/

Doctorants

BERENGER CédricDoctorant
Courriel : cedric.berenger@lis-lab.fr
Telephone : 0486090481
KAROUSATOU ChristinaDoctorant
Courriel : christina.karousatou@lis-lab.fr
Telephone : 0486090482
Page personnelle : https://pageperso.lis-lab.fr/christina.karousatou/
PERDEREAU ÉloiDoctorant
Courriel : eloi.perdereau@lis-lab.fr
Telephone : 0486090484
Page personnelle : https://pageperso.lis-lab.fr/eloi.perdereau/

Autres membres

DILUNA GiuseppePost-Doctorant
Courriel : giuseppe.diluna@lis-lab.fr

Objectif scientifique

L’équipe d’Algorithmique Distribuée (DALGO) située à Luminy est une équipe du Laboratoire d’Informatique et Systèmes (UMR CNRS 7020). Le concept de système distribué est fondamental tant pour les applications pratiques que pour les fondements théoriques de l’informatique. Un système distribué est un environnement où plusieurs processus collaborent pour réaliser un objectif commun; dans un tel système, les différents processus ne peuvent communiquer directement qu’avec un nombre limité d’autres processus. On cherche à déterminer quels sont les comportements globaux qui peuvent être obtenus dans ces systèmes où les actions des processus n’ont qu’un impact local. L’équipe DALGO s’intéresse à la puissance de calcul de différents modèles distribués, et la complexité des problèmes considérés.

Les types de problématiques principalement considérées par l’équipe sont:

  • Conception et analyse d’algorithmes distribués
  • Systèmes à agents mobiles
  • Systèmes à mémoire partagée et tolérance aux défaillances
  • Modélisation des réseaux dynamiques
  • Systèmes embarqués et programmation synchrone

Publications récentes de l’équipe


10 documents

Article dans une revue4 documents

  • Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel. Group search of the plane with faulty robots. Theoretical Computer Science, Elsevier, 2018. 〈hal-01959096〉
  • Victor Chepoi, Arnaud Labourel, Sébastien Ratel. On density of subgraphs of halved cubes. European Journal of Combinatorics, Elsevier, 2018. 〈hal-01959093〉
  • Jérémie Chalopin, Victor Chepoi, Hirai Hiroshi, Damian Osajda. Weakly modular graphs and nonpositive curvature. Memoirs of the American Mathematical Society, American Mathematical Society, In press. 〈hal-01787197〉
  • Jérémie Chalopin, Andreas Bärtschi, Shantanu Das, Yann Disser, Barbara Geissmann, et al.. Collaborative delivery with energy-constrained mobile robots. Theoretical Computer Science, Elsevier, 2017, 〈10.1016/j.tcs.2017.04.018〉. 〈hal-01787176〉

Communication dans un congrès4 documents

  • Jérémie Chalopin, Victor Chepoi, Feodor Dragan, Guillaume Ducoffe, Abdulhakeem Mohammed, et al.. Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs. 34th International Symposium on Computational Geometry (SoCG 2018), Jun 2018, Budapest, Hungary. Leibniz International Proceedings in Informatics, pp.22, 34th International Symposium on Computational Geometry (SoCG 2018). 〈https://www.renyi.hu/conferences/socg18/〉. 〈10.4230/LIPIcs.SoCG.2018.22〉. 〈hal-01836063〉
  • Jurek Czyzowicz, Maxime Godon, Evangelos Kranakis, Arnaud Labourel, Euripides Markou. Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots. 44th International Conference on Current Trends in Theory and Practice of Computer Science, Jan 2018, Krems an der Donau, France. pp.381-395, 2018. 〈hal-01959079〉
  • Damien Imbs, Petr Kuznetsov, Thibault Rieutord. Progress-Space Tradeoffs in Single-Writer Memory Implementations. James Aspnes, Alysson Bessani, Pascal Felber, and João Leitão. 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS 2017). 〈10.4230/LIPIcs.OPODIS.2017.9〉. 〈hal-01787848〉
  • Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?. Andréa W. Richa. 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp.1-16, 2017, 31st International Symposium on Distributed Computing (DISC 2017). 〈10.4230/LIPIcs.DISC.2017.27〉. 〈hal-01787801〉

Pré-publication, Document de travail2 documents

  • Jérémie Chalopin, Victor Chepoi. 1-Safe Petri nets and special cube complexes: equivalence and applications. 2018. 〈hal-01863455〉
  • Jérémie Chalopin, Victor Chepoi, Feodor F. Dragan, Guillaume Ducoffe, Abdulhakeem Mohammed, et al.. Fast approximation and exact computation of negative curvature parameters of graphs. 2018. 〈hal-01737445〉

Documents récupérés de l'archive ouverte HAL logo