2023-2024

De nombreux sujets de stages sont possibles, contactez-moi !

There are many opportunities of interships on various subjects, please contact me!

2022-2023

NIVEAU TITRE LIEU
L3 Vérification de modules Contiki avec Frama-C
effectué par Benjamin Gaudin
encadré par / supervised by F. Loulergue 		LIFO, Orléans
L3 Vérification déductive de programmes fonctionnels parallèles extensibles
effectué par Olivia Proust
encadré par / supervised by F. Loulergue 		LIFO, Orléans

2020-2021

NIVEAU TITRE LIEU
5A / M2 Formalisation en Coq et application aux modèles mémoires faibles des complexes simpliciaux abstraits
effectué par Jordan Ischard
encadré par / supervised by J. Chouquet, F. Dabrowski, F. Loulergue 		LIFO, Orléans
TER M1 Programmation par contraintes pour un courtier Cloud orienté sécurité
effectué par
encadré par / supervised by B. Dao et F. Loulergue 		LIFO, Orléans

Fall 2018-Spring 2019

LEVEL TITLE WHERE
CS 685 PySke: the Python Skeleton Library
Student: Jolan Philippe
Supervisor: F. Loulergue 		NAU, SICCS, SSERL, Flagstaff

Fall 2017-Spring 2018

LEVEL TITLE WHERE
CS 685 Strong security guarantees: from Alloy to Coq
Student: Salwa Souage
Supervisor: F. Loulergue
Publication: International Conference on High Performance Computing and Simulation (HPCS) 		NAU, SICCS, SSERL, Flagstaff
CS 685 Towards the generation of correct Java programs
Student: Jolan Philippe
Supervisor: F. Loulergue
Publication: International Conference on High Performance Computing and Simulation (HPCS) 		NAU, SICCS, SSERL, Flagstaff

Fall 2016-Spring 2017

LEVEL TITLE LOCATION
Master 1 Mechanized Formalization of a Big Graph API
Student: Jolan Philippe
Supervisor(s): W. Bousdira, F. Loulergue 		LIFO, Orléans and SICCS, NAU, USA
Master 2 Formal SLA in a Cloud Environment
Student: Salwa Souaf
Supervisor(s): P. Berthomé, F. Loulergue 		LIFO, Orléans and SICCS, NAU, USA
CS 485 A Verified Parallel Program for Frequent Itemset Mining
Student: Chris Whitney
Supervisor(s): F. Loulergue
Publication: 15th IEEE International Conference on Advanced and Trusted Computing 		SICCS, NAU, USA

2015-2016

NIVEAU TITRE LIEU
M2 Formal Semantics of BSPlib
effectué par Igor Zhirkov
encadré par / supervised by F. Loulergue 		LIFO, Orléans

2014-2015

NIVEAU TITRE LIEU
M2 Formalisation en TLA+ de programmes parallèles avec modèles mémoire faibles
effectué par Joris Rubagotti
encadré par / supervised by F. Loulergue 		LIFO, Orléans

2013-2014

NIVEAU TITRE LIEU
M2 Génération automatique de règles d'optimisation de programmes fonctionnels
effectué par Simon Robillard
encadré par / supervised by F. Loulergue 		LIFO, Orléans

2012-2013

NIVEAU TITRE LIEU
M2 Vérification de composants critiques d'hyperviseur pour l'informatique en nuage
effectué par Allan Blanchard
encadré par / supervised by N. Kosmatov, M. Lemerre
tutored by F. Loulergue 		CEA LIST, laboratoire LSL
M1 PowerLists and BSP Homomorphisms in Coq
effectué par Simon Robillard
encadré par / supervised by Frédéric Loulergue
projet / project INEx 		LIFO, Orléans

2011-2012

NIVEAU TITRE LIEU
Aucun stage

2010-2011

NIVEAU TITRE LIEU
Aucun stage

2009-2010

NIVEAU TITRE LIEU
M1 / TER Derivation of Efficient and Correct Functional Bulk Synchronous Parallel Programs
encadré par Frédéric Loulergue et Julien Tesson
effectué par Sylvain Dailler (ENS Lyon) 		LIFO, Orléans
L3 Bulk Synchronous Parallel ML: Applications, Implementation and Proofs
encadré par Wadoud Bousdira et Frédéric Loulergue
effectué par Guillaume Petiot 		LIFO, Orléans

2008-2009

NIVEAU TITRE LIEU
M2 Sémantique de Fortress
encadré par Frédéric Loulergue et Yohan Boichut
effectué par Thomas Pinsard 		LIFO, Orléans
M2 Etude comparative de langages pour la programmation multi-coeurs
encadré par Frédéric Loulergue et Sylvain Jubertie
effectué par Mohammad Charaf Eddin 		LIFO, Orléans

2006-2007

NIVEAU TITRE LIEU
M2 Sémantique formelle de la bibliothèque BSPlib
stage effectué par Julien Tesson (2007)
Le rapport de stage 		LIFO, Orléans
M2 An Efficient Bulk Synchronous Parallel Library of Algorithmic Skeletons in C++
stage effectué par Noman Javed (2007) 		LIFO, Orléans

2005-2006

NIVEAU TITRE LIEU
M2 DMML: Implémentation et Algorithmes
encadré par Frédéric Gava
stage effectué par Otmane Bouziani (2006)
 LACL, Paris XII
M1 Stages M1 - Initiation à la recherche (Orléans)
encadrés par Frédéric Loulergue
Stages effectués (2006) par: Nicolas Feraud et Julien Gribonvald 		LIFO, Orléans

2004-2005

NIVEAU TITRE
M2 Certification de programmes BSML avec juxtaposition parallèle
stage effectué par Dimitri Louis-Régis (2005)
Le rapport de stage
M2 Composition parallèle pour MSPML: sémantique et implémentation
stage effectué par Radia Benheddi (2005)
Le rapport de stage
M2 MSPML : Environnements de communication et tolérance aux pannes
stage effectué par Abdeltouab Belbekkouche (2005)
Le rapport de stage

2003-2004

NIVEAU TITRE
DEA/M2 BSML: Implémentation modulaire et prévision de performances
stage effectué par David Billiet (avril-juillet 2004)
Le rapport de stage

2002-2003

NIVEAU TITRE
DEA Sémantiques et implémentation de BSML avec exceptions
stage effectué par F. Dabrowski, avril-septembre 2003
Le rapport de stage
Maîtrise ML Parallèle Minimalement Synchrone
stage effectué par Myrto Arapinis, mai-juin 2003
Le rapport de stage

2001-2002

NIVEAU TITRE
DEA Système de types polymorphe pour BSML avec traits impératifs
Stage effectué par F. Gava
Le rapport de stage
Maîtrise Bibliothèques de Patrons Parallèles
Stage effectué par F. Dabrowski. 
Le rapport de stage
DESS Administration d'une grappe de PC. Tests de programmes parallèles.
Stage effectué par P. Andiazabal.

1999-2000

NIVEAU TITRE
DEA BSlambda simplement typé : typage et sémantique naturelle
Stage effectué par A. Merlin
Le rapport de stage