Gallium - Inria

Séminaires des équipes de recherche

Séminaires Gallium - Moscova

24/06/2011

Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Entrée libre à 10 h 30

Lieu : Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Intervenants : Mike Hicks - University of Maryland

Mots-clés :

Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaires Gallium - Moscova

Séminaires des équipes de recherche

Séminaires Gallium - Moscova

16/09/2011

Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Entrée libre à 10 h 30

Lieu : Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Intervenants : Mike Dodds - Cambridge University

Mots-clés :

Accueil > Centre > Paris - Rocquencourt > Agenda > Séminaires Gallium - Moscova

Séminaires Gallium - Moscova

Algebra, Logic, Locality, Concurrency

21/10/2011

Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Entrée libre à 10 h 30

Lieu : Inria - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1.

Intervenants : Peter O'Hearn - Queen Mary University of London

Mots-clés :

Accueil > Centre > Paris - Rocquencourt > Agenda > Algebra, Logic, Locality, Concurrency

Séminaires des équipes de recherche

While multicore computers have become mainstream, multicore programming remains full of pitfalls. Using P cores to speed up one's program by a factor close enough to P turns out to be far trickier than it sounds. Beyond the immediate difficulty of parallelizing existing algorithms, one faces the problem of amortizing the costs of task creation, the challenge of dealing with dynamic load balancing, the hazards of concurrent programming and the headaches associated with weak memory models.

Lieu : Inria Paris - Rocquencourt, amphithéâtre Alan Turing, bâtiment 1

Intervenants : Arthur Charguéraud, MPI-SWS