Alain Frisch

Domaines d'intérêt:

• Conception de langages de programmation, systèmes de types, compilation.
• Technologies XML et support de XML dans les langages de programmation.

Thèmes de recherche actuels:

• Intégration des types XML dans Objective Caml.
• Compilation en streaming de transformation XML fonctionnelles.
• Implémentation efficace de techniques de typage exact basées sur les transducteurs d'arbres.

Recherche

• INRIA Rocquencourt (projets Cristal/Gallium). Chercheur en détachement.
  Depuis juillet 2004.
• École Normale Supérieure (Paris, France). Stage de DEA et thèse (soutenue en décembre 2004).
  Théorie, conception et implémentation d'un langage fonctionnel adapté à XML. Directeur: Giuseppe Castagna. 2001-2004.
• Microsoft Research (Cambridge, UK). Stage de recherche (3 mois).
  Types structurels et la machine virtuel Microsoft .NET. Directeur: Luca Cardelli. 2003.
• MIT Artificial Intelligence Lab (Boston, US). Stage de recherche (4 mois).
  Application de méthodes issues de l'imagerie médicale à la détection d'évenements anormaux en vidéo-surveillance. Directeur: Olivier Faugeras. 1999.
• École Normale Supérieure (Paris, France). Stage de maîtrise (3 mois).
  Équations de points fixes endofonctoriels et équations de domaines dans les catégories CPO,CPO^*. Directeur: Giuseppe Longo. 1999.

Formation, diplômes

