Team members

Team Leader

• Fabrice Rastello

  • Position: Director of research at Inria (DR1).  Deputy scientific director of the Inria centre at the University Grenoble Alpes
  • 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.rastello@inria.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.bouchez-tichadou@imag.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.falcone@univ-grenoble-alpes.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.selva@grenoble-inp.fr

• Guillaume Iooss

  • Position: CR2 Inria
  • 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.iooss@inria.fr

Research Engineer

• Christophe Guillon

  • Current research topics: static/dynamic analyses, static/dynamic compilation, performance optimisation/modelling/debugging
  • Skills:  Compilation, Simulation, Embedded Systems
  • Mail: christophe.guillon@inria.fr

Post-Docs

• Hugo Pompougnac

  • Current research topics: static analysis of binaries, Lustre clock analysis, intermediate representations
  • Skills: Synchronous dataflow programming, SSA compilation
  • Mail: hugo.pompougnac@inria.fr

• Walid Ghandour

  • Current research topics: Binary instrumentation, rewriting and patching; performance optimization
  • Skills: Processor microarchitecture, EDA, formal and functional verification, binary analysis
  • Mail: walid.ghandour@inria.fr

PhD students

• 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.derumigny@inria.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.barollet@inria.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.bastian@inria.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.a.soueidi@inria.fr
  • Bio:  on this website

• Florian Gallay

  • PhD Subject: Decentralized runtime enforcement of timed properties
  • Skills: Monitoring, Runtime enforcement
  • Education: Msc. of Computer Science in Grenoble (MoSIG)
  • Mail: florian.gallay@inria.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.presseguer@inria.fr

Other students

• Valentin Trophime

  • Subject: Sparse x Dense matrix multiplication optimization.
  • Skills: C source code generation, Distributed computing, Rust.
  • Education: TelecomSudParis Engineer Degree.
  • Mail: valentin.trophime@inria.fr

Past members

• 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.broquedis@imag.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.desprez@inria.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.tollenaere@inria.fr

• 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.olivry@inria.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.brunie@inria.fr

• 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.jakse@imag.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.gruber@inria.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.christodoulis@inria.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.el-hokayem@imag.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.zanon-boito@inria.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.lima@inria.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.virouleau@imag.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.gindraud@inria.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@gmail.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.hawkins@inria.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.saillard@inria.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.pouget@imag.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.zhou@imag.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.van-amstel@inria.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.lamprineas@inria.fr

• Oleg Iegorov

• Thomas Goncalves