Martin Clochard

Most-cited papers

Bridging boolean and quantitative synthesis using smoothed proof search
Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
2014ACM-SIGACT Symposium on Principles of Programming Languages50 citations Open access
Semantic Scholar
Gobra: Modular Specification and Verification of Go Programs (extended version)
F. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn +2 more
2021International Conference on Computer Aided Verification42 citations Open access
Semantic Scholar
Igloo: soundly linking compositional refinement and separation logic for distributed system verification
C. Sprenger, Tobias Klenze, Marco Eilers, F. Wolf +3 more
2020Proc. ACM Program. Lang.35 citations Open access
Semantic Scholar
Deductive verification with ghost monitors
Martin Clochard, C. Marché, A. Paskevich
2019Proc. ACM Program. Lang.15 citations Open access
Semantic Scholar
Formalizing Semantics with an Automatic Program Verifier
Martin Clochard, J. Filliâtre, C. Marché, A. Paskevich
2014Verified Software: Theories, Tools, Experiments15 citations Open access
Semantic Scholar
How to Avoid Proving the Absence of Integer Overflows
Martin Clochard, J. Filliâtre, A. Paskevich
2015Verified Software: Theories, Tools, Experiments13 citations
Semantic Scholar
The Matrix Reproved (Verification Pearl)
Martin Clochard, Léon Gondelman, Mário Pereira
2016Journal of automated reasoning5 citations Open access
Semantic Scholar
Automatically Verified Implementation of Data Structures Based on AVL Trees
Martin Clochard
2014Verified Software: Theories, Tools, Experiments5 citations Open access
Semantic Scholar
The Matrix Reproved
Martin Clochard, Léon Gondelman, Mário Pereira
5 citations
Semantic Scholar
A Formal Proof of a Unix Path Resolution Algorithm
Ran Chen, Martin Clochard, C. Marché
20164 citations
Semantic Scholar
Verified programs with binders
Martin Clochard, C. Marché, A. Paskevich
2014Programming Languages meets Program Verification4 citations Open access
Semantic Scholar
Deductive Veriﬁcation with Ghost Monitors
Martin Clochard, C. Marché, A. Paskevich
4 citations
Semantic Scholar
A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
Ran Chen, Martin Clochard, C. Marché
2017Journal of Formalized Reasoning2 citations
Semantic Scholar
Veriﬁed Programs with Binders ∗
Martin Clochard, C. Marché, A. Paskevich
2 citations
Semantic Scholar
Deductive Verification via Ghost Debugging
Martin Clochard, A. Paskevich, C. Marché
20181 citations
Semantic Scholar
MIT Open Access Articles Bridging boolean and quantitative synthesis using smoothed proof search
Swarat Chaudhuri, Martin Clochard
0 citations
Semantic Scholar