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

  

  • 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

  

  • 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

  

  • 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

  

  • 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

  

  • 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

  

  • 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é

  

  • 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 Boito

  • 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
    

    

  • 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 Gindraud

  • 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 Sampaio

  • 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 Hawkins

  • 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 Saillard

  • 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
    

    

  • 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

  

  • 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

  

  • 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