Team members

Team Leader

  • Fabrice Rastello

    • Position: Director of Research 2nd class at Inria
    • Research topics: polyhedral transformations, static / dynamic analyses, static / dynamic compilation, performance optimisation / modelling / debugging
    • Skills: loop transformations, tiling (source-to-source), compiler back-end, register allocation, Static Single Assignment form, polyhedral model, data-movement complexity
    • Education: PhD (2000) & HdR (2012) from Ecole Normale Supérieure de Lyon
    • HTTP: His page on this website
    • Mail: fabrice (dot) rastello (at) inria (dot) fr

Researchers

  • Florent Bouchez Tichadou

    Florent

    • Position: Associate Professor at Université Joseph Fourier (Grenoble 1)
    • Research topics: register allocation, compiler intermediate representations
    • Skills: algorithmic theory, compiler back-end optimizations, register allocation, Static Single Assignment form
    • Education: PhD (2009) from Ecole Normale Supérieure de Lyon
    • HTTP: His page on this website
    • Mail: florent (dot) bouchez-tichadou (at) imag (dot) fr
  • François Broquedis

    François's identity photo

    • Position: Associate Professor at Grenoble Institute of Technology
    • Research topics: HPC Applications performance, optimized run-time environments
    • Skills: Multi-threading, scheduling, NUMA memory-management
    • Education: PhD from Université de Bordeaux (2010)
    • HTTP: His page on this website
    • Mail: francois (dot) broquedis (at) imag (dot) fr
  • Frédéric Desprez

    Frédéric's identity photo

    • Position: Director of Research 1st class at Inria
    • Research topics: parallel algorithms, resource management and scheduling, data management
    • Skills: parallel algorithmic
    • Education: PhD from INPG (1994) & HDR from Université Claude Bernard Lyon 1 (2001)
    • HTTP: His personal website, His page on this website
    • Mail: frederic (dot) desprez (at) inria (dot) fr
  • Yliès Falcone

    • Position: Associate Professor at Université Joseph Fourier (Grenoble 1)
    • Research topics: Run-time Verification & Enforcement, Android Devices, Monitoring, Debugging, Monitoring of Timed Systems
    • Skills: Monitoring, runtime verification, runtime enforcement
    • Education: PhD from Université Joseph Fourier (Grenoble 1) (2009)
    • HTTP: His personal website, His page on this website
    • Mail: ylies (dot) falcone (at) univ-grenoble-alpes (dot) fr
  • Manuel Selva

      • Position: Associate Professor at Grenoble Institute of Technology
      • Research topics: Runtime systems, performance analysis, runtime polyedral optimization
    • Skills: runtime systems for multi-core architectures, polyhedral compilation, performance analysis, dataflow programming models
    • Education: PhD from INSA Lyon (2015)
    • HTTP: His personal website
    • Mail: manuel (dot) selva (at) grenoble-inp (dot) fr

Ingénieurs

  • Christophe Guillon

    • Current research topics: static / dynamic analyses, static / dynamic compilation, performance optimisation / modelling / debugging
    • Skills:  Compilation, Simulation, Embedded Systems
    • Mail: christophe (dot) guillon [at] inria (dot) fr

Post-Docs

  • Guillaume Iooss

    • Position: Post-doctorate
    • Current research topics: Data movement complexity + optimization of convolutions on CPU
    • Skills: Polyhedral Compilation, Program equivalence, Tiling, Synchronous Compilation
    • Education: PhD from ENS Lyon + Colorado State University (2016)
    • Mail: guillaume (dot) iooss [at] inria (dot) fr
  • Hugo Brunie

    • Position: Post-doctorate (starting April 2021)
    • Current research topics:  Mixed Precision Tuning for HPC applications, optimization of convolutions on CPU
    • Skills: Dynamic program analysis for code optimization ( C++, C, python, OpenMP, CUDA)
    • Education: Ph.D. from Bordeaux University + CEA(2019), MSc. from ENSEIRB-MATMECA, Bordeaux
    • Mail: hugo (dot) brunie [at] inria (dot) fr

