Vincent's photograph
Vincent Cremet
French Curiculum Vitae (includes research, teaching and a list of publications)

I received a Ph.D. in Computer Science from the Ecole polytechnique Fédérale de Lausanne (EPFL), Switzerland, in 2006. In my Ph.D. I formalized and proved sound a central part of the type system of Scala, an object-oriented programming language designed by my supervisor Martin Odersky and developped in his Laboratory of Programming Methods.

Research
Student Projects
Teaching
Software Projects
Misc

Research

  • Adding Type Constructor Parameterization to Java. Vincent Cremet, Philippe Altherr. In Journal of Object Technology, vol. 7, no. 5, Special Issue: Workshop on FTfJP, ECOOP 07, June 2008, pp.25-65, http://www.jot.fm/issues/issue_2008_06/article2/. (bib), (pdf), (homepage).
  • Abstract Type Constructors for Java-like Languages. Philippe Altherr, Vincent Cremet. Submitted (not accepted) to ECOOP 07, December 2006. (bib), (pdf), (homepage).
  • A Soundness Proof of Virtual Types Formalized in Coq. Vincent Cremet, August 2006. (Download the proof). (README). (Online documentation).
  • A Core Calculus for Scala Type Checking. Vincent Cremet, François Garillot, Sergueï Lenglet and Martin Odersky. Proceedings of MFCS 06 (invited talk), August 2006. (bib), (ps), (pdf).
  • Foundations for Scala: Semantics and Proof of Virtual Types. Vincent Cremet. PhD thesis report, EPFL, No. 3556, May 2006. (bib), (ps). Slides in French (pdf).
  • Inner Classes and Virtual Types. Philippe Altherr, Vincent Cremet. EPFL Technical Report IC/2005/013, March 2005 . (bib), (ps.gz), (pdf).
  • PiLib: A Hosted Language for Pi-calculus Style Concurrency. Vincent Cremet, Martin Odersky. Dagstuhl proceedings: Domain-Specific Program Generation, 2003. (bib), (ps), (pdf).
  • An Equational Theory for Transactions. Andrew P. Black, Vincent Cremet, Rachid Guerraoui and Martin Odersky. 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, Mumbai (Bombay), India, December 2003. (bib), (ps), (pdf). Technical report: (ps), (pdf).
  • A Nominal Theory of Objects with Dependent Types. Martin Odersky, Vincent Cremet, Christine Roeckl and Matthias Zenger. Proc. ECOOP '03, July 2003. (bib), (ps), (pdf). Technical report: (pdf).
  • Spécification et vérification de systèmes temps-réel avec la logique linéaire. Vincent Cremet, supervised by M. Okada and J.-P. Jouannaud. Diploma thesis (D.E.A de Programmation: Sémantique, Preuves et Langages, Université Paris 7- Denis Diderot), 2000. (bib), (ps).

Student Projects

During my PhD at EPFL I defined and supervised two student (semester) projects.
  • Generating Typing Proofs for Scaletta. Grégory Mermoud. Semester Project, June 2005. (pdf).
  • Recherche d'information dans un programme Scala. Roland Tchakoute. Semester Project, February 2004. (doc).

Teaching

At EPFL, I have been assistant in the following courses.
  • Compilation. Winter semester 2001 (FuLL), 2002 (Misc), 2003 (Misc), 2004 (Eins), 2005 (Zwei).
  • Programmation IV. Summer semester 2002, 2003, 2004, 2005.
  • Concurrency: languages, programming and theory. Winter semester 2002 (pilib), 2003 (pilib).
  • Advanced Topics in Programming Languages and Concurrency (AToPLaC). Summer semester 2003.
  • Informatique II. Summer semester 2001 (C++).

Software Projects

  • Scaladoc. I have been the main developer of scaladoc, a documentation generator for Scala, until we passed to the version 2 of Scala. In this project, I have been assisted by Stéphane Micheloud.

Misc