Internship proposals:
Master 2 Recherche:
- Dynamic Allocation in Embedded Systems with Several Memory Types (in collaboration with CITI lab)
- Code Generation for Simulation of Parallel Process Networks
- Scalability of the interference analysis for a multi-core platform
- Interference analysis for the new Kalray MPPA3 many-core
- Programming models for optimised compilation (pdf)
- Hardware Compilation: Recover the FIFOs!
- Ordonnancement de processus sous contrainte de pipeline
- Hierarchical Parallelization (version française :Parallélisation Hiérarchique)
- Analyse de WCET pour réseaux de processus
- As part of the “Codas” project (funded by French ANR) on compilation and analysis of programs with complex data structures: Polyhedral Abstract Interpretation, and Optimisation-directed Language design. A Ph.D grant is available on related topics starting in 2018.
- Co-supervised with Sebastien Mosser (Nice) : Preuves de propriétés de règles de réécriture de code, et consistance de fichiers de configuration Docker.
Master 1:
- Identifying Optimisation Conflicts in LLVM
- Simulation et outils de debug pour réseaux de processus
- “POM” M1@Lyon1(MIF11-AAP)
- Sujet de L3 ou M1: Analyse de propriétés de programmes dataflow
Proposals already taken by students
Master 2 Recherche:
Old, outdated proposals
Internships
- Composition d’ordonnancements parallèles
- Abstraction des entrées/sorties pour la parallélisation automatique
Post-doc proposals:
- Efficient, Parallel, Discrete-Event Simulation for Data-aware Process Networks using Polyhedral Methods – Post-Doctorant Inria Grenoble Research center
- Automatic parallelization of sparse matrix operations – Post-Doctorant Inria Grenoble Research center
Ph.D proposals:
- looking for a candidate for a Ph.D co-funded with Kalray, on compilation for many-core architecture. Please contact Matthieu Moy for more information.
- Throughput Analysis and Optimization of Process Networks for Hardware Compilers
- Formal Verification of Process Networks as Compiler Intermediate Representation – PhD Campaign – Campagne Doctorants Grenoble Rhône-Alpes
PFE Ingénieur: