Martin Desharnais

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Clause Learning

Automated Theorem Proving

Sequent Calculus

Top Venues

Arch. Formal Proofs

Publications

Geoff Sutcliffe, Martin Desharnais
The 11th IJCAR automated theorem proving system competition - CASC-J11. AI Commun. 36 (2) (2023)
Martin Desharnais
A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic. Arch. Formal Proofs 2023 (2023)
Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). Dagstuhl Reports 13 (11) (2023)
Martin Bromberger, Martin Desharnais, Christoph Weidenbach
An Isabelle/HOL Formalization of the SCL(FOL) Calculus. CADE (2023)
Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
Seventeen Provers Under the Hammer. ITP (2022)
Martin Desharnais, Stefan Brunthaler
Towards efficient and verified virtual machines for dynamic languages. CPP (2021)
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant. CADE (2021)
Geoff Sutcliffe, Martin Desharnais
The CADE-28 Automated Theorem Proving System Competition - CASC-28. AI Commun. 34 (4) (2021)
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant. SMT (2021)
Martin Desharnais
Inline Caching and Unboxing Optimization for Interpreters. Arch. Formal Proofs 2020 (2020)
Martin Desharnais
A Generic Framework for Verified Compilers. Arch. Formal Proofs 2020 (2020)
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS (2017)