Les défis de la programmation parallèle
le 2 décembre 2014
16h00
ENS Rennes, Salle du conseil
Plan d'accès
Intervention de Paul Feautrier (ENS de Lyon)
Séminaire du département Informatique et télécommunications.
Programmer les ordinateurs parallèles (c'est-à-dire, actuellement, tout ordinateur) est un travail difficile. Outre tous les bugs classiques, un programme parallèle peut souffir d'indéterminisme ou d'interblocages, et son comportement peut être non reproductible. La réalisation de compilateurs-vérifieurs spécialisés est l'une des approches permettant de répondre ces défis. Le but de cet exposé est de retrouver les enchainements qui m'ont conduit à m'intéresser à ces problèmes, de présenter les solutions (partielles) que j'y ai apporté, et d'esquisser les problèmes fascinants qui restent à résoudre.
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- François Schwarzentruber
Mise à jour le 9 septembre 2019