Current Internships Proposals

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

Past Internships

Undergraduate internships :

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 J. Braine on programs with arrays and lists. (the report) .
  • 2017. 4A internship, Marc Chevalier.