PhD students

  • Auguste Olivry

    • PhD subject: Data Locality and Parallelism Optimization for Linear and Multilinear Algebra
    • Skills: Data movement complexity, Polyhedral Compilation
    • Education: MSc. in Computer Science from École Normale Supérieure (Paris)
    • Mail: auguste (dot) olivry [at] inria (dot) fr
  • Nicolas Derumigny

    • PhD subject: Abstract simulation of heterogeneous processors
    • Skills: Architecture of processors, Assembly, Low level optimization, FPGA High-Level Synthesis, Generic Hardware Knowledge
    • Education: MSc. in High Performance Computing from Université de Versailles
    • Mail: nicolas (dot) derumigny [at] inria (dot) fr
  • Nicolas Tollenaere

    • PhD Subject: Optimizing ML algorithms for manycore ASICS
    • Skills: Deep Learning implementation, distributed computing, data memory layout and access
    • Education: Engineering scool at IMT Atlantique (ex-Télécom Bretagne)
    • Mail: nicolas (dot) tollenaere [at] inria (dot) fr
  • Théo Barollet

    • PhD Subject: Apprentissage de la programmation par des problèmes : génération d’exercices et recommandation.
    • Skills: Random code generation and program synthesis
    • Education: Engineering scool at Grenoble INP Ensimag and MSc in Computer Science (MoSIG master)
    • Mail: theo (dot) barollet [at] inria (dot) fr
  • Théophile Bastian

    • PhD Subject: Étude de performance : identification de bottlenecks par analyse de sensitivité.
    • Skills: Systems programming, low-level optimization
    • Education: MSc. in Computer Science from École Normale Supérieure (Paris)
    • Mail: theophile (dot) bastian [at] inria (dot) fr
    • Webpage: https://tobast.fr/
  • Chukri Soueidi

    • PhD Subject: Sound and Expressive Runtime Verification of Multithreaded Applications.
    • Skills: Runtime Verification, Monitoring, Instrumentation, Model Checking.
    • Education: M.Sc Computer Science, American University of Beirut (AUB), Lebanon.
    • Mail: chukri (dot) a (dot) soueidi [at] inria (dot) fr

Team assistant

  • Imma Presseguer

    Imma's identity photo

    • Role: Taking care of all the adminstrative responsabilities, organising team member travels and supervising the budget
    • Other responsabilities: Also manages INRIA’s Nano-D team
    • Mail: imma (dot) presseguer (at) inria (dot) fr

