Ph.D proposals:
- 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
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
Internship proposals:
Master 2 Recherche:
- Composition d’ordonnancements parallèles
- Ordonnancement de processus sous contrainte de pipeline
- Abstraction des entrées/sorties pour la parallélisation automatique
- 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.
PFE Ingénieur:
Master 1: