Aller au contenu

« Rachid Guerraoui » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Modification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
JerGer (discuter | contributions)
10 068 modifications
Création de la page
(Aucune différence)

Version du 4 janvier 2019 à 23:21

Rachid Guerraoui, né le 5 janvier 1967, est un informaticien et professeur à la [Informatique et Communications] à l'École polytechnique fédérale de Lausanne (EPFL), connu pour ses contribution aux domaines de la programmation concurrente et du calcul distribué[1],[2]. Il est Fellow (en) de l'Association for Computing Machinery[3] et titulaire de la chaire annuelle d'informatique et sciences numériques au Collège de France en 2018-2019[4] pour l'algorithmique répartie.

Éducation et carrière

Rachid Guerraoui soutient sa thèse de doctorat en 1992 à l'université d'Orsay. Il a été affilié à l'École des Mines de Paris, au Commissariat à l'énergie atomique de Saclay, aux laboratoires Hewlett Packard (en) et au Massachusetts Institute of Technology[5]. Il est rédacteur au Journal of the ACM[6] et est le coauteur de plusieurs livres, dont Algorithms of Concurrent Systems[7], Introduction to Reliable and Secure Distributed Programming[8] et Principles of Transactional Memory[9]. Il a été lauréat d'une bource ERC Advanced en 2013[10] et une Focused Research Award de Google en 2014[11].

Avec ses collaborateurs, Rachid Guerraoui a reçu le prix du meilleur article aux conférences suivantes : ACM Middleware (2016, 2014, 2012), ICDCN (2011), Eurosys (2010), DISC (2010) et OPODIS (2006)[2]. Il a également reçu le prix décennal du meilleur article à la conférence Middleware 2014[12].

Au-delà de son travail scientifique et académique, Rachid Guerraoui œuvre à la popularisation de l'informatique. Il est un des initiateurs du projet d'enseignement Wandida sur YouTube[13], une collection de plus de 300 vidéos sur l'informatique et les mathématiques qui accumule 2,5 millions de vues et 25000 abonnés, ainsi que le projet éducatif Zettabytes, une collections de vidéos destinées à présenter les découvertes et problèmes ouverts majeurs en informatique à un grand public[14].

Domaines de recherche centraux et principales publications

En 2017 and 2018, Guerraoui a défini, en collaboration, le premier protocole sûr d'apprentissage automatique, un algorithme du gradient qui résiste au problème des généraux byzantins[15],[16],[17], ce qui est le début de l'intelligence artificielle sûre.

Rachid Guerraoui a aussi travaillé pour établir les fondements théoriques de la mémoire transactionnelle (en) (TM). Il a défini, en collaboration, un concept appelé opacité[18], qui est utilisé pour établir la correction des mémoires transactionnelles. Côté pratique, il a développé, en collaboration, les transactions élastiques[19], ainsi que SwissTM[20], un logiciel de mémoire transactionnelle (STM) à fort taux de production, ainsi qu'un banc d'essai pour les systèmes de mémoire transactionnelle, STMBench7[21].

Auparavant, Rachid Guerraoui avait étudié les méthodes de dissémination d'information susceptible de monter en charge. Son article sur la diffusion épidémique légère d'information[22] était le premier qui prenait en compte les vues partielles et/ou asynchrones des différents processus dans un système distribué fondé sur le bavardage. Cet article, avec celui qu'il a écrit sur le service d'adhésion sous-jacent[23], ont obtenu plus de 1250 citations combinées jusqu'en 2018, parmi lesquelles figurent un certain nombre d'articles théoriques sur l'analyse des protocoles de bavardage dans des contextes réalistes[24].

Rachid Guerraoui a fait ses preuves dans l'étude des fondements de la programmation distribuée asynchrone. Par exemple, il a établi, en collaboration, des bornes inférieures pour le bavardage et le renommage asynchrones[25],[26]. Il a de plus établi des résultats fondamentaux sur les relations entre problèmes classiques de programmation distribuée, tels que l'engagement atomique[27] et le problème du consensus, pour lequel il a contribué à résoudre la question ouverte du détecteur de la plus faible erreur avec un nombre quelconque de fautes et il a établi, en collaboration, une nouvelle classification des problèmes de programmation distribuée[28]. Rachid Guerraoui et ses collaborateurs ont de plus défini une méthodologie générale pour construire des structures de données asynchrones hautement concurrentes[29],[30] et ils ont montré comment l'asynchronie permet de produire des nombres pseudo-aléatoires[31].

