PSTL

Responsable : Maryse Pelletier

ATTENTION ! Ce catalogue n’est pas encore complet, consultez-le régulièrement, de nouveaux sujets vont être ajoutés.

Marche à suivre pour choisir un projet

- Pour voir la description d’un sujet, cliquer sur son titre.

- Lorsqu’un sujet vous intéresse, vous devez prendre directement contact avec son encadrant (pour envoyer un mail à l’encadrant, il suffit de cliquer sur son nom). Dès qu’un encadrant vous a donné son accord pour effectuer un sujet sous sa direction, vous devez :

— retourner sur la page de description du sujet,

— entrer votre numéro d’étudiant

— et cliquer sur « Choisir ce stage »

Attention, ne faites pas ceci avant d’avoir l’accord de l’encadrant (vous risquez de vous faire éliminer du sujet).

Vous recevrez ensuite un mail de confirmation de votre inscription.

Vous devez choisir un sujet et effectuer une inscription ferme (i.e. confirmée par un encadrant et validée par les responsables du projet PSTL) avant le 16 janvier 2017 et commencer à travailler votre projet dès cette date.

Attention : vous avez le droit de vous intéresser à plusieurs sujets en parallèle, mais dans le cas où un encadrant vous accepte dans son projet, vous devez obligatoirement lui donner une réponse rapide (dans les 2 jours), et prévenir les encadrants des autres sujets que vous retirez votre candidature. Tout manquement à cette règle sera sanctionné.

Liste chronologique des 26 sujets proposés
les sujets sur fond coloré sont déjà attribués
L

Pour passer du mode abrégé au mode étendu, cliquer sur le bouton ci-dessus.
Pour être prévenu des stages annoncés tardivement, utiliser le fil RSS: il est spécifique à cette rubrique.
Pour ne lister que les stages associés à un mot-clé, cliquer sur une occurrence des mot-clés apparaissant en mode étendu sous le titre des stages.

1. Programmation 3D (OpenGL) en temps réel


Site : Embla3D
Encadrant : frederic.peschanski@lip6.fr


2. MrPython v2


Site : Dépôt git MrPython
Encadrant : Frédéric Peschanski frederic.peschanski@lip6.fr


3. Génération générique récursive de structures décomposables


Site : Trac-Génération générique récursive de structures décomposables
Encadrant : M. Dien : matthieu.dien@lip6.fr A. Genitrini : antoine.genitrini@lip6.fr C. Rovetta : christelle.rovetta@inria.fr


4. TIPL : vérification de type pour ILP


Site : TIPL : vérification de type pour ILP
Encadrant : Manoury Pascal, Carlos Agon Amado


5. Implémentation d’une bibliothèque d’octogones pour l’analyse statique de programmes


Site : Implémentation d’une bibliothèque d’octogones pour l’analyse statique de programmes
Encadrant : Antoine Miné, Thibault Suzanne et Ghiles Ziat.


6. Assembleur x64 certifié


Site : Trac-Assembleur x64 certifié
Encadrant : Pierre-Évariste Dagand


7. Visualiseur et éditeur d’éléments abstraits


Site : Visualiseur et éditeur d’éléments abstraits
Encadrant : Antoine Miné, Matthieu Journault, Ghiles Ziat


Exemple d’éléments abstraits

8. PHP_of_OCaml : compilation OCaml vers PHP


Site : Trac-PHP_OF_OCAML
Encadrant : Chailloux Emmanuel, Botbol Vincent


9. Traduction OCaml vers Swift


Site : Traduction OCaml vers Swift
Encadrant : Chailloux Emmanuel


10. Prototype de robot mobile.


Site : Trac-Prototype de robot mobile.
Encadrant : Binh-Minh Bui-Xuan<buixuan@lip6.fr>


11. Preprocessing graphs, with implementations in C.


Site : Trac-Preprocessing graphs, with implementations in C.
Encadrant : Binh-Minh Bui-Xuan<buixuan@lip6.fr>


12. Une interface graphique pour ILP


Site : Trac-Une interface graphique pour ILP
Lieu : Ircam (ww.ircam.fr)
Encadrant : Carlos Agon


13. SuperCollider et Java


Site : Trac-SuperCollider et Java
Lieu : Ircam
Encadrant : Carlos Agon


14. Un analyseur syntaxique pour MusicXML


Site : Trac-Un analyseur syntaxique pour MusicXML
Lieu : Ircam
Encadrant : Carlos Agon


15. Graphes et Analyse Musicale


Site : Trac-Graphes et Analyse Musicale
Lieu : Ircam
Encadrant : Carlos Agon


16. Une implémentation du Tonnetz en Java


Site : Trac-Une implémentation des Tonnetz en Java
Lieu : Ircam
Encadrant : Carlos Agon


17. Contribution à un logiciel libre


Site : Contribution à un logiciel libre
Encadrant : Matthieu Dien


18. Extraction de variantes logiciels à partir de dépôts de code de source


Site : Trac-Extraction de variantes logiciels à partir de dépôts de code de source
Lieu : LIP6
Encadrant : Tewfik Ziadi Jabier Martinez


19. Bibliothèque de rendu 3D pour OCaml


Site : Bibliothèque de rendu 3D pour OCaml
Encadrant : Mathias Bourgoin (mathias.bourgoin@gmail.com) Emmanuel Chailloux (Emmanuel.Chailloux@lip6.fr)


20. Visualisateur de traces d’exécution d’applications hétérogènes


Site : Visualisateur de traces d’exécution d’applications hétérogènes
Encadrant : Mathias Bourgoin (mathias.bourgoin@gmail.com) Emmanuel Chailloux (Emmanuel.Chailloux@lip6.fr)


21. « Clickeur » pédagogique sur smartphone : partie étudiants


Site : Trac-« Clickeur » pédagogique sur smartphone : partie étudiants
Encadrant : Olivier Sigaud, ISIR, UPMC (Olivier.Sigaud at upmc.fr)


22. « Clickeur » pédagogique sur smartphone : partie enseignants


Site : Trac-« Clickeur » pédagogique sur smartphone : partie enseignants
Encadrant : Olivier Sigaud, ISIR, UPMC (Olivier.Sigaud at upmc.fr)


23. « Clickeur » pédagogique sur smartphone : partie serveur


Site : Trac-« Clickeur » pédagogique sur smartphone : partie serveur
Encadrant : Olivier Sigaud, ISIR, UPMC (Olivier.Sigaud at upmc.fr)


24. Jeux de drone "RockAn’Dron"


Site : Jeux de drone "RockAn’Dron"
Encadrant : Binh-Minh Bui-Xuan, Vincent Botbol, Ghiles Ziat.


25. Table interactive.


Site : Trac-Table interactive.
Encadrant : Binh-Minh Bui-Xuan <buixuan@lip6.fr>


26. Machine Virtuelle Pédagogique


Site : Trac-Machine Virtuelle Pédagogique
Encadrant : Chailloux Emmanuel