Papers

• François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau. Packaging Mathematical Structures. TPHOLs 2009, Munich, Germany, August 17-20 2009.

  Proceedings in LNCS 5674, Springer 2009

  • The talk: PDF 
  • The associated paper: PDF 

• François Garillot and Benjamin Werner. Simple Types, deep and Shallow. TPHOLs 2007, Kaiserslautern, Germany, September 10-13 2007.

  Proceedings in LNCS 4732, Springer 2007

  • The talk: PDF 
  • The associated paper: PDF 

• Vincent Cremet, François Garillot, Sergueï Lenglet and Martin Odersky. A Core Calculus for Scala Type Checking. Appeared as an invited talk, Mathematical Foundations of Computer Science (MFCS), Stara Lesna, Slovakia, August 31, 2006

  Proceedings in LNCS 4162, Springer 2006

  • The talk: PDF 
  • The associated paper: PDF 

• Vladimir Gapeyev, François Garillot, and Benjamin C. Pierce. Statically Typed Document Transformation: An Xtatic Experience. Technical Report MS-CIS-05-21, University of Pennsylvania, October 2005.

  Appeared in Plan-X 2006

  PDF 

Talks

• François Garillot. Working Effectively With Generic Subgroups. Talk given to TYPES 2009, Aussois, France, May 12-15 2009.

  PDF 

• François Garillot. A Small Reflection on Group Automorphisms. Talk given to TYPES 2008, Turino, Italy, March 26-29 2008.

  PDF 

Posters

• François Garillot Mechanized Foundations of finite group theory Presented during the 2008 Digiteo Annual forum.

  PDF 

Internship Reports

In 2005, I've spent a 9-week internship at the University of Pennsylvania, working on the Xtatic project, under the direction of Benjamin C. Pierce

Here is my report : PDF    PS.GZ   

Here are the associated slides : PDF    PS.GZ   

In the summer of 2007, I've spent another internship at the Ecole Polytechnique, under the direction of Benjamin Werner.

If you're interested in the report, here it is: PDF  PS.GZ 

And the associated slides: PDF 

I'm working on some documents reporting on past internships and collaborative work, that I may have been heard mentioning. Those documents are still undergoing heavy lifting, but please feel free to ask me by email if you'd be interested in seeing working copies.