Composition de l'équipe
  Responsable
    ROZOY Brigitte

  Membres permanents
    BABOULIN Marc
    BEAUQUIER Joffroy
    CAPPELLO Franck
    DELAËT Sylvie
    ETIEMBLE Daniel
    FALCOU Joël
    FURSIN Grigori
    GRIGORI Laura
    MESSIKA Stéphane
    ROSAZ Laurent
    ROZOY Brigitte

  Membres non-permanents
    BALDACCI Antoine
    BLANCHARD Peva
    BORGHI Alexandre
    BURMAN Janna
    DONFACK Simplice
    ESTERIE Pierre
    FEZZANI Riadh
    HUGUES Maxime
    JACQUELIN Mathias
    KHABOU Amal
    LAGUZET Florence
    MONTAGNE Romain
    MOUFAWAD Sophie
    QU Long
    REMY Adrien
    REZMERITA Ala
    SHARIFY NAJAFABADI Meisam
    SZYDLARSKI Mikolaj Marcin
    WANG Yushan

  Visiteurs
    MEMON Abdul Wahid

  Associés
    EVRAT Katia
    HERAULT Thomas
    PETITON Serge

  Stagiaires
    GALLIN Gabriel
    MASLIAH Ian

Thèmes de recherche
  Théorie des jeux
  Model-Checking
  Algorithmique répartie
  Réseaux de capteurs

Projet(s) associé(s)
  Grand Large

Contrats en cours
  Cosinus MIDAS
  MAPREDUCE

Logiciels et brevets
  IDéeBD : Introduction Didactique aux Bases de Données
  XtremWeb : plateforme de calcul global pair à pair
  BitDew : middleware OpenSource pour les grilles de données de bureau
  PVC : Cluster virtuel Privé
  MPICH-V : Interface àpassage de messages pour les ressources volatiles
  FAIL-FCI : Langage d'injection de fautes
  V-DS : Virtualization environment for large-scale Distributed Systems
  APMC : Approximate Probabilistic Model Checker
  CELL-MPI : Cadriciel MPI pour le processeur CELL
  BSP++ : The C++ Bulk Synchronous Parallelism Library
  NT2 : The Numerical Template Toolbox
  YML : YML
  SPIN : Scientific Programming on the InterNet
  OpenWP : OpenWP
  Parallel Solvers for Solving Linear Systems of Equ : Parallel Solvers for Solving Linear Systems of Equations
  Quaff : Quaff: Dataflow EDSL for Parallel Programming

Collaborations
  Ã‰quipe de Logique Mathématique Université Paris Diderot Paris 7

Thèses et habilitabions récentes
  Partitionnement dans les réseaux mobiles Ad-hoc : Conception et évaluation de protocoles auto-stabilisants robustes.
  Nouveaux protocoles de tolérance aux pannes pour les applications de calcul haute performance
  Programmation des architectures hiérarchiques et hétérogènes

Adaptive Lightweight Scheduling for Improving Bulk-Synchronous MPI Application Scalability on Multi-core Clusters
Vivek Kale
Jeu. 02 février 2012 - 10h30

Using Overlapping and Filtering Techniques for Highly Parallel Preconditioners
Long Qu
Jeu. 26 janvier 2012 - 10h30

LU factorisation with panel rank revealing pivoting and its communication avoiding version
Amal Khabou
Jeu. 26 janvier 2012 - 10h30

Collaborative application characterization and optimization
Grigori Fursin
Jeu. 19 janvier 2012 - 11h00

Tolérer les fautes transitoires, permanentes et intermittentes
Swan DUBOIS
Jeu. 12 janvier 2012 - 10h30

On the road to exascale

Mar. 06 décembre 2011 - 10h00

Nouveaux Protocoles de Tolérance aux Fautes pour les Applications du Calcul Haute Performance
Amina Guermouche
Jeu. 01 décembre 2011 - 10h30

Programmation des architectures hiérarchiques et hétérogènes
Khaled Hamidouche
Jeu. 03 novembre 2011 - 10h30

Lazy BLAS-3 Reduction to Banded Upper Triangular
Gary Howell
Jeu. 15 septembre 2011 - 10h30

Multi-party computation forever, for cloud computing and beyond.
Shlomi Dolev
Jeu. 07 juillet 2011 - 10h30

Hypergraph partitioning for computing Krylov subspaces
Nick Knight
Jeu. 23 juin 2011 - 11h15

