Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- SERRANO Lucas : “Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware”, supervision Julia LAWALL, defence 11/25/2020.
- MERCADIER Darius : “Usuba, Optimizing Bitslicing Compiler”, supervision Gilles MULLER, defence 11/20/2020.
- GOUICEM Redha : “Thread Scheduling in Multi-core Operating Systems”, supervision Gilles MULLER, defence 10/23/2020.
- COURTAUD Cédric : “Characterization of the sensitivity to memory interferences in real-time systems embedded on multi-core platforms”, supervision Gilles MULLER, defence 01/28/2020.
- BLIN Antoine : “Towards an efficient use of multi-core processors in mixed criticality embedded systems”, supervision Gilles MULLER, defence 01/30/2017.