Rodolphe Lepigre
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Peter Sewell14 talks
- Michael Sammler16 talks
- Kayvan Memarian6 talks
- Robbert Krebbers26 talks
- François Pottier14 talks
- Simon Spies8 talks
| title | conference | date |
|---|---|---|
| BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs | OOPSLA 2022 | 2022-12-05 |
A foundational, automated verifier encodes common bitfield patterns as structured bit vectors and implements partial, semantics-preserving operations (masking… | ||
| VIP: Verifying Real-World C Idioms with Integer-Pointer Casts | POPL 2022 | 2022-01-16 |
Presents VIP, a memory-object model that proves compatible with PNVI while making integer→pointer casts verifiable by adding an explicit provenance-copying… | ||
| nothing matches | ||