Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Toutes les équipes > Systèmes Parallèles (ParSys)
Equipes
Systèmes Parallèles (ParSys)


L'équipe ParSys est un groupe de recherche qui comprend des chercheurs de l'Université Paris-Sud et de l'Inria. Elle est spécialisée dans la conception et l'amélioration d'algorithmes parallèles et distribués ainsi que dans la programmation et l'utilisation des architectures matérielles les plus récentes. Les principaux domaines de recherche étudiés par ParSys sont le calcul scientifique haute-performance, les algorithmes distribués, la compilation et l'optimisation de codes.

Composition de l'équipe
  Responsable
    BABOULIN Marc

  Membres permanents
    BABOULIN Marc
    BEAUQUIER Joffroy
    BURMAN Janna
    EISENBEIS Christine
    ETIEMBLE Daniel
    EVRAT Katia
    FALCOU Joël
    GRUAU Frédéric
    KHABOU Amal
    NOWAK Thomas
    ROSAZ Laurent

  Membres non-permanents
    DUFOULON Fabien
    GOUBAULT DE BRUGIERE Timothée
    LAVEAU Marie
    PEOU Kenny
    XU Chuan

  Associés
    BASTOUL Cédric
    CABARET Laurent
    JUBERTIE Sylvain
    LACASSAGNE Lionel
    PILARD Laurence
    VIALLE Stéphane

Activités de recherche
  Algorithmique distribuée
  Calcul à haute performance
  Architectures parallèles
  Compilation et optimisation des programmes

Equipes-projets Inria communes
  Postale

Logiciels et brevets
  CLooG : Chunky Loop Generator
  Candl : Chunky Dependance Analyzer
  LeTSeE : LeTSeE: the LEgal Transformation SpacE Explorator
  FM : FM: the Fourier-Motzkin library
  Piplib : Parametric Integer Programming Library
  CELL-MPI : Cadriciel MPI pour le processeur CELL
  PoCC : the Polyhedral Compiler Collection
  OpenScop : OpenScop
  FR 2967800 - Cell-MPI brevet : Procédé de synchronisation et de transfert de données entre des processeurs reliés par des canaux DMA
  BSP++ : The C++ Bulk Synchronous Parallelism Library
  NT2 : The Numerical Template Toolbox
  Quaff : Quaff: Dataflow EDSL for Parallel Programming
  RBT solver : Random Butterfly Transformations
  cTuning : public repository and tools for collaborative and statistical program and architecture characterization and optimization
  Metaphore : Metaphore
  Clay : Clay
  MAGMA : Contribution to numerical linear algebra libraries
  SUNFLUIDH (collaboration LIMSI) : CPU/GPU solver for Navier-Stokes equations
  myNRC2.0 : Smart memory allocator
  covTrack : Robust and realtime multitarget covariance tracking

Thèses et habilitabions récentes
  A parallel iterative solver for large sparse linear systems enhanced with randomization and GPU accelerator, and its resilience to soft errors
  Adaptation automatique et semi-automatique des optimisations de programmes
  Étiquetage en composantes connexes efficace pour les architectures hautes performances

Séminaires
Portable vectorization and parallelization of C++ multi-dimensional array computations
Laurent Plagne
Mar. 19 décembre 2017 - 10h30


Recent advances in high-performance computing
Jose Roman, Lokmane Abbas Turki, Camille Coti
Ven. 29 septembre 2017 - 09h30


Involution Delay Model: Faithful Delay Prediction in Digital Circuits
Jürgen Maier
Mar. 25 juillet 2017 - 14h00


Building Distributed Computing Abstractions in the Presence of Mobile Byzantine Failures
Antonella Del Pozzo
Mar. 11 juillet 2017 - 10h30


Slow Molecule Revolution
David Doty
Mer. 05 juillet 2017 - 10h30


Optimisation de code pour le calcul scientifique sur carte Graphique
Ludomir Oteski
Mar. 21 février 2017 - 10h30


Retour d’expérience sur le développement d’algorithmes et l’optimisation de codes mono- et multi-devices sur architectures hybrides
Stéphane Vialle
Mar. 06 décembre 2016 - 10h45


An Overview of Integrated graphics processors
Ian Masliah
Mar. 07 juin 2016 - 10h30


Overview of Intel Knights Landing Processors
Asma Farjallah
Mar. 31 mai 2016 - 10h30


A computing medium for General purpose Computation
Frédéric Gruau
Mar. 16 février 2016 - 10h30


Task-based multifrontal QR solver for heterogeneous architectures
Alfredo Buttari
Mar. 19 janvier 2016 - 10h30


Space-Optimal Counting in Population Protocols
Janna Burman
Mar. 08 décembre 2015 - 10h30


Recent Progress in Model Checking of Fault-tolerant Distributed Algorithms
Josef Widder
Jeu. 03 décembre 2015 - 10h30


Iterative Sparse Triangular Solves for Incomplete Factorization Preconditioning
Hartwig Anzt
Mar. 24 novembre 2015 - 10h30


Time-Optimal Approximate Consensus in Highly Dynamic Networks
Thomas Nowak
Mar. 17 novembre 2015 - 10h30


Efficient abstractions for GPGPU programming
Mathias Bourgoin
Mar. 10 mars 2015 - 10h30


Impact puissance-énergie sur l’architecture des processeurs
Daniel Etiemble
Mar. 13 janvier 2015 - 10h30


Equivalence of Iterated and Non-Iterated Models of Distributed Shared Memory
Zohir Bouzid
Mar. 25 novembre 2014 - 10h30


Lazy Spilling for a Time-Predictable Stack Cache: Implementation and Analysis
Florian Brandner
Mar. 14 octobre 2014 - 10h30


Magma and Batched Small Dense Matrix Computation on the GPU
Tingxing Dong
Mar. 26 août 2014 - 10h30


The wait free hierarchy
Rachid Guerraoui
Mar. 27 mai 2014 - 10h30


Natural algorithms
Bernadette Charron-Bost
Mar. 20 mai 2014 - 10h30


Milieu de calcul générique
Frédéric Gruau
Mar. 29 avril 2014 - 10h30


Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
Lilia Ziane Khodja
Mar. 15 avril 2014 - 10h30


Méthodes de décomposition de domaines pour architectures massivement parallèles
Frédèric Magoulès
Mar. 08 avril 2014 - 10h30


Performance Prediction of Dense Linear Algebra Algorithms
Roman Iakymchuk
Mar. 01 avril 2014 - 10h30


Resource Allocation in Large-scale Distributed Systems
José Afonso Sanches
Mar. 18 mars 2014 - 10h30


New algorithms for the LU factorization and the generation of random orthogonal matrices
Amal Khabou
Mar. 11 février 2014 - 10h30


Compilation statique pour le Python Scientifique
Serge Guelton
Jeu. 30 janvier 2014 - 10h30


Algorithmes auto-stabilisant bavards
Lélia Blin
Mar. 21 janvier 2014 - 10h30


Résultats majeurs
Logiciels et brevets