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
Master internships :
- 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]