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
- Position: Director of Research 2nd class at Inria
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
- 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
- Position: Post-doctorate (starting April 2021)
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
- Research topics: Hybrid MIMD/SIMD parallelization of a high order finiteelement solver for the numerical modeling of nanoscale light/matter interaction
-
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
- 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
-
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