|
Yann Régis-Gianas
|
|
I am interested in typing, module systems,
software verification and compilation.
Here are my
thesis, publications and talks and
my resume.
News
- January 2008. The paper entitled "A Hoare Logic for Call-by-Value Function Programs" , a joint work with François Pottier , has been submitted. Here is the paper, several slides and the prototype's website. The current release of this prototype can already be used to prove your daily small-scale functional programs. Feel free to try !
- December 2007. I have moved to INRIA-Futurs working with Christine Paulin on a proof system for probabilistic programs.
- February 2006. Release of a prototype for the chapter of ATTAPL written by François Pottier and Didier Rémy. The chapter's web site is here, you can also download the source from this web page or play with the online prototype.
- January 2006. POPL 2006, I have given a talk at Charleston during POPL 2006. Here are the slides.
- December 2005. Menhir, a modern LR(1) parser generator for Objective Caml, written with François Pottier, is alpha-released ! See this web page.
- September 2005. The paper entitled "Stratified type inference for generalized algebraic data types" , a joint work with François Pottier , has been accepted to POPL 2006. Here are an online prototype and the paper.
- September 2005. The paper entitled "Towards efficient, typed LR parsers" , a joint work with François Pottier , has been presented at the ML Workshop. Here are related software, the paper and the talk's slides.
Waning things
- September 2004. Our team OCANT has won the jury's prize at ICFP 2004. Let's have a look at our web site.
To contact me
- E-Mail:
- Address: INRIA Rocquencourt, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France.
- At INRIA: Batiment 5, bureau 14
- Phone number: 0 139 635 816 (from France).
- Phone number: 00 33 139 635 816 (from the outer world).
- PGP public key.
Shortcuts
- The quickest, google this site :