Alain Frisch

Born May 13th, 1978. French citizen.

Research interests:

Design of programming languages, type systems, compilation.
XML technologies and support for XML in programming languages (advanced typechecking techniques, streaming transformations).

Research positions

INRIA Rocquencourt (Cristal/Gallium project). Research associate. 2004-2007.
École Normale Supérieure (Paris, France). Preparation of a master and a Ph.D thesis (defended in December 2004).
Theory, design and implementation of a functional language adapted to XML. Advisor: Giuseppe Castagna. 2001-2004.
Microsoft Research (Cambridge, UK). 3-month research internship.
Structural types and the Microsoft .NET virtual machine. Advisor: Luca Cardelli. 2003.
MIT Artificial Intelligence Lab (Boston, US). 4-month research internship.
Applying methods from medical imagery to the detection of abnormal events on video recorded scenes. Advisor: Olivier Faugeras. 1999.
École Normale Supérieure (Paris, France). 3-month research internship in mathematics.
Fix-point equations of endofunctors and domain equations in CPO,CPO^* categories. Advisor: Giuseppe Longo. 1999.

Education

Training in Telecom Paris (engineering school), 2002-2004.
Undergraduate and graduate studies in mathematics and computer science, École Normale Supérieure, Paris, 1998-2002.

Prizes

Concours Général (honorific prize for high-school students): first accessit in Mathematics. 1996.
Ph.D thesis prize from the French Society of professors and reserchers in Computer Science (SPECIF). 2005.

Papers in journals

Parametric polymorphism for XML. H. Hosoya, A. Frisch, G. Castagna.
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 32, Number 1, October 2009.
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. A. Frisch, G. Castagna, V. Benzaken.
Journal of the ACM, Volume 55, Number 4, September 2008.

Papers in refereed conferences

Towards Practical Typechecking for Macro Tree Transducers. A. Frisch, H. Hosoya.
Internation Symposium on Database Programming Languages (DBPL 2007).
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).

Papers in refereed workshops

First-class modules and composable signatures in Objective Caml 3.12. J. Garrigue, A. Frisch.
Workshop on ML (ML 2010).
Streaming XML transformations using term rewriting. A. Frisch, K. Nakano.
Programming Language Technologies for XML (PLAN-X 2007).
OCaml + XDuce. A. Frisch.
Programming Language Technologies for XML (PLAN-X 2006).
Preliminary version of the ICFP 2006 paper.
Regular tree language recognition with static information. A. Frisch.
Programming Language Technologies for XML (PLAN-X 2004).
Preliminary version of the TCS 2004 paper.
Greedy regular expression matching. A. Frisch, and L. Cardelli.
Programming Language Technologies for XML (PLAN-X 2004).
Preliminary version of the ICALP 2004 paper.
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).

Other publications

Theory, design and implementation of a programming language adapted to XML. A. Frisch.
Ph.D thesis, defended in December 2004.
Jury: Pierre-Louis Curien, Giuseppe Castagna, Giorgio Ghelli, Martin Odersky, Mariangiola Dezani, Xavier Leroy.
Recursive types, boolean combination and overloaded functions: application to typing XML. A. Frisch.
Master's thesis, defended in September 2001.
A Gentle Introduction to Semantic Subtyping. A. Frisch, and G. Castagna.
Invited paper at the ICALP and PPDP 2005 conferences. Also invited at the Second workshop on Programmable Structured Documents (PSD 2004).

Invited talks

Gemo Seminar, INRIA Futurs (Saclay, Apr. 2007).
Jane Street Capital LLC (New York, Sep. 2006).
Technical University Munich (Mar. 2006).
Mostrare seminar(INRIA Futurs Lille, Mar. 2006).
Protheo seminar (LORIA, Mar. 2006).
LIAFA (Paris 7, Jan. 2006).
Paris 13 University, seminar on web programming (Jun. 2005).
Links meeting (Edinburgh, Apr. 2005).
Dagstuhl Seminar `` Foundations of Semistructured Data '' (Feb. 2005).
Toulouse University, IRIT seminar (Dec. 2004).
REWERSE (European Network of Excellence) Meeting on Types (Nov. 2004).
ECOOP conference, panel ``Object-Oriented Programming and XML'', Oslo (Jun. 2004).
France Telecom R&D, Lannion (Mar. 2004).
Tokyo University, Programmable Structured Documents workshop (Feb. 2004), three talks.
ENS Paris, Students Seminar (Jan. 2004).
ENS Paris, ACI sécurité (Nov. 2003).
Microsoft Research Cambridge (Aug. 2003).
Lille University, Lifl/INRIA Mostrare seminar (Jun. 2003).
Evry University, LaMI seminar (Apr. 2003).
ENS Paris, Students Seminar (Mar. 2003).
Xerox Research Centre Europe, Grenoble (Feb. 2003).
ENS Paris, Types for Global Computing workshop (Jan. 2003).
Paris 11 University, Database group seminar (Dec. 2002).
Paris 7 University, PPS seminar (May 2002).
Fluxmedia (start-up), INRIA Grenoble (Feb. 2002).
Turin University, Lambda group seminar (Dec. 2001).

Teaching experience, supervision

Co-supervision:
- Kim Nguyen (Ph.D + master internship).
- Stefano Zacchiroli (predoctoral internship).
- Julien Demouth (predoctoral internship).
- Philippe Tagoum (predoctoral internship).
- Till Varoquaux (predoctoral internship).
Teaches one session of a graduate course at the MPRI (Parisian Master for Research in Computer Science), on exact typing for tree transformations. 2005.
Creation of a student seminar at the ENS. 2002.
Teaching assistant (computer science and mathematics) in ``classes préparatoires'', lycée Louis-Le-Grand. 1998-2002.

Program committees

PC member of the DBPL 2005, ICFP 2006 and JFLA 2007 conferences and of the PLAN-X 2006 and PLAN-X 2007 workshops.
Jury member of the SPECIF Thesis Award (2006).

Software development

Leader of the CDuce project, a strongly-typed higher-order functional language adapted to the manipulation of XML documents, following the results of my Ph.D thesis. See http://www.cduce.org.
Development of OCamlDuce, a merger between CDuce and OCaml. http://www.cduce.org/ocaml.
Development of XStream, a high-performance compiler for XML transformations written in functional style. http://yquem.inria.fr/~frisch/xstream.
Various contributions to the OCaml community: libraries, tools, compiler patches.
Nostalgy: productivity extension for the Thunderbird mail client. http://www.eleves.ens.fr/home/frisch/soft_mozilla.html .