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 21 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. Proposition de PSTL : Évaluation par réécriture d’un sous-ensemble (fonctionnel) de OCaml


Site : Trac-Proposition de PSTL : Évaluation par réécriture d’un sous-ensemble (fonctionnel) de OCaml
Encadrant : Journault Matthieu


2. Implémentation et évaluation d’algorithmes de tri efficaces


Site : Trac-Implémentation et évaluation d’algorithmes de tri efficaces
Encadrant : Martin Pépin, Matthieu Journault


3. Détection de clones dans le code C/C++


Site : Trac-Détection de clones dans le code C/C++
Encadrant : Ziadi Tewfik


4. Extraction de lignes de produits d’arbres d’attaques


Site : Trac-Extraction de lignes de produits d’arbres d’attaques
Encadrant : Ziadi Tewfik


5. Modélisation des patterns de sécurité


Site : Trac-Modélisation des patterns de sécurité
Encadrant : Tewfik ZIADI


6. Intégration de l’outil d’analyse Mopsa dans Visual Studio Code


Site : Trac-Intégration de l’outil d’analyse Mopsa dans Visual Studio Code
Encadrant : Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault, Raphaël Monat


7. QuickCheck de bibliothèques d’analyse statique en OCaml


Site : Trac-QuickCheck de bibliothèques d’analyse statique en OCaml
Encadrant : Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault, Raphaël Monat


8. Génération de programmes aléatoires pour le test automatique d’outil d’analyse statique


Site : Trac-Génération de programmes aléatoires pour le test automatique d’outil d’analyse statique
Encadrant : Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault, Raphaël Monat


9. Compression de très grands graphes de terrain


Site : Trac- Compression de très grands graphes de terrain
Lieu : LIP6
Encadrant : Maximilien Danisch


10. Simulateur & IDE génériques pour OMicrob


Site : Trac-Simulateur & IDE génériques pour OMicrob
Encadrant : Emmanuel Chailloux & Steven Varoumas


11. Programmation FPGA en OCaml


Site : Trac-Programmation FPGA en OCaml
Encadrant : Emmanuel Chailloux & Mathias Bourgoin


12. OCaml sur la plate-forme Nand2Tetris


Site : Trac-OCaml sur la plate-forme Nand2Tetris
Encadrant : Emmanuel Chailloux


13. Interfaces riches et contrats à la QML dans le modèle à composants BCM4Java


Site : MoVe
Lieu : Sorbonne Université/LIP6
Encadrant : Jacques Malenfant
Dates :27/01/2020 au 29/05/2020
Rémunération :aucune


Description du projet.

14. Musique Electronique Déclarative (en Clojure)


Site : Csound
Encadrant : Peschanski Frederic


15. Moteur 3D FRP (Clojure, Java et OpenGL)


Site : Le projet Yaw
Encadrant : Peschanski Frederic


16. Analyses de code dans MrPython


Site : MrPython
Encadrant : Peschanski Frederic


17. Problèmes algorithmiques et ZDD


Site : Problèmes algorithmiques et ZDD
Lieu : SU-Jussieu
Encadrant : Antoine Genitrini Martin Pépin
Dates :01/01/2020 au 20/06/2020


18. Théorie des types avec normalisation par évaluation


Site : LaTTe
Encadrant : Peschanski Frederic


19. Inférence de types avec dépendances pour données JSON massives


Site : Trac-Inférence de types avec dépendances pour données JSON massives
Lieu : LIP6
Encadrant : Mohamed-Amine Baazizi


20. Test de propriétés et BDD


Site : Test de propriétés et BDD
Encadrant : A. Genitrini


21. scikit-networks : une bibliothèque émergente de manipulation de grands graphes en python


Site : Complex Networks
Lieu : LIP6
Encadrant : Maximilien Danisch