Mon Master d'Informatique
à l'Université Pierre et Marie Curie (Paris VI)Master niveau 2 (2006/2007)
Spécialité Science et Technologie du LogicielAlgorithmique et Programmation (Recherche)
avec le Master Parisien de Recherche en Informatique (MPRI)
et le Conservatoire national des arts et métiers (CNAM) (plan)
Vague 1 (Septembre à Novembre 2006)
À l'UPMC
- Sémantique de la Concurrence et de la Mobilité (SACC) :: Forum :: Projets
- Architectures Logicielles pour l’Autoadaptabilité Dynamique (ALADYN) :: Cours
- Typage et Polymorphisme (TEP) :: Ressources
- Interprétation Abstraite (INABS)
Au MPRI
Vague 2 (Novembre 2006 à Février 2007)
À l'UPMC
Au MPRI
- Concurrence :: ressources 1 :: ressources 2 :: ressources 3
- Programmation fonctionnelle et systèmes de types :: ressources 1 :: ressources 2
Au CNAM
Vague 3 (Février à Avril 2007)
- Test :: ressources
- Groupe de Recherche : Programmation par Contraintes
- Groupe de Recherche
Vague 4 (Avril à Septembre 2007)
-
Stage de Master : Langages Applicatifs et Machines Abstraites
Site Passy-Kennedy LIP6 - Université Paris 6 Équipe SPIRAL - Bureau 753 104 avenue du président Kennedy 75016 Paris
Master niveau 1 (2005/2006)
Spécialité Science et Technologie du LogicielSemestre 1
Semestre 2
- Analyse de Programmes et Sémantique :: ressources 1 :: ressources 2
- Codage, Compression et Cryptographie (CCC) :: ressources
- Compilation Avancée :: ressources
- ( Algorithmique Graphique et Modélisation (AGM) )
- Anglais
-
- Implantation d'un compilateur pour le langage XDML (eXtensible Designed Multiparadigm Language). La chaîne de compilation comprend un analyseur lexical et un analyseur syntaxique (par Adrien Pierard), un typeur (typage statique fort) (par moi-même), un interprète (par Jérémy Antonucci), un traducteur vers C qui passe par 2 langages intermédiaires (par Benjamin Canou).
Un frontend a été réécrit plus tard : un analyseur lexical “ à la main ” (par moi-même, avec la précieuse aide de Benjamin Canou pour le débuggage et la mise au point... --- vivent les effets de bords vicieux ^_^') dont le code est (plus ou moins) disponible ici, et un analyseur syntaxique avec Menhir (par Benjamin Canou et moi-même)