Rodolphe Lepigre

Publications

156

Citations

H-Index

2019

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

University of Cambridge

Rodolphe Lepigre is an author at Max Planck Institute for Software Systems specializing in formal specification, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationFormal SpecificationCompilersFormal Logic

Publications per year

2019–2022

Publications

RefinedC: automating the foundational verification of C code with refined ownership types

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers et al. · 2021 · 74 citations · Full text

Program Checking, Engineering, Verification +21

The future is ours: prophecy variables in separation logic

Ralf Jung, Rodolphe Lepigre, G. Parthasarathy et al. · Proceedings of the ACM on Programming Languages · 2019 · 57 citations · Full text

Paraconsistent Logic, Engineering, Verification +20

Islaris: verification of machine code against authoritative ISA semantics

Michael Sammler, Angus Hammond, Rodolphe Lepigre et al. · 2022 · 25 citations · Full text

Rows per page

1–3 of 3