Travelled to:1 × Austria
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × Spain
1 × Switzerland
1 × USA
Collaborated with:A.Paskevich ∅ S.Conchon C.Marché P.Letouzey L.Gondelman C.Dross Y.Moy S.Owre H.Rueß N.Shankar
Talks about:program (3) contain (2) code (2) whi (2) structur (1) platform (1) krakatoa (1) caduceus (1) persist (1) functor (1)
Person: Jean-Christophe Filliâtre
DBLP: Filli=acirc=tre:Jean=Christophe
Contributed to:
2014
2013
2013
20112008200720042001Wrote 8 papers:
- CAV-2014-FilliatreGP
- The Spirit of Ghost Code (JCF, LG, AP), pp. 1–16.
- CADE-2013-Filliatre #logic
- One Logic to Use Them All (JCF), pp. 1–20.
- ESOP-2013-FilliatreP #named #proving #source code #why
- Why3 — Where Programs Meet Provers (JCF, AP), pp. 125–128.
- TAP-2011-DrossFM
- Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
- ESOP-2008-ConchonF #data type
- Semi-persistent Data Structures (SC, JCF), pp. 322–336.
- CAV-2007-FilliatreM #deduction #framework #platform #verification #why
- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (JCF, CM), pp. 173–177.
- ESOP-2004-FilliatreL #proving #source code
- Functors for Proofs and Programs (JCF, PL), pp. 370–384.
- CAV-2001-FilliatreORS #named
- ICS: Integrated Canonizer and Solver (JCF, SO, HR, NS), pp. 246–249.