Martin Clochard

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 9

Top Venues

VSTTE

Proc. ACM Program. Lang.

CoRR

J. Formaliz. Reason.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR (2021)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs. CAV (1) (2021)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR (2020)
Martin Clochard, Claude Marché, Andrei Paskevich
Deductive verification with ghost monitors. Proc. ACM Program. Lang. 4 (POPL) (2020)
Martin Clochard, Léon Gondelman, Mário Pereira
The Matrix Reproved (Verification Pearl). J. Autom. Reason. 60 (3) (2018)
Ran Chen, Martin Clochard, Claude Marché
A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links. J. Formaliz. Reason. 10 (1) (2017)
Martin Clochard, Léon Gondelman, Mário Pereira
The Matrix Reproved (Verification Pearl). VSTTE (2016)
Martin Clochard, Jean-Christophe Filliâtre, Andrei Paskevich
How to Avoid Proving the Absence of Integer Overflows. VSTTE (2015)
Martin Clochard, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich
Formalizing Semantics with an Automatic Program Verifier. VSTTE (2014)
Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
Bridging boolean and quantitative synthesis using smoothed proof search. POPL (2014)
Martin Clochard, Claude Marché, Andrei Paskevich
Verified programs with binders. PLPV (2014)
Martin Clochard
Automatically Verified Implementation of Data Structures Based on AVL Trees. VSTTE (2014)

Martin Clochard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Clochard