Jean-Christophe Fillitre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
2001–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | coma, an Intermediate Verification Language with Explicit Abstraction Barriers. | Andrei Paskevich, Paul Patault, Jean-Christophe Fillitre |
| 2025 | IFM | When Separation Arithmetic is Enough. | Jean-Christophe Fillitre, Andrei Paskevich, Olivier Danvy |
| 2022 | RV | Optimizing Prestate Copies in Runtime Verification of Function Postconditions. | Jean-Christophe Fillitre, Clment Pascutto |
| 2021 | RV | Ortac: Runtime Assertion Checking for OCaml (Tool Paper). | Jean-Christophe Fillitre, Clment Pascutto |
| 2020 | ISoLA | Abstraction and Genericity in Why3. | Jean-Christophe Fillitre, Andrei Paskevich |
| 2019 | FM | GOSPEL - Providing OCaml with a Formal Specification Language. | Arthur Charguraud, Jean-Christophe Fillitre, Cludio Loureno, Mrio Pereira |
| 2014 | CAV | The Spirit of Ghost Code. | Jean-Christophe Fillitre, Lon Gondelman, Andrei Paskevich |
| 2013 | CADE | One Logic to Use Them All. | Jean-Christophe Fillitre |
| 2013 | ESOP | Why3 - Where Programs Meet Provers. | Jean-Christophe Fillitre, Andrei Paskevich |
| 2012 | CADE | The 2nd Verified Software Competition: Experience Report. | Jean-Christophe Fillitre, Andrei Paskevich, Aaron Stump |
| 2012 | ICFEM | Separation Predicates: A Taste of Separation Logic in First-Order Logic. | Franois Bobot, Jean-Christophe Fillitre |
| 2011 | TAP | Correct Code Containing Containers. | Claire Dross, Jean-Christophe Fillitre, Yannick Moy |
| 2010 | ITP | Formal Proof of a Wave Equation Resolution Scheme: The Method Error. | Sylvie Boldo, Franois Clment, Jean-Christophe Fillitre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
| 2008 | ESOP | Semi-persistent Data Structures. | Sylvain Conchon, Jean-Christophe Fillitre |
| 2007 | ARITH | Formal Verification of Floating-Point Programs. | Sylvie Boldo, Jean-Christophe Fillitre |
| 2007 | CAV | The Why/Krakatoa/Caduceus Platform for Deductive Program Verification. | Jean-Christophe Fillitre, Claude March |
| 2004 | ESOP | Functors for Proofs and Programs. | Jean-Christophe Fillitre, Pierre Letouzey |
| 2004 | ICFEM | Multi-prover Verification of C Programs. | Jean-Christophe Fillitre, Claude March |
| 2001 | CAV | ICS: Integrated Canonizer and Solver. | Jean-Christophe Fillitre, Sam Owre, Harald Rue, Natarajan Shankar |