Recent Progress in Communication-Avoiding Krylov Subspace
Erin Carson
Jeu. 23 juin 2011 - 10h30

Accelerating linear system solutions using randomization techniques
Julien Herrmann
Jeu. 26 mai 2011 - 10h30

Solving large sparse linear systems on distributed grids
Fabienne Jézéquel
Jeu. 31 mars 2011 - 10h30

Using GPU to align human and chimpanzee whole chromosomes with an exact algorithm
Alba Cristina Magalhaes Alves de Melo
Jeu. 24 mars 2011 - 10h30

Ring pipelined algorithm for the algebraic path problem on the CELL Broadband Engine
Claude Tadonki
Jeu. 17 mars 2011 - 10h30

Guidelines for the Verification of Population Protocols
Julien Clément
Jeu. 10 mars 2011 - 10h30

Program Parallelization and Optimization at Compile-Time in the Polyhedral Model
Cédric Bastoul
Jeu. 03 mars 2011 - 10h30

Low-overhead diskless checkpoint for hybrid computing systems
Leonardo Bautista Gomez
Jeu. 17 février 2011 - 10h30

Calcul haute performance : l'approche probabiliste pour la validation des logiciels numériques.
Jean-Luc Lamotte
Jeu. 03 février 2011 - 10h30

The Numerical Template Toolbox : BOOST'ed Generic Array Library for High Performance Computing
Joel Falcou
Jeu. 20 janvier 2011 - 10h30

STOCKAGE FIABLE DES DONNÉES DANS LES GRILLES, APPLICATION AU STOCKAGE DES IMAGES DE CHECKPOINT
Fatiha Bouabache
Jeu. 09 décembre 2010 - 10h30

Gestion auto-stabilisante avec garantie de service de la connaissance des clusters voisins
Mekhaldi Fouzi
Jeu. 02 décembre 2010 - 10h30

Adversarial information retrieval
Brian D. Davison
Mar. 30 novembre 2010 - 11h00

Probabilistic algorithms for large-scale systems
Thomas Largillier
Jeu. 25 novembre 2010 - 10h30

Impossibilité du consensus dans les protocoles de population avec temps de couverture
Joffroy Beauquier
Jeu. 18 novembre 2010 - 10h30

Enabling Socially-Aware Distributed Systems
Adriana Iamnitchi
Jeu. 17 juin 2010 - 10h30

Numerical algorithms for hybrid GPU-Multicore systems
Marc BABOULIN
Jeu. 15 avril 2010 - 10h30

Fair Synthesis of Asynchronous Distributed Systems
Nathalie Tali SZNAJDER
Jeu. 01 avril 2010 - 10h30

Approximation, optimization and synthesis of stochastic processes.
Sylvain Pradalier
Lun. 15 mars 2010 - 10h30

P2P Social Networking
Mehdi Mani
Jeu. 04 février 2010 - 10h30

Z-Align and CUDAlign: Comparing Megabase Biological Sequences in Clusters and GPGPUs
Alba Cristina M. A. Melo
Lun. 18 janvier 2010 - 14h00

Algorithmique probabiliste pour systèmes distribués émergents
Julien Clément
Jeu. 15 octobre 2009 - 14h00

NewMadeleine : Une approche dynamique pour l'optimisation des communications concurrentes sur réseaux haute performance
Elizabeth Brunet
Mar. 10 mars 2009 - 10h30

HDR Laura Grigori
Laura Grigori
Ven. 30 janvier 2009 - 13h00

Research Challenges in Flash Memories
Sivan Toledo
Mar. 25 novembre 2008 - 10h30

Outils pour le parallélisme : apports de la programmation générative
Joël Falcou
Mar. 04 novembre 2008 - 10h30

Deterministic Secure Positioning in Wireless Sensor Networks
Partha Sarathi Mandal
Jeu. 01 janvier 1970 - 01h00

Temporal Partition in Sensor Networks
Laurence Pilard
Jeu. 01 janvier 1970 - 01h00

Coverage-biased random explo-ration of large models and application to testing
27 mars 2011
A. Denise, M.-C. Gaudel, S.-D. Gouraud, R. Lassaigne, J. Oudinet S. Peyronnet, STTT: Int. Jal on SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, DOI: 10.1007/s10009-011-0190-1

Quaff: Dataflow EDSL for Parallel Programming
Quaff

The Numerical Template Toolbox
NT2

The C++ Bulk Synchronous Parallelism Library
BSP++