psar

L’unité d’enseignement « Projet SAR » relève de la spécialité SAR du master d’informatique. L’objectif est de pratiquer les domaines couverts par la spécialité : conception, vérification et réalisation d’applications et systèmes répartis.

Le travail demandé comporte une grosse part de développement logiciel, aussi il faudra utiliser un gestionnaire de versions concurrentes. Pour cela, la Plateforme Pédagogique et Technique d’Informatique de notre université met à votre disposition un serveur Subversion, dont vous devez lire attentivement la documentation. Tous les systèmes d’exploitation offrent un client Subversion en ligne de commande, vous pouvez aussi installer une version graphique si vous le désirez. Le serveur Subversion de la PPTI doit être utilisé pour que vos encadrants puissent suivre et tester votre travail. Les exceptions à son utilisation doivent faire l’objet d’un accord préalable avec les encadrants.

Les soutenances, de tous devant tous, auront lieu les après-midi des 12 et 13 mai ; réservez dès à présent ces dates.

Prenez connaissance des projets contenus dans la liste ci-dessous, puis contacter les responsables des projets qui vous intéressent, en cliquant sur leur nom. Vous pouvez ainsi poser des questions complémentaires et prendre éventuellement rendez-vous. Lorsqu’un encadrant vous aura donné son accord, vous signalerez votre candidature au responsable de l’UE en vous déclarant dans le menu à gauche du texte de présentation du projet. Vous ne pouvez pas candidater à plusieurs projets simultanément.

Liste chronologique des 24 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. Gestion de tas réparti


Site :Gestion de tas réparti
Lieu :UPMC
Encadrant : Pierre Sens
Dates :du 01/02/2014 au 10/05/2014


Sujet Projet Tas Réparti

2. Etudes sur la dissémination d’information dans les réseaux sociaux


Site :Equipe Regal
Lieu :LIP6
Encadrant : Pierre Sens, Ruijing Hu,
Dates :31/01/2014 au 12/05/2014


3. Mutualisation entre machines virtuelles de la mémoire inutilisée. Grp1


Site :LIP6 Regal
Lieu :UMPC, 4 place Jussieu 75005 PARIS
Encadrant : Julien Sopena (Julien.Sopena@lip6.fr), Sébastien Monnet (Sebastien.Monnet@lip6.fr) et Maxime Lorrillere (Maxime.Lorrillere@lip6.fr).
Dates :01/02/2014 au 10/05/2014


PSAR-Mutualisation_entre_machines_virtuelles_de_la_mémoire_inutilisée.pdf -

Sujet PSAR (Sopena,Monnet,Lorrillere) : Mutualisation entre machines virtuelles de la mémoire inutilisée.


4. Vers une plate-forme efficace de développement d’applications réparties.


Site :Vers une plate-forme efficace de développement d’applications réparties.
Lieu :UMPC 4 place Jussieu 75005 PARIS
Encadrant : Julien Sopena (julien.sopena@lip6.fr), Jonathan Lejeune (jonathan.lejeune@lip6.fr)
Dates :01/02/2014 au 10/05/2014


PSAR-Vers_une_plateforme_efficace_de_developpement_d_applications_reparties.pdf -

Sujet du PSAR 2014 (Sopena/Lejeune) : Vers une plate-forme efficace de développement d’applications réparties.


5. Abstraction GAL via une transformation de modèle


Site :Trac-Abstraction GAL via une transformation de modèle
Lieu :LIP6
Encadrant : Yann Thierry-Mieg


6. Editeur Xtext et Transformation Divine


Site :Trac-Editeur Xtext et Transformation Divine
Lieu :LIP6
Encadrant : Yann Thierry-Mieg


7. Editeur Xtext et Transformation Promela


Site :Trac- Editeur Xtext et Transformation Promela
Lieu :LIP6
Encadrant : Yann Thierry-Mieg


8. floatOS : Driver OS pour la prise en charge des exceptions mathématiques dans le calcul en virgule flottante


Site :Trac-floatOS
Lieu :Jussieu
Encadrant : B. Folliot stage pour 2-4 étudiants
Dates :standard


9. VVMPad : Machine virtuelle virtuelle pour la programmation flexible de PinPad


Site :Trac-VVMPad : Machine virtuelle virtuelle pour la programmation flexible de PinPad
Lieu :Jussieu
Encadrant : B. Folliot
Dates :standard


