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, et seulement dans ce cas, 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 15 janvier 2018 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 20 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. Générateur automatique de plugin emacs, vim, atom, vscode, etc.


Site : Trac-Générateur automatique de plugin emacs, vim, atom, vscode, etc.
Encadrant : Peschanski Frederic


2. FRP en 3D avec Clojure


Site : Le site de développement de yaw
Encadrant : Peschanski Frederic


3. Type-safe MrPython


Site : Site de développement de MrPython
Encadrant : Peschanski Frederic


4. Combinatoire analytique sous Sage


Site : Trac-Combinatoire analytique sous Sage
Encadrant : A. Genitrini


5. Etude quantitative et génération aléatoire d’ordres partiels dits sans cycle


Site : Trac-Etude quantitative et génération aléatoire d’ordres partiels dits sans cycle
Encadrant : A. Genitrini


6. Heuristiques d’Ordre et Compression d’Arbre


Site : Trac-Heuristiques d’Ordre et Compression d’Arbre
Lieu : lip6
Encadrant : Yann Thierry-Mieg


7. ILPinILP : compilateur ILP en ILP


Site : Trac-ILPinILP : compilateur ILP en ILP
Encadrant : Antoine Miné, Ghiles Ziat, Pierre Talbot


8. Création et affichage d’un graphe de dépendances d’un programme java


Site : Trac-Création et affichage d’un graphe de dépendances d’un programme java
Encadrant : Cédric Besse et Mikal Ziane Mikal.Ziane@lip6.fr Cedric.Besse@lip6.fr


9. Analyse de Données avec les API Google JS


Site : Trac-Analyse de Données avec les API Google JS
Lieu : lip6
Encadrant : Yann Thierry-Mieg


10. Implantation du refactoring extract method


Site : Trac-Implantation du refactoring extract method
Encadrant : Cédric Besse et Mikal Ziane Mikal.Ziane@lip6.fr Cedric.Besse@lip6.fr


11. Intégration de Piccolo dans l’outil Puck


Site : Trac-Intégration de Piccolo dans l’outil Puck
Encadrant : Cédric Besse et Mikal Ziane Mikal.Ziane@lip6.fr Cedric.Besse@lip6.fr


12. Composants dynamiquement adaptables sûrs en Java


Site : Trac-Composants dynamiquement adaptables sûrs en Java
Encadrant : Jacques.Malenfant@lip6.fr


13. Composants temps réel répartis en Java


Site : Trac-Composants temps réel répartis en Java
Encadrant : Jacques.Malenfant@lip6.fr


14. Variables futures en Java/RMI


Site : Trac-Variables futures en Java/RMI
Encadrant : Jacques.Malenfant@lip6.fr


15. Correction automatique de questionnaires à choix multiples


Site : Trac-Correction automatique de questionnaires à choix multiples
Encadrant : Dominique.Bereziat@lip6.fr


16. Générateur de parseur en Rust


Site : Trac-Générateur de parseur en Rust
Encadrant : Talbot Pierre, Agon Amado Carlos


17. Un adaptateur BUT4Reuse pour la comparaisons des distributions Eclipse


Site : Trac-Un adaptateur BUT4Reuse pour la comparaisons des distributions Eclipse
Lieu : UPMC-LIP6
Encadrant : Tewfik Ziadi Jabier Martinez


18. Problème de l’arbre de Steiner


Site : Problème de l’arbre de Steiner
Encadrant : Julien Baste


19. Amélioration et évolution de Batteries, une plateforme moderne de développement pour OCaml


Site : Trac-Amélioration et évolution de Batteries, une plateforme moderne de développement pour OCaml
Encadrant : Thibault Suzanne Emmanuel Chailloux


20. Inférence de types automatique d’un AST à partir d’une grammaire


Site : Trac-Inférence de types automatique d’un AST à partir d’une grammaire
Encadrant : Talbot Pierre, Agon Amado Carlos