Partager cette page :

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.

Séminaire Informatique et télécommunications

Séminaire 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