10. Fée (proj. Sorbonne@Univ.) : metacloud & very-very-big-data


Site :Trac-Fée (proj. Sorbonne@Univ.) : metacloud & very-very-big-data
Lieu :Jussieu
Encadrant : B.Folliot en coopération avec le Muséum d'Histoire Naturelle
Dates :standard


11. Interface Shell pour les services dans CosyVerif


Site :Trac-Interface Shell pour les services dans CosyVerif
Lieu :LIP6, UPMC
Encadrant : Fabrice Kordon, Alban Linard et Francis Hulin-Hubard


12. Big-OS : un système d’exploitation pour les grands volumes de données


Site :Trac-Big-OS : un système d’exploitation pour les grands volumes de données
Lieu :LIP6
Encadrant : Gaël Thomas


13. Intégration de nouveaux services dans CosyVerif


Site :Trac-Intégration de nouveaux services dans CosyVerif
Lieu :LIP6, UPMC
Encadrant : Fabrice Kordon, Alban Linard et Francis Hulin-Hubard


14. Allocation de ressources pour les services dans CosyVerif


Site :Trac-Allocation de ressources pour les services dans CosyVerif
Lieu :LIP6, UPMC
Encadrant : Fabrice Kordon, Alban Linard et Francis Hulin-Hubard


15. Mise à jour des scripts de build CosyVerif


Site :Trac-Mise à jour des scripts de build CosyVerif
Lieu :LIP6, UPMC
Encadrant : Fabrice Kordon, Alban Linard et Francis Hulin-Hubard


16. Authentification dans CosyVerif


Site :Trac-Authentification dans CosyVerif
Lieu :LIP6, UPMC
Encadrant : Fabrice Kordon, Alban Linard et Francis Hulin-Hubard


17. programmation sous iOS, le Balezator


Site :Trac-programmation sois iOS, le Balezator
Lieu :UPMC (2 étudiants)
Encadrant : Fabrice Kordon et Thomas Baspeyras


18. Programmation haut-niveau des architectures hybrides CPU-GPU


Site :Trac-Programmation haut-niveau des architectures hybrides CPU-GPU
Encadrant : FORTIN, Pierre (Pierre.Fortin@lip6.fr) SAID, Issam (Issam.Said@lip6.fr)


19. Implémentation d’un algorithme de détection des contraintes de dépendances entre les features : Application aux distributions d’eclipse


Site :Trac-Implémentation d’un algorithme de détection des contraintes de dépendances entre les features : Application aux distributions d’eclipse
Encadrant : Ziadi Tewfik


20. Manipulation de modèles comportementaux pour les lignes de produits


Site :Trac-Manipulation de modèles comportementaux pour les lignes de produits
Encadrant : Ziadi Tewfik


21. Mutualisation entre machines virtuelles de la mémoire inutilisée - Grp2


Site :LIP6 Regal
Lieu :UMPC, 4 place Jussieu 75005 PARIS
Encadrant : Sopena Julien, Monnet Sébastien
Dates :01/02/2014 au 10/05/2014


22. Temps-réel en multi-cœurs : problème de la contention mémoire - Grp1


Site :LIP6 Regal
Lieu :UMPC, 4 place Jussieu 75005 PARIS
Encadrant : Julien Sopena (Julien.Sopena@lip6.fr), Antoine Blin (Antoine.Blin@lip6.fr)
Dates :01/02/2014 au 10/05/2014


23. Temps-réel en multi-cœurs : problème de la contention mémoire - Grp2


Site :LIP6 Regal
Lieu :UMPC, 4 place Jussieu 75005 PARIS
Encadrant : Julien Sopena (Julien.Sopena@lip6.fr), Antoine Blin (Antoine.Blin@lip6.fr)
Dates :01/02/2014 au 10/05/2014


24. UnlockSat : vers un solveur SAT parallèle coopératif sur multi-coeurs.


Site :LIP6 Regal
Lieu :UMPC, 4 place Jussieu 75005 PARIS
Encadrant : Julien Sopena (Julien.Sopena@lip6.fr), Souheib Baarir (Souheib.Baarir@lip6.fr) et Julia Lawall (Julia.Lawall@lip6.fr).
Dates :01/02/2014 au 10/05/2014