PSTL

Responsable : Maryse Pelletier

Note aux étudiants

- 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.

Il vous est conseillé de choisir un sujet avant le 20 janvier 2015 et de commencer à travailler votre projet dès cette date. Dans tous les cas, vous devez avoir effectué une inscription ferme (i.e. confirmée par un encadrant et validée par les responsables du projet PSTL) pour l’un des sujets avant la reprise des cours du second semestre.

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 36 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. Tous les parcours mènent aux DAGs - une étude algorithmique


Site :Trac-Tous les parcours mènent aux DAGs - une étude algorithmique
Encadrant : Antoine Genitrini Frédéric Peschanski Matthieu Dien


2. Boxed : documents interactifs sur le Web


Site :Boxed : documents interactifs sur le Web
Encadrant : Frédéric Peschanski


3. MrPython : un environnement pédagogique pour le L1


Site :MrPython : un environnement pédagogique pour le L1
Encadrant : Frédéric Peschanski Romain Demangeon


4. Visualisation de gros arbres (Arboviz 2.0)


Site :Trac-Visualisation de gros arbres (Arboviz 2.0)
Encadrant : Matthieu Dien Antoine Genitrini


5. Systèmes multi-agents et lignes de produits pour mieux explorer l’espace


Site :Trac-Systèmes multi-agents et lignes de produits pour mieux explorer l’espace
Lieu :UPMC-LIP6
Encadrant : Zahia Guessoum Anarosa Alves Franco Brandão Tewfik Ziadi


6. Implémentation dans un langage fonctionnel d’analyses de flot et de dépendances d’un code assembleur


Site :Implémentation dans un langage fonctionnel d’analyses de flot de données et de dépendances d’un code assembleur
Encadrant : Karine Heydemann


7. Inférence de régions et compteurs de références


Site :Trac-Inférence de régions et compteurs de références
Encadrant : Salvucci Jeremie, Chailloux Emmanuel


8. Simulation d’un micro-contrôleur, applications aux Arduinos


Site :Trac-Simulation d’un micro-contrôleur, applications aux Arduinos
Encadrant : Chailloux Emmanuel


9. SpocGL : interopérabilité SPOC - OpenGL


Site :Trac- SpocGL : interopérabilité SPOC - OpenGL
Encadrant : Chailloux Emmanuel


10. Scade/Lustre pour les robots Lego NTX


Site :Trac-Scade/Lustre pour les robots Lego NTX
Encadrant : Chailloux Emmanuel


11. Programmation Android pour accords de guitare.


Site :Trac-Programmation Android pour accords de guitare.
Encadrant : Bui-Xuan Binh-Minh


12. Programmation C pour une surcouche logicielle en robotique.


Site :Trac-Programmation C pour une surcouche logicielle en robotique.
Encadrant : Bui-Xuan Binh-Minh


13. Programmation GPU pour un break-through dans la NP-complétude.


Site :Trac-Programmation GPU pour un break-through dans la NP-complétude.
Encadrant : Bui-Xuan Binh-Minh


14. OCaml sur STM32 Nucleo, adaptation de l’environnement d’exécution OCAML sur ARM


Site :Trac-OCaml sur STM32 Nucleo, adaptation de l’environnement d’exécution OCAML sur ARM
Encadrant : Chailloux Emmanuel


15. OCaml sur Arduino : portage de la machine ZAM sur architecture Arduino


Site :Trac-OCaml sur Arduino : portage de la machine ZAM sur architecture Arduino
Encadrant :


16. Pagination d’une partition musicale


Site :Trac-Pagination d’une partition musicale
Lieu :Ircam
Encadrant : Carlos Agon


17. Piccolo : un langage de programmation à multi-coeurs


Site :Piccolo : un langage de programmation à multi-coeurs
Encadrant : Aurélien Deharbe et Frédéric Peschanski


18. Hearthstone


Site :Trac-Hearthstone
Encadrant : Manoury Pascal


19. Site de rencontres professionnelles


Site :Trac-Site de rencontres professionnelles
Encadrant : Manoury Pascal


20. Contrôle de trafic ferroviaire


Site :Trac-Contrôle de trafic ferroviaire
Encadrant : Bruno Lesueur et Pascal Manoury


21. Compaction de traces d’exécutions


Site :Trac-Compaction de traces d’exécutions
Lieu :LIP6
Encadrant : Antoine Genitrini Frédéric Peschanski Matthieu Dien


22. Développement d’un client bittorrent avec MirageOS


Site :Trac-Développement d’un client bittorrent avec MirageOS
Lieu :LIP6
Encadrant : Jérémie Salvucci Vincent Botbol Emmanuel Chailloux


23. Algorithmique quantitative pour les masses de données


Site :Trac-Algorithmique quantitative pour les masses de données
Encadrant : Maryse Pelletier et Michèle Soria


24. Implantation d’un moteur d’exécution répartie de réseaux de Petri dans un modèle minimal de composants


Site :Trac-Implantation d’un moteur d’exécution répartie de réseau de Petri dans un modèle minimal de composants
Lieu :UPMC
Encadrant : Jacques Malenfant
Dates :M1/S2


25. Contribution à l’implantation en Java d’un modèle minimal de composants


Site :Trac-Contribution à l’implantation en Java d’un modèle minimal de composants
Lieu :UPMC
Encadrant : Jacques Malenfant
Dates :M1/S2


26. Jeux de cartes multijoueurs


Site :Trac-Jeux de cartes multijoueurs
Lieu :LIP6
Encadrant : Aurélien Deharbe Matthieu Dien


27. Refactoring et Abstractions pour GAL


Site :Page GAL
Lieu :P6
Encadrant : Yann Thierry-Mieg


Stage Refactoring

28. Analyse de GAL à l’aide de solver SMT


Site :Page GAL
Encadrant : Yann Thierry-Mieg Souheib Baarir


Stage GAL vers SMT

29. Les lieurs en programmation : Concepts et Implémentations


Site :Les lieurs en programmation : Concepts et Implémentations
Encadrant : Pierre-Evariste Dagand Frédéric Peschanski


30. Réalisation d’une interface graphique pour détecter l’évolution d’un DSML (Domain-Specifc Modeling Language),


Site :équipe MoVe
Lieu :LIP6, équipe Move, UPMC
Encadrant : Reda Bendraou


31. HTML5 et représentation rhythmique


Site :Trac-HTML5 et représentation rhythmique
Encadrant : Bui-Xuan Binh-Minh


32. Algorithmes auto-stabilisant : exploration pérpétuelle


Site :Trac-Algorithmes auto-stabilisant : exploration pérpétuelle
Lieu :lip6
Encadrant : Yann Thierry-Mieg Tali Sznajder


Stage autostable -

sujet du stage


33. Génération de partitions de batterie en direct


Site :Trac-Génération de partitions de batterie en direct
Lieu :Ircam
Encadrant : Carlos Agon


34. Formulaire interactif de conception d’emploi du temps


Site :Trac-Formulaire interactif de conception d’emploi du temps
Encadrant : Antoine Genitrini


35. Musicalisation du jeu échecs


Site :Trac-Musicalisation des échecs
Lieu :Ircam
Encadrant : Carlos Agon


36. Application Mobile de Studio d’Enregistrement


Site :Trac-Application Mobile de Studio d’Enregistrement
Lieu :Ircam
Encadrant : Carlos Agon