Past members

  • Raphaël Jakse

    Raphaël's Identity photo

    • PhD subject: Monitoring Techniques for Component-Based Systems.
    • Skills: Monitoring, Debugging, BIP, Component-Based Systems.
    • Education: Master of Science in Informatics at Grenoble (Parallel, Distributed, Embedded Systems)
    • HTTP: His page on this website
    • Mail: raphael (dot) jakse (at) imag (dot) fr
  • Fabian Gruber

    Fabian's Identity Photo

    • PhD subject: Interactive and iterative performance debugging
    • Skills: Optimistic optimizations, JVM implementations, disassembling binaries, CPU performance modelling, fiddling with LLVM, general programming language design & implementation geekery
    • Education: MSc. in Computer Science from the Vienna University of Technology
    • HTTP: His page on this website
    • Mail: fabian (dot) gruber (at) inria (dot) fr
  • Georgios Christodoulis

    • PhD subject: Adaptation of a HPC runtime system to FPGA.
    • Skills: Heterogeneous Scheduling, Hardware design for FPGAs, runtime management on DSM machines including different accelerators.
    • Education: Electrical and Computer Engineering diploma from the National Technical University of Athens
    • Mail: georgios (dot) christodoulis (at) inria (dot) fr
  • Antoine El-Hokayem

    • PhD subject: Decentralized Runtime Verification and Enforcement of Distributed and Cyber-Physical Systems
    • Skills: Runtime Verification, Monitoring, Decentralized Monitoring, Aspect-Oriented Software Design (AOSD), Component-Based Systems.
    • Education: M.Sc Computer Science, American University of Beirut (AUB), Lebanon
    • Mail: antoine [dot] el-hokayem [at] imag [dot] fr
  • Thomas Messi Nguélé

    Thomas's Identity photo

    • PhD subject: Domain Specific Language for Social Network Analysis on Multicore Architectures
    • Skills: Programming languages design, compilers, multicore and manycore architectures
    • Education: Master in Computer Science, University of Yaounde 1, Cameroon
  • Francieli Zanon BoitoFrancieli Zanon Boito's photo

    • Research topics: Parallel I/O, Parallel File Systems, High Performance Computing
    • Education: Ph.D. in computer science, 2015, Federal University of Rio Grande do Sul (UFRGS), Brazil, and Université Grenoble Alpes
    • Mail: francieli (dot) zanon-boito (at) inria (dot) fr
  • Laércio Lima Pilla

    • Research topics: Hybrid MIMD/SIMD parallelization of a high order finiteelement solver for the numerical modeling of nanoscale light/matter interaction

      Laercio Pilla's photo

    • Skills: Computer architecture, fault tolerance, global scheduling, parallel programming
    • Education: PhD in Computer Science (2014) – Université Grenoble Alpes & Universidade Federal do Rio Grande do Sul
    • Mail: laercio (dot) lima (at) inria (dot) fr
  • Philippe Virouleau

    • PhD subject: Study of OpenMP runtimes on large NUMA machines.
    • Skills: Multi-threading, scheduling, NUMA memory-management, compilers.
    • Education: Engineer degree for Grenoble INP – Ensimag
    • Mail: philippe (dot) virouleau (at) imag (dot) fr
  • François GindraudFrançois's ID photo

    • PhD subject: Semantics and Compilation for a data-flow model on a global address space with software cache coherency
    • Skills: Runtime and OS design, memory models, compiling
    • Education: Research MSc. in Computer Science from the Ecole Normale Supérieure de Lyon
    • Mail: francois (dot) gindraud (at) inria (dot) fr
  • Diogo SampaioDiogo's Identify Photo

    • PhD subject: Profiling Guided Hybrid Compilation
    • Skills: Bash script maniac, GPGPU compiling
    • Education: PhD in Computer Science, University of Grenoble Alpes (Dec 2016)
    • Mail: dnsampaio (at) gmail (dot) com
  • Byron HawkinsByron Hawkins' photo

    • Research topics: Performance modeling and interactive debugging for single-threaded computational kernels
    • Skills: Security, Binary Translation, Control Flow Integrity, Compilers, Dynamic Analysis, Optimization
    • Education: Master of Science in Computer Engineering from the University of California, Irvine
    • HTTP: His personal website
    • Mail: byron (dot) hawkins (at) inria (dot) fr
  • Emmanuelle SaillardEmmanuelle Saillards' photo

    • Research topics: Kernel optimization with BOAST, European project HPC4E
    • Skills: Static/dynamic Analyses, Debugging, Optimization
    • Education: PhD from Université de Bordeaux (Sept. 2015)
    • HTTP: Her personal website
    • Mail: emmanuelle (dot) saillard (at) inria (dot) fr
  • Kevin Pouget

    • Research topics: interactive debuggers (implementation, enhancement, usage, …), live debugging and tracing in general, design and implementation of runtime libraries, OSs and programming language support for debugging

      Kevin's identity photo

    • Skills: GDB (mcGDB), Specfem3D, debuggers and runtime library implementation, debugging tools
    • Education: PhD in Computer Science, University of Grenoble (Feb 2014)
    • HTTP: His personal website
    • Mail: kevin (dot) pouget (at) imag (dot) fr
  • Naweiluo Zhou

    • PhD subject: Software Transactional Memory with autonomic Control (High Performance Computing)
    • Skills: Parallel programming, runtime profiling, transactional memory systems, control techniques, automata, programming in C/C++, BZR
    • Education: MSc. of the University of Manchester
    • Mail: naweiluo (dot) zhou (at) imag (dot) fr
  • Nassim Hali

  • Duco van Amstel

    Duco's Identity photo

    • PhD subject: Data-locality and optimization for data-flow languages on many-core processors
    • Skills: Near-optimal heuristics, GCC hacker, paranoïd system and network administrator, cryptography fanatic
    • Education: Research MSc. in Computer Science from the Ecole Normale Supérieure de Lyon
    • HTTP: His personal website
    • Mail: duco (dot) van-amstel (at) inria (dot) fr
  • Brice Videau

  • Lukasz Domagala

  • Alexandros Labrineas

    Alexandros ID photo

    • Projects: Low-level optimizations on intermediate representations
    • Skills: Parallel runtime system design, compiler transformations for many-core processors
    • Education: M.Sc. in Parallel & Distributed Systems, University of Crete, Greece
    • Mail: alexandros (dot) lamprineas (at) inria (dot) fr
  • Oleg Iegorov

  • Thomas Goncalves