• Thèse de doctorat, spécialité Informatique. Paris 7. 2004.
• Telecom Paris: formation d'ingénieur du Corps des Télécommunications. 2002-2004.
• DEA d'informatique Programmation: Sémantique, Preuves et Langages, Paris 7. Note: 19/20; rang: 1. 2000-2001.
• Magistère de Mathématiques Fondamentales et Appliquées et d'Informatique de l'ENS. 1998-2001.
• Agrégation de Mathématiques. Rang 27. 2000.
• Licence et Maîtrise de Mathématiques (mention Très Bien). 1998-1999.
• École Normale Supérieure de Paris (concours C/S, option informatique, rang d'admission: 4). 1998-2002.

Distinctions honorifiques

• Concours Général de Mathématiques. Premier accessit. 1996.
• Prix de thèse Specif 2005.

Publications dans des conférences internationales

• OCaml + XDuce. A. Frisch.
  International Conference on Functional Programming (ICFP 2006).
• Error Mining for Regular Expression Patterns. G. Castagna, D. Colazzo, A. Frisch.
  Italian Conference on Theoretical Computer Science (ICTCS 2005).
• Parametric Polymorphism for XML. H. Hosoya, A. Frisch, G. Castagna.
  Symposium on Principles of Programming Languages (POPL 2005).
• Regular tree language recognition with static information. A. Frisch.
  International Conference on Theoretical Computer Science (TCS 2004).
• Greedy regular expression matching. A. Frisch, and L. Cardelli.
  International Colloquium on Automata, Languages and Programming (ICALP 2004).
• CDuce: An XML-Centric General-Purpose Language. V. Benzaken, G. Castagna, and A. Frisch.
  International Conference on Functional Programming (ICFP 2003).
• Semantic Subtyping. A. Frisch, G. Castagna and V. Benzaken.
  Symposium on Logic in Computer Science (LICS 2002).

Publications dans des ateliers internationaux avec comité

• OCaml + XDuce. A. Frisch.
  Programming Language Technologies for XML (PLAN-X 2006).
  Version préliminaire de l'article ICFP 2006.
• Regular tree language recognition with static information. A. Frisch.
  Programming Language Technologies for XML (PLAN-X 2004).
  Version préliminaire de l'article TCS 2004.
• Greedy regular expression matching. A. Frisch, and L. Cardelli.
  Programming Language Technologies for XML (PLAN-X 2004).
  Version préliminaire de l'article ICALP 2004.
• The Relevance of Semantic Subtyping. M. Dezani-Ciancaglini, A. Frisch, E. Giovannetti and Y. Motohama.
  Intersection Types and Related Systems (ITRS 2002). Electronic Notes in Theoretical Computer Science, Volume 70, Issue 1.
• CDuce: a white paper. V. Benzaken, G. Castagna, and A. Frisch.
  Programming Language Technologies for XML (PLAN-X 2002).

Autres publications

• Théorie, conception et implémentation d'un langage de programmation adapté à XML. A. Frisch.
  Thèse de doctorat de l'Université Paris 7, soutenue en décembre 2004.
  Jury: Pierre-Louis Curien, Giuseppe Castagna, Giorgio Ghelli, Martin Odersky, Mariangiola Dezani, Xavier Leroy.
• Types récursifs, combinaisons booléennes et fonctions surchargées: application au typage de XML. A. Frisch.
  Mémoire de DEA de l'Université Paris 7, soutenu en septembre 2001.
• A Gentle Introduction to Semantic Subtyping. A. Frisch, and G. Castagna.
  Présenté par G. Castagna, orateur invité aux conférences ICALP et PPDP 2005. Aussi présenté au deuxième atelier Programmable Structured Documents (PSD 2004).

Exposés invités

• Jane Street Capital LLC (New York, Sep. 2006).
• Université technique de Munich (mars 2006).
• Séminaire Mostrare (INRIA Futurs Lille, mars 2006).
• Séminaire Protheo (LORIA, mars 2006).
• LIAFA, journées de l'ACI Tralala (janvier 2006).
• Université Paris 13, seminaire sur la programmation du web (juin 2005).
• Links meeting (Edinburgh, avril 2005).
• Séminaire Dagstuhl `` Foundations of Semistructured Data '' (février 2005).
• Demonstration de CDuce (atelier PLAN-X, janvier 2005, Long Beach).
• Université de Toulouse, séminaire de l'IRIT (décembre 2004).
• Réseau d'excellence européen REWERSE, meeting on Types (novembre 2004).
• Conférence ECOOP, panel de discussion ``Object-Oriented Programming and XML'', Oslo (juin 2004).
• France Telecom R&D, Lannion (mars 2004).
• Université de Tokyo, atelier Programmable Structured Documents (février 2004), trois exposés.
• ENS Paris, séminaire des élèves (janvier 2004).
• ENS Paris, ACI sécurité (novembre 2003).
• Microsoft Research Cambridge (août 2003).
• Université de Lille, séminaire Lifl/INRIA Mostrare seminar (juin 2003).
• Université d'Evry, séminaire du LaMI (avril 2003).
• ENS Paris, séminaire des élèves (mars 2003).
• Xerox Research Centre Europe, Grenoble (février 2003).
• ENS Paris, atelier Types for Global Computing workshop (janvier 2003).
• Université Paris 11, séminaire de l'équipe base de données (décembre 2002).
• Université Paris 7, séminaire PPS (mai 2002).
• Fluxmedia (start-up), INRIA Grenoble (février 2002).
• Université de Turin, séminaire du Lambda group (décembre 2001).

Enseignement, encadrement

• Coencadrement:
  • Kim Nguyen (thèse, stage de DEA: Algèbres de filtrage pour l'interrogation de documents XML).
  • Stefano Zacchiroli (stage prédoctoral de 6 mois: intégration de XML Schema dans CDuce)
  • Julien Demouth (stage de maîtrise: interface CDuce / OCaml)
• Une séance de cours du Master Parisien de Recherche en Informatique, sur le thème « Typage exact de transformations d'arbres ». 2005.
• Création et organisation d'un séminaire des élèves informaticiens à l'ENS. 2002.
• Chargé de TP d'informatique (Caml) en classes préparatoires (MP*) au lycée Louis-Le-Grand. Environ 90 heures d'enseignement. 2001-2002.
• Interrogateur de mathématiques en classes préparatoires (MPSI,MP*) au lycée Louis-Le-Grand. 1998-2001.

Participation à des comités de programme, relectures

• Membre des comités de programme des conférence DBPL 2005, ICFP 2006 et JFLA 2007, et des ateliers PLAN-X 2006, PLAN-X 2007.
• Relecteur pour les revues: Information System, Higher-Order and Symbolic Computation (HOSC), Programming Languages and Systems (TOPSLAS), Theoretical Computer Science (TCS), Journal of Functional Programming.
• Relecteur pour les conférences internationales: POPL 2004 , ESOP 2004, PLAN-X 2004, ICALP 2004, SAC 2004, FOSSACS 2005, PLAN-X 2005, SAS 2005, ICFP 2005, APLAS 2005, POPL 2006, PLDI 2006; et la conférence française: BDA 2003.

Logiciels

• Responsable du projet CDuce: un langage de programmation fonctionnel d'ordre supérieur, fortement typé, adapté à la manipulation de documents XML. D'après les résultats de ma thèse. http://www.cduce.org.
• Développement d'OCamlDuce, intégration entre CDuce et OCaml. http://www.cduce.org/ocaml.
• Développement de XStream, un compilateur haute performance pour les transformations XML écrites dans un style fonctionnel. http://yquem.inria.fr/~frisch/xstream.
• Contributions diverses à la communauté OCaml.
• Nostagy: extension pour le client de mail Thunderbird. http://www.eleves.ens.fr/home/frisch/soft_mozilla.html .