Rodolphe Lepigre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Islaris: verification of machine code against authoritative ISA semantics. | Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell |
| 2021 | PLDI | RefinedC: automating the foundational verification of C code with refined ownership types. | Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg |
| 2016 | ESOP | A Classical Realizability Model for a Semantical Value Restriction. | Rodolphe Lepigre |