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.

Liste chronologique des 22 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. Analyses statiques pour MrPython


Site : Le site de développement de MrPython
Encadrant : Frédéric Peschanski


2. Expérimentations et analyse de formules Booléennes de Horn


Site : Trac-Expérimentations et analyse de formules Booléennes de Horn
Encadrant : A. Genitrini


3. Publication/souscription en BCM4Java


Site : Trac-Publication/souscription en BCM4Java
Encadrant : Malenfant Jacques


Description complète

4. Parallelisation de graphes audio


Site : Repmus (STMS, Ircam)
Encadrant : Donat-Bouillud Pierre, Jean-Louis Giavitto


5. 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 : A. Genitrini et M. Pépin


6. Tables de hachage réparties (DHT) et registre BCM4Java


Site : Trac-Tables de hachage réparties (DHT) et registre BCM4Java
Encadrant : Malenfant Jacques


Description complète

Chord

7. Visualisation de la trace d’un langage synchrone pour la musique


Site : Antescofo (Ircam)
Encadrant : Donat-Bouillud Pierre, Jean-Louis Giavitto


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
Lieu : LIP6
Encadrant : Cédric Besse, Mikal Ziane
Dates :de fin janvier à fin mai 2019


9. Implantation de composants temps réel en BCM4Java


Site : Trac-Implantation de composants temps réel en BCM4Java
Encadrant : Jacques Malenfant


Composants temps réel en BCM4Java

10. Refactoring d’un graphe de dépendances d’un programme java


Site : Trac-Refactoring d’un graphe de dépendances d’un programme java
Lieu : LIP6
Encadrant : Cédric Besse, Mikal Ziane
Dates :de fin janvier à mai 2019


11. Génération et correction automatique de QCM


Site : Trac-Génération et correction automatique de QCM
Lieu : LIP6
Encadrant : Dominique.Bereziat@lip6.fr


12. ILPinILP : compilateur ILP en ILP


Site : Trac-ILPinILP : compilateur ILP en ILP
Encadrant : Antoine Miné, Ghiles Ziat, Steven Varoumas, Darius Mercadier


13. Interface Web pour l’analyseur statique de programmes MOPSA


Site : Trac-Interface Web pour l’analyseur statique de programmes MOPSA
Encadrant : Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault, Raphaël Monat


14. Programmation de haut niveau pour applications sur microcontrôleurs


Site : Trac-Programmation de haut niveau pour applications sur microcontrôleurs
Encadrant : Emmanuel Chailloux, Steven Varoumas, Benoit Vaugon


15. Moteur FRP 3D (OpenGL) en Clojure


Site : Le framework Yaw
Encadrant : Frédéric Peschanski


16. Formule des équerres dans des arbres non plans


Site : Trac-Formule des équerres dans des arbres non plans
Encadrant : A. Genitrini


17. Typage de code Cython en vue de sa parallélisation


Site : Trac-Typage de code Cython en vue de sa parallélisation
Encadrant : Chailloux Emmanuel


18. Une application mobile (ou web) en fonctionnel typé sur les pavages à la Escher, visualisation et édition.


Site : Trac-Une application mobile (ou web) en fonctionnel typé sur les pavages à la Escher, visualisation et édition.
Encadrant : Chailloux Emmanuel


19. Analyse des familles de protéines : un adaptateur pour BUT4Reuse


Site : Trac-Analyse des familles de protéines : un adaptateur pour BUT4Reuse
Lieu : LIP6
Encadrant : Tewfik Ziadi (LIP6) Juliana Bernardes, LCQB


20. Moteur 3D (OpenGL) en Java/LLWJGL


Site : Le framework Yaw
Encadrant : Peschanski Frederic


21. Comparaison de modèles : un adaptateur pour BUT4Reuse


Site : Trac-Comparaison de modèles
Encadrant : Ziadi Tewfik


22. Cryptographie asynchrone en Rust


Site : Trac-Cryptographie asynchrone en Rust
Encadrant : Pierre-Évariste Dagand