Fingerprint
Dive into the research topics where Jean-Christophe Filliatre is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
When Separation Arithmetic is Enough
Filliâtre, J. C., Paskevich, A. & Danvy, O., 1 Jan 2026, Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings. Damiani, F. & Farrell, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-37 15 p. (Lecture Notes in Computer Science; vol. 16194 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
coma, an Intermediate Verification Language with Explicit Abstraction Barriers
Paskevich, A., Patault, P. & Filliâtre, J. C., 1 Jan 2025, Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Vafeiadis, V. (ed.). Springer Science and Business Media Deutschland GmbH, p. 175-201 27 p. (Lecture Notes in Computer Science; vol. 15695 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Andrès, L., Marques, F., Carcano, A., Chambart, P., Santos, J. F. & Filliâtre, J. C., 1 Feb 2024, In: Art, Science, and Engineering of Programming. 9, 1, 3.Research output: Contribution to journal › Article › peer-review
Open Access -
Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Filliâtre, J. C. & Pascutto, C., 1 Jan 2022, Runtime Verification - 22nd International Conference, RV 2022, Proceedings. Dang, T. & Stolz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 85-104 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13498 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Ortac: Runtime Assertion Checking for OCaml (Tool Paper)
Filliâtre, J. C. & Pascutto, C., 1 Jan 2021, Runtime Verification - 21st International Conference, RV 2021, Proceedings. Feng, L. & Fisman, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 244-253 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12974 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Simpler proofs with decentralized invariants
Filliâtre, J. C., 1 Jun 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 100645.Research output: Contribution to journal › Article › peer-review
Open Access -
Abstraction and Genericity in Why3
Filliâtre, J. C. & Paskevich, A., 1 Jan 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 122-142 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Mesurer la hauteur d’un arbre
Translated title of the contribution :Measuring the height of a tree Research output: Contribution to conference › Paper › peer-review
-
GOSPEL—providing OCaml with a formal specification language
Charguéraud, A., Filliâtre, J. C., Lourenço, C. & Pereira, M., 1 Jan 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 484-501 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Vérification de programmes OCaml fortement impératifs avec Why3
Translated title of the contribution :Verification of highly imperative OCaml programs with Why3 Research output: Contribution to conference › Paper › peer-review