De nombreux sujets de stages sont possibles, contactez-moi !
There are many opportunities of interships on various subjects, please contact me!
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 |
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 |
LEVEL | TITLE | WHERE |
---|---|---|
CS 685 |
PySke: the Python Skeleton Library
Student: Jolan Philippe Supervisor: F. Loulergue |
NAU, SICCS, SSERL, Flagstaff |
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 |
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 |
NIVEAU | TITRE | LIEU |
---|---|---|
M2 |
Formal Semantics of BSPlib
effectué par Igor Zhirkov encadré par / supervised by F. Loulergue |
LIFO, Orléans |
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 |
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 |
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 |
NIVEAU | TITRE | LIEU | |
---|---|---|---|
Aucun stage |
NIVEAU | TITRE | LIEU | |
---|---|---|---|
Aucun stage |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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. |
NIVEAU | TITRE |
---|---|
DEA | BSlambda simplement typé : typage et sémantique
naturelle Stage effectué par A. Merlin Le rapport de stage |