Gabriel Radanne

Here is a list of my current and past students, either for PhDs, internships or projects.

PhD Students

• Thais Baudon, 2021-*
  "High Performance Code Generation for Abstract Data Types"
  coadvised with L. Gonnord
• Clément Blaudeau, 2021-*
  "OCaml modules: formalization, insights and improvements"
  coadvised with Didier Remy

Past PhD Students

• Paul Iannetta, 2019-2022 coadvised with L. Gonnord
  Compiling Trees : Combining Data Layouts and the Polyhedral Model
  Successfully defended May 2022

Past internships

• Summer 2022, Pauline Garelli (M1)
  Type indexing in OCaml for function search in a large ecosystem
  coadvised by L. Gonnord
• Summer 2022, Martin Andrieux (L3)
  Safe concurrent abstractions for multicore OCaml
  coadvised by L. Henrio
• Summer 2021, Clément Allain (M1)
  Search by types modulo type isomorphisms
  coadvised by L. Gonnord
• Summer 2021, Clément Blaudeau (M2)
  coadvised with Didier Remy
• Summer 2021, Melvyn Bertolone (L3)
  Visualization of metrics to explore and understand the LLVM compiler
  coadvised by L. Gonnord

Past projects

• Spring 2021, POM
  • Extension Thunderbird pour GitHub - Paulin BAT, Léo HENINI
  • Trouver automatiquement des fichiers polyglots - David Daily
• Spring 2021, LIFProjet
  • Dessine-moi un mouton - Claire COUTURIER-PETRASSON, Kevin DOMINGUES, Ibrahim UCAR
  • Jeu du Loup Garou - Nicolas CHAMAND, Vak Sam Sophie HAM, Duc Anh NGUYEN
  • Sentinelle Politique - Melvyn BERTOLONE, Christophe MARREL,Aly AMR OMAR LOUTFY