Rachid Guerraoui a inventé la notion mathématique abstraite d'indulgence[32] pour capturer précisément l'essence des algorithmes asynchrones dont la sécurité ne dépend pas d'hypothèses sur le temps, tels que Paxos de Lamport ou PBFT de Castro-Liskov. Guerraoui a, en collaboration, utilisé ce concept pour définir un cadre général pour les protocoles sûrs et fiables[33].

Notes et références

  1. ↑ « dblp: Rachid Guerraoui », sur dblp.uni-trier.de (consulté le )
  2. ↑ a et b « EPFL - DCL - Rachid GUERRAOUI », sur lpdwww.epfl.ch (consulté le )
  3. ↑ Alexandra Walther, « Prof. Guerraoui and Prof. Sifakis elected as ACM Fellows », (consulté le )
  4. ↑ « Rachid Gerraoui – Informatique et sciences numériques (2018-2019) », (consulté le )
  5. ↑ (en) « Rachid Guerraoui: Biography and current work », sur people.epfl.ch (consulté le )
  6. ↑ « ACM JACM », sur Journal of the ACM (consulté le )
  7. ↑ Rachid Guerraoui et Petr Kuznetsov, Algorithms for Concurrent Systems, EDPFL Press, coll. « Computer Science », , 256 p. (ISBN 9782889152834, lire en ligne)
  8. ↑ Christian Cachin, Rachid Guerraoui et Luis Rodrigues, Introduction to Reliable and Secure Distributed Programming, Springer, (ISBN 978-3-642-15260-3, lire en ligne)
  9. ↑ Rachid Guerraoui et Michał Kapałka, « Principles of Transactional Memory », Synthesis Lectures on Distributed Computing Theory, vol. 1, no 1,‎ , p. 1–193 (ISSN 2155-1626, DOI 10.2200/s00253ed1v01y201009dct004)
  10. ↑ (en) « Guerraoui Wins an ERC Grant », (consulté le )
  11. ↑ (en) Kamila Madry, « Prof. Rachid Guerraoui received a Google Focused Award »,
  12. ↑ (en) Alexandra Walther, « Middleware 2014 and 10-Years Best Paper Award for Rachid Guerraoui », (consulté le )
  13. ↑ « Wandida, EPFL », sur YouTube (consulté le )
  14. ↑ « ZettaBytes, EPFL », sur YouTube (consulté le )
  15. ↑ (en) Peva Blanchard, El Mahdi El Mhamdi, Rachid Guerraoui et Julien Stainer, « Machine Learning with Adversaries: Byzantine Tolerant Gradient Descent », Advances in Neural Information Processing Systems, Curran Associates, Inc., vol. 30,‎ , p. 119–129 (lire en ligne, consulté le )
  16. ↑ (en) Georgios Damaskinos et El Mahdi El Mhamdi, « Asynchronous Byzantine Machine Learning (the case of SGD) », Proceedings of Machine Learning Research,‎ , p. 1145–1154 (lire en ligne)
  17. ↑ (en) El Mahdi El Mhamdi, Rachid Guerraoui et Sébastien Rouault, « The Hidden Vulnerability of Distributed Learning in Byzantium », Proceedings of Machine Learning Research,‎ , p. 3521–3530 (lire en ligne)
  18. ↑ (en) Rachid Guerraoui et Michał Kapałka, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming - PPoPP '08, , 175 p. (ISBN 9781595937957, DOI 10.1145/1345206.1345233, CiteSeerx 10.1.1.164.9537), « On the correctness of transactional memory »
  19. ↑ (en) Pascal Felber, Vincent Gramoli et Rachid Guerraoui, « Elastic transactions », Journal of Parallel and Distributed Computing, vol. 100,‎ , p. 103–127 (DOI 10.1016/j.jpdc.2016.10.010)
  20. ↑ (en) Aleksandar Dragojevik, Pascal Felber, Vincent Gramoli et Rachid Guerraoui, « Why STM can be more than a research toy », Communications of the ACM, vol. 54, no 4,‎ , p. 70 (DOI 10.1145/1924421.1924440, CiteSeerx 10.1.1.164.8994)
  21. ↑ Guerraoui, Kapalka et Vitek, « STMBench7 », ACM Sigops Operating Systems Review, vol. 41, no 3,‎ , p. 315 (DOI 10.1145/1272998.1273029)
  22. ↑ P. Th. Eugster, R. Guerraoui, S. B. Handurukande, P. Kouznetsov et A.-M. Kermarrec, « Lightweight probabilistic broadcast », ACM Transactions on Computer Systems, vol. 21, no 4,‎ , p. 341–374 (DOI 10.1145/945506.945507, CiteSeerx 10.1.1.100.9532)
  23. ↑ Márk Jelasity, Spyros Voulgaris, Rachid Guerraoui, Anne-Marie Kermarrec et Maarten Van Steen, « Gossip-based peer sampling », ACM Transactions on Computer Systems, vol. 25, no 3,‎ , p. 8–es (DOI 10.1145/1275517.1275520, CiteSeerx 10.1.1.310.501)
  24. ↑ « Rachid Guerraoui - Google Scholar Citations », sur scholar.google.com (consulté le )
  25. ↑ Chryssis Georgiou, Seth Gilbert, Rachid Guerraoui et Dariusz R. Kowalski, « Asynchronous gossip », Journal of the ACM, vol. 60, no 2,‎ , p. 1–42 (DOI 10.1145/2450142.2450147, lire en ligne)
  26. ↑ Dan Alistarh, James Aspnes, Keren Censor-Hillel, Seth Gilbert et Rachid Guerraoui, « Tight Bounds for Asynchronous Renaming », Journal of the ACM, vol. 61, no 3,‎ , p. 1–51 (DOI 10.1145/2597630, CiteSeerx 10.1.1.431.2007)
  27. ↑ Rachid Guerraoui, « Non-blocking atomic commit in asynchronous distributed systems with failure detectors », Distributed Computing, vol. 15,‎ , p. 17–25 (DOI 10.1007/s446-002-8027-4, CiteSeerx 10.1.1.19.5491)
  28. ↑ Carole Delporte-Gallet, Hugues Fauconnier et Rachid Guerraoui, « Tight failure detection bounds on atomic object implementations », Journal of the ACM, vol. 57, no 4,‎ , p. 1–32 (DOI 10.1145/1734213.1734216, CiteSeerx 10.1.1.165.8950)
  29. ↑ Tudor David, Rachid Guerraoui et Vasileios Trigonakis, Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13, , 33–48 p. (ISBN 9781450323888, DOI 10.1145/2517349.2522714, CiteSeerx 10.1.1.593.2182), « Everything you always wanted to know about synchronization but were afraid to ask »
  30. ↑ Tudor David, Rachid Guerraoui et Vasileios Trigonakis, « Asynchronized Concurrency », ACM Sigplan Notices, vol. 50, no 4,‎ , p. 631–644 (DOI 10.1145/2775054.2694359)
  31. ↑ Karolos Antoniadis, Peva Blanchard, Rachid Guerraoui et Julien Stainer, « The entropy of a distributed computation random number generation from memory interleaving », Distributed Computing, vol. 31, no 5,‎ , p. 389–417 (DOI 10.1007/s00446-017-0311-5)
  32. ↑ Rachid Guerraoui, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing - PODC '00, , 289–297 p. (ISBN 978-1581131833, DOI 10.1145/343477.343630, CiteSeerx 10.1.1.583.6812), « Indulgent algorithms (preliminary version) »
  33. ↑ Pierre-Louis Aublin, Rachid Guerraoui, Nikola Knežević, Vivien Quéma et Marko Vukolić, « The Next 700 BFT Protocols », ACM Transactions on Computer Systems, vol. 32, no 4,‎ , p. 1–45 (DOI 10.1145/2658994, lire en ligne)
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Rachid_Guerraoui&oldid=155497358 ».