Mon Master d'Informatique

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

• Concurrence :: ressources 1 :: ressources 2 :: ressources 3
• Fondements des systèmes de preuves :: ressources :: ressources (annales)

Vague 2 (Novembre 2006 à Février 2007)

À l'UPMC

• Conception des Langages (CL) :: ressources
• Interprétation Abstraite (INABS)

Au MPRI

• Concurrence :: ressources 1 :: ressources 2 :: ressources 3
• Programmation fonctionnelle et systèmes de types :: ressources 1 :: ressources 2

Au CNAM

• Langages Synchrones :: ressources

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
              

Semestre 1

• POSIX et C (POSIX)
• Algorithmique Avancée (ALGAV)
• Implantation de Langages de Programmation (ILP)
• Logique :: ressources
• Programmation Concurrente, Réactive et Répartie (PC2R) :: ressources
• ( Ingénierie du Logiciel (IL) )

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
• Projet STL Compilateur Caml Pédagogique (PSTL CCP) :: ressources
  • 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)