Pierre Wilke
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
- Cyprien Julesonce
- Guillaume Hietonce
- Xiangzhe Xuonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Modular and automatic formal verification of a RISC-V processor with security mechanisms | PriSC 2026 | 2026-01-11 |
A 32‑bit RISC‑V core in Kôika HDL is extended with privilege levels, PMP regions, traps, a hardware shadow stack and landing pads and compiled into an IR that… | ||
| CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files | OOPSLA 2020 | 2020-11-15 |
CompCertELF is a Coq-verified C-to-ELF toolchain that adds a verified assembler and supports verified separate compilation by proving commutativity between… | ||
| nothing matches | ||