Martin Desharnais

A Generic Framework for Verified Compilers

Martin Desharnais, 2020, Arch. Formal Proofs.

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

Andrei Popescu, Johannes Hölzl, René Thiemann, 2017, FroCoS.

Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant

Mathias Fleury, Hans-Jörg Schurr, Martin Desharnais, 2021, SMT.

Isabelle formalization for article: Towards Efficient and Verified Virtual Machines for Dynamic Languages

Stefan Brunthaler, Martin Desharnais, 2021 .

Towards efficient and verified virtual machines for dynamic languages

Stefan Brunthaler, Martin Desharnais, Stefan Brunthaler, 2021, CPP.