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 et le calcul quantique, les algorithmes distribués, la compilation et l'optimisation de codes.

Composition de l'équipe
  Responsable
    VIALLE Stéphane

  Membres permanents
    BABOULIN Marc
    BAMPAS Evangelos
    BEAUQUIER Joffroy
    BURMAN Janna
    EISENBEIS Christine
    EVRAT Katia
    FALCOU Joël
    KAYA Oguz
    LAMBERT Alain
    NOWAK Thomas
    PAZ Ami
    ROSAZ Laurent
    VIALLE Stéphane

  Membres non-permanents
    CRAVO Fabricio
    JOUBE Sylvain
    ROBEYNS Matthieu
    TORRI Atte

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

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
  Modèles de mobilité et synchronisation d’horloge dans les réseaux sans fil
  Méthodes pour l'optimisation de la synthèse de circuits quantiques
  Mariage Stable Asynchrone et Auto-stabilisant

Séminaires
Large-scale Spectral Clustering for GPU-based Platforms
Guanlin He
Mar. 24 mars 2020 - 10h30


Quantum at LRI

Mar. 04 février 2020 - 09h00


Jeux d’instructions : des extensions SIMD aux extensions vectorielle
Daniel Etiemble
Mar. 21 janvier 2020 - 10h30


Scalable Load Balancing with Distributed Algorithms and the Packing Model
Vinicius Freitas
Mar. 17 décembre 2019 - 10h30


On the weakest failure detector for atomic multicast
Pierre Sutra
Mar. 05 novembre 2019 - 10h30


Local checkability: a notion that started in the context of self-stabilization and its wider impacts
Prof. Kutten Shay
Mar. 08 octobre 2019 - 11h00


Enhancing Asynchronous Iterative Linear Solvers Through Randomization
Masha Sosonkina
Mar. 21 mai 2019 - 10h30


Simulation of the M13 infection in E.coli
Da-Jung Cho
Ven. 10 mai 2019 - 14h00


When stochastic optimization meets game theory
Abdel Lisser
Mar. 05 mars 2019 - 10h30


Distributed decision and verification by mobile agents
Evangelos Bampas
Mar. 22 janvier 2019 - 10h30


Redundancy in Distributed Proofs
Ami Paz
Mar. 04 décembre 2018 - 00h00


Resilient PDE solving approaches for exascale computing
Paul Mycek
Mar. 29 mai 2018 - 10h30


Efforts in Machine Topology-Aware Global Scheduling for HPC Systems
Laércio LIMA PILLA
Mar. 22 mai 2018 - 10h30


Collaborative delivery by robots that can share energy
Evangelos Bampas
Mer. 02 mai 2018 - 10h30


Mariage stable auto-stabilisant et distribué
Marie Laveau
Ven. 13 avril 2018 - 14h30


Modélisation et implémentation du produit de matrice parallèle avec minimisation des communications
Thomas Lambert
Mer. 11 avril 2018 - 10h30


Algorithmic and HPC Challenges in Parallel Tensor Computations
Oguz Kaya
Mar. 27 mars 2018 - 10h30


Acyclic Partitioning of Large Directed Acyclic Graphs
Julien Herrmann
Mar. 09 janvier 2018 - 10h30


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
Best Paper Award - HPCS 2019 - On server-side file access pattern matching
17 juillet 2019
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, Toni Cortes² ⁵, Philippe O.A. Navaux⁴

Best Paper Award: Self-stabilizing Distributed Stable Marriage
05 novembre 2017
SSS 2017, M. Laveau, G. Manoussakis, J. Beauquier, T. Bernard, J. Burman, J. Cohen, and L. Pilard

Logiciels et brevets