This page contains informations about and for the students doing research with me. The interns will find informations about internship positions currently available, and pieces of advice that I try to collect over the time for them. Other people will find the list of the students that are currently working with me and the ones who worked with me in the past.

Open positions

Research Internships

Right now (march 2017), my favorite research topics are the following. I'd love to see a good student working on this topic soon.

Development Internships

If you are looking for a development internship, then the PLM is the right project for you. Please read the project's TODO list. It contains some context information, and a list of tasks that you could achieve in the project.

Advice to interns and students

Please visit my page on methodological advice that I want every students to read. It may be interesting even if you are not one of my students (yet).

Some other links:

  • Some very good slides on doing a PhD (in French, too). Local copy.
  • Some very good slides on being a TA (in french, un chargé de TD). The first part aims non-native speaker teaching in the US and is thus rather uninteresting to me. But the 3 other sections are much more relevant to my experience. Local copy. Some other good material can be found on the page of W. Rapaport.
  • A good presentation on how to give a scientific talk.
  • A 122-pages book providing a very interesting definition of what is that thing that we call a PhD is.
  • A web page listing a bunch of resources for PhD students, much more complete than my own.
  • Some word of advice for prospective PhD students.

Past Students

PhD students

  • Marion Guthmuller: Defense on June 29, 2015. Manuscript on HAL and slides
  • Cristian Rosa: Defense on October 24, 2011. Manuscript (on HAL) and slides
  • Although I was not the officially approved advisor of Sabina Ahktar, I was closely involved in her research. Manuscript.

2016

Stage 1A (Licence 3 at ENS Rennes)

  • Simon Bihel, Specifying the Experimental Scenarios for Simulated Cloud Studies. LabBook, Report, Slides.

2015

Master internships

  • Louisa Bessad (UPMC, Paris), Real-time online emulation of real applications on SimGrid with Simterpose Rapport, Slides (in French).

Stage Telecom Nancy 2A découverte de la recherche

Stage 2A (Master 1 at Telecom Nancy)

Stage DUT

  • Portage web d'un exerciseur de programmation. rapport, slides
  • Langage visuel pour un exerciseur. rapport, slides.
  • Conception et réalisation d'un éditeur d'exercices de programmation. rapport, slides.

2014

Master internships

  • Stéphane Castelli (M2R Enseirb Bordeaux): Routage hypercube et simulation infiniband Rapport (in French).
  • Chloé Macur (Master 1 École Polytechnique): Emulation through Simulation with Simterpose.
    (topic proposed as a postdoc the year before, in vain)
    proposal, manuscript, slides (in French).

Stage Telecom Nancy 2A découverte de la recherche

  • Serveur d'application pour la Programmer's Learning Machine (in French). sujet, rapport, presentation.
  • Programmation visuelle en Scratch dans la PLM (Visual Programming with Scratch in the PLM) proposal (stage non attribué).
  • Outil de visualisation dynamique pour la vérification d'applications distribuées dans SimGrid (Online visualization of the SimGrid's model-cheker) proposal, rapport (in French).
  • Ajout du langage C dans la PLM rapport (in French).

2013

stage ESIAL 3A

  • Guillaume Serrière (Telecom Nancy, final internship): Parallel and Distributed Simulation of Large-Scale Distributed Applications. proposal, rapport (in French).

Stage ESIAL 2A découverte de la recherche

  • Julien Bastian, Geoffrey Humbert. Programmation pour débutants dans JLM (Bridging JLM and SNM). Sujet, rapport.
  • Alexandre Frantz et Richard Guerci. Mode enseignant dans la Java Learning Machine (Teacher mode in JLM). Sujet, rapport, slides.
  • Clément AUDAM et Héloise ROMET. Simulation transparente d'applications Java RMI (Seamless Simulation of Java RMI applications in SimGrid). Sujet, Rapport.

2012

Internship Inria

  • Maximiliano Geier, from University of Buenos Aires, Argentina. Leveraging multiple experimentation methodologies to study P2P broadcast.
    Proposal. Planned period: 09/2012 and 02/2013.

Stage long 2A ESIAL

  • Guillaume Serrière. Real-time online emulation with Simterpose.
    Proposal, Report.
  • Marc Pinhède. Implementation of a compilateur from PlusCal to TLA+ with Tom.
    Proposal (in french), report (in english), slides (in english).
  • Jean-Baptiste Hervé. Modèles stochastiques dans SimGrid et DistEm.
    Proposal, rapport, slides.

Stage technicien DUT

  • Samuel Lepetit. Implémentation d'algorithmes pair à pair et amélioration des interfaces utilisateur sur le simulateur SimGrid
    Rapport, Slides.

Stage ESIAL 2A découverte de la recherche

  • Julien Vaubourg, Nicolas Bouget. Sauvegarde de données Pair-à-Pair sur les boîtiers d'un FAI. Sujet, rapport, slides.
  • Nicolas Mazurkiewicz, Guillaume Serrière. Plate-forme pour l'enseignement des systèmes informatiques en C. Sujet, slides
  • Guillaume Gérard, Adrien Siebert, Julien Guepin. Console pour l'enseignant dans la Java Learning Machine. Sujet, rapport, slides.
  • Etienne Marban, Marion Le bras. Amélioration de la plate-forme JLM pour l'enseignement de la programmation orientée objet. Sujet, rapport, slides.

2011

M2R Loria / stage ESIAL 3A

  • Marion Guthmuller. Initial subject: Time parallel simulation and/or state-full model-checking with DWARF (sujet). This subject evolved during the internship toward: Study of Legacy Distributed Applications through Simulation and Model-Checking for the Discovery and Validation of Behavioral Properties. Yeah, it happens sometimes ;)
    rapport (in French), slides (in French).

Stage ESIAL 2A découverte de la recherche

  • Romain Truchi - Kevin Aubert. Plate-forme pour l'enseignement des systèmes informatiques en C. Sujet, rapport, slides.
  • Gabriel LARROQUE - Sébastien CHAMPAGNE. Amélioration d'une plate-forme pour l'enseignement de l'informatique. Sujet, rapport, slides.

2010

  • Marion Guthmuller (stage ESIAL 2A): Interception système pour la capture et le rejeu de traces.
    sujet, rapport, slides.
  • Kaishin Lin - Alain Seng (Projet de 2A de l'école des Mines de Nancy): Interception système pour l'émulation d'applications.
    sujet, rapport, slides.
  • Sébastien TONI - Loic VOURC'H (stage ESIAL 2A découverte de la recherche): Amélioration d'une plate-forme pour l'enseignement de l'informatique.
    sujet, rapport, slides.

2008

  • Cristian Rosa (INRIA internship): Model-Checking in a Grid Framework. Cristian was then enrolled in a PhD program with me.
    proposal
  • Sabina Akhtar (M2R LORIA): Formal Verification of Distributed Algorithms in +CAL 2.0. Sabina is currently enrolled in a PhD program with Stephan Merz, who were the main advisor of this M2R internship.
    report

2007

  • Sebti Moueli (M2R LORIA): Verification of Grid and P2P Algorithms.
    proposal, slides.

2006

  • Ahmed Harbaoui (M2R LORIA): Étude comparative des algorithmes de découverte de la topologie de la grille
    manuscript, slides
  • Christophe Thiéry (stage ESIAL 2A): Simulation de graphes de tàches dans SimGrid 3
    manuscript, slides