Laure Gonnord_Students

Current Internships Proposals

• Follow the link to the CASH team website !

PhD students

• Maroua Maalej (2014-2017) : low costs analyses for efficient compilers, with Fréderic Vivien. Defended on Sept, 26th. Her manuscript is on TEL and here
• (defended May 2021) Paul Iannetta, coadvised with L. Morel
• (defended May 2021) Julien Braine , coadvised with D. Monniaux.
• (started Sept 21) Thaïs Baudon: ADT for HPC, coadvised with G. Radanne
• (started Sept 22) Sébastien Michelland: Backend codesign for security, coadvised with C. Deleuze

Past Internships

Undergraduate internships :

• 2011 : Guillaume Andrieu worked on scalability of termination algorithms. Co advised with C. Alias. See the research report.
• 2012 : Jean-Marie Vincenti developped an interface to simulate Communicating regular processes. The report.
• 2013 : Christophe Bacara developped some light pointer analyses with LLVM (the report), and Lucas Seguinot (co advised with D. Monniaux) worked on a new algorithm for termination (the report).
• 2014 : 2 M1 students from UnivLyon1 (Jan/Feb2014) : Aurelien Chemier : Pointers in LLVM and Antoine Vugliano : Numerical invariants for Faust.
• 2015 : 2 M1 students from UnivLyon1 (Jan/Feb2015) : Tristan Dubois : Pointer arithmetic in LLVM and Marc Vincenti : Comparison of termination benchmarks. See also Termite's demopage.
• 2016 : Emilie Grunenberger: L3 internship co-supervised with Laure Daviaud (Plume), on complexity analysis.
• 2017 : Romain Fontaine: L3 internship coadvised with Lionel Morel (Socrate, Insa Lyon), on polyhedral dataflow, and Szabolcs-Marton Bagoly, also coadvised with Lionel Morel, on array properties of Lustre programs.
• 2018 : Arthur Gontier, L3 internship, coadvised with Lionel Morel, on smt solving of Lustre array programs and iterators.
• 2019 : Julian Bruyat's POM (dev project), coadvised with Matthieu Moy, on llvm pass evaluation ; Sébastien Michelland, M1 internship coadvised with Sebastien Mosser (UQAM) and Matthieu Moy, on software evolution in the context of the LLVM compiler [CAPESA PROJECT].
• 2020 : POM (research lab project) of Valentin Millet and Nabil Lambaret, coadvised with Matthieu Moy, on Cranelift Mozilla compiler ; Avril de Goër de Hervé, M1 internship coadvised with Sebastien Mosser (UQAM), on pass neutralization in the context of the LLVM compiler [CAPESA PROJECT].
• 2021 : L3 internship of Melvyn Bertolone : visualization of LLVM probes [CAPESA], and M1 internship of Clément Allain: algorithms for type search, cosupervised with Gabriel Radanne (CASH), and M2 internship of Thaïs Baudon (cosupervised with Carsten Fuhs, U. Birbeck) on Scheduling data structures with term rewriting techniques
• 2022 : Pauline Garelli, with G. Radanne (TBC)

• 2013 : Raphael Ernani Rodrigues (Brasil) made a short internship (2months) and worked on a new algorithm for proving non termination (the report) .
• 2014: Gabriel Radanne (co advised with D. Monniaux, 4AENSL Internship) worked on the implementation of our algorithm for Termination (the report). See also Termite's demopage.
• 2016 : Vitor Paisante made a short internship, whose object was to realize a new pointer analysis with M. Maalej.
• 2016 : M2 internship of Julien Braine on programs with arrays and lists. (the report) .
• 2017. 4A internship, Marc Chevalier.
• 2018 : M2 internship of Paul Iannetta on polyhedral semantics. (the report) [CODAS]
• 2021 : M2 internship of Thaïs Baudon (WIP)[CODAS]
• 2021. 4A internship, Sebastien Michelland, coadvised with Y. Zakowski