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 paper: PDFFranç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 paper: PDFVincent 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 paper: PDFVladimir 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
Proceedings in BRICS Note series, NS-05-6
PDFFrançois Garillot. Generic Proof Tools And Finite Group Theory. Ph.D. thesis under the supervision of Benjamin Werner.
Thesis to be defended on December 5th, 2011, 09:30 AM at the MSR-INRIA Joint Research Center.
Early preview (not intended for public diffusion, DO NOT HOTLINK, please ask me for a permanent link):
The following people reviewed an early version of this manuscript:
François Garillot. Working Effectively With Generic Subgroups. Talk given to TYPES 2009, Aussois, France, May 12-15 2009.
PDFFrançois Garillot. A Small Reflection on Group Automorphisms. Talk given to TYPES 2008, Turino, Italy, March 26-29 2008.
PDFFrançois Garillot Mechanized Foundations of finite group theory Presented during the 2008 Digiteo Annual forum.
PDFFrançois Garillot Mechanized Foundations of finite group theory Presented during the 2008 Microsoft Research Summer School.
the poster: PDF the handout: PDFIn 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 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.
François
Garillot, MSR-INRIA Joint Lab, Orsay.
Last modified:11/29/2011