Groupe de travail "Programmation"

Lieu : salle 6A92
       Université Denis Diderot
       175 rue du Chevaleret
       75013 Paris

Horaire : le jeudi AM de 15h45 à 17h15

Fréquence : tous les quinze jours

• jeudi 30 juin 2005

  Jean-Vincent Loddo (LIPN - LCR, paris XIII)

  le langage websicola pour le développement web

• jeudi 9 juin 2005

  plusieurs orateurs interviendront sur fair threads et synchronisation pour des services répartis :

  • implantation et migration de fair threads en O'Caml (le système HirondML)
  • service de réplication pour les jeux massivement multi-joueurs (Anne-Gwenn Bosser)
  • Simulation de programmes concurrents en langages séquentiels -- application au « C » (Juliusz Chroboczek).

  ces présentations seront suivies d'une discussion avec Frédéric Boussinot.

• jeudi 19 mai 2005:

  Anne Benoit (université d'Edinburgh - School of informatics)

  Evaluation des performances de programmes parallèles haut niveau à base de squelettes algorithmiques (abstract)

• jeudi 21 avril 2005 :

  Jérôme Vouillon (PPS) parlera de XDuce et des liens avec le projet LINKS.

• jeudi 7 avril 2005 :

  Frédéric Gava (LACL - Paris 12)

  Implantation de structures de données parallèles en BSML (abstract)

• jeudi 24 mars 2005 :

  Julien Signoles (LRI)

  Une approche fonctionnelle du Modèle-Vue-Contrôleur (abstract).

• jeudi 3 mars 2005 :

  Frédéric Loulergue (LACL - Paris 12)

  Programmation de méta-ordinateurs: de MSPML à DMML (abstract).

• jeudi 10 février 2005 :

  Francois Pachet (Sony - CSL)

  Utiliser les types, la réécriture, les expressions régulières pour construire un générateur d'extracteurs de descripteurs perceptifs (abstract)

• jeudi 27 janvier 2005 :

  Basile STARYNKEVITCH (CEA)

  ocamljitrun

• jeudi 13 janvier 2005 :

  Roberto Di Cosmo (PPS)

  EDOS: Environment for the Distribution of Open Source software

• jeudi 9 décembre 2004 : (attention décalage d'une semaine)

  Raphael Montelatici (PPS)

  Propagation d'informations de type dans la compilation d'Ocaml vers .NET

• jeudi 18 novembre 2004 :

  Frédéric Peschanski (OASIS - LIP6)

  La CubeVM, une marchine virtuelle à bytecode Pi-calculien

• jeudi 4 novembre 2004 :

  Julien Verlaguet (Univ P6) et Emmanuel Chailloux (PPS)

  Fait Threads et call/cc pour des threads migrateurs en O'Caml

• jeudi 21 octobre 2004 :

  Grégoire Henry (univ. P6) et Michel Mauny (Inria)

  Vérification dynamique de types en ML

Page maintenue par Emmanuel Chailloux, dernière modification le 28/06/2005

---

PPS

UFR P6