A Classical Realizability Model for a Semantical Value Restriction. - Rodolphe Lepigre (ESOP, 2016)

A Realizability Model for a Semantical Value Restriction. - Rodolphe Lepigre (CoRR, 2016)

Subtyping-Based Type-Checking for System F with Induction and Coinduction. - Rodolphe Lepigre; Christophe Raffalli (CoRR, 2016)

PML2: Integrated Program Verification in ML. - Rodolphe Lepigre (TYPES, 2017)

Semantics and Implementation of an Extension of ML for Proving Programs. (Sémantique et Implantation d'une Extension de ML pour la Preuve de Programmes). - Rodolphe Lepigre (2017)

Abstract Representation of Binders in OCaml using the Bindlib Library. - Rodolphe Lepigre; Christophe Raffalli (LFMTP@FSCD, 2018)

Unboxing Mutually Recursive Type Definitions in OCaml. - Simon Colin; Rodolphe Lepigre; Gabriel Scherer (CoRR, 2018)

PML 2 : Integrated Program Verification in ML. - Rodolphe Lepigre (CoRR, 2019)

Practical Subtyping for Curry-Style Languages. - Rodolphe Lepigre; Christophe Raffalli (ACM Trans. Program. Lang. Syst., 2019)

The future is ours: prophecy variables in separation logic. - Ralf Jung 002; Rodolphe Lepigre; Gaurav Parthasarathy; Marianna Rapoport; Amin Timany; Derek Dreyer; Bart Jacobs 002 (Proc. ACM Program. Lang., 2020)

RefinedC: automating the foundational verification of C code with refined ownership types. - Michael Sammler; Rodolphe Lepigre; Robbert Krebbers; Kayvan Memarian; Derek Dreyer; Deepak Garg 001 (PLDI, 2021)

Islaris: verification of machine code against authoritative ISA semantics. - Michael Sammler; Angus Hammond; Rodolphe Lepigre; Brian Campbell 001; Jean Pichon-Pharabod; Derek Dreyer; Deepak Garg 001; Peter Sewell (PLDI, 2022)

VIP: verifying real-world C idioms with integer-pointer casts. - Rodolphe Lepigre; Michael Sammler; Kayvan Memarian; Robbert Krebbers; Derek Dreyer; Peter Sewell (Proc. ACM Program. Lang., 2022)

BFF: foundational and automated verification of bitfield-manipulating programs. - Fengmin Zhu; Michael Sammler; Rodolphe Lepigre; Derek Dreyer; Deepak Garg 001 (Proc. ACM Program. Lang., 2022)