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
|