Vadim Zaliva
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Brian Campbellonce
- Ian Starkonce
- Kayvan Memarianonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A CHERI C Memory Model for Verified Temporal Safety | CPP 2025 | 2025-01-20 |
Defines a CHERI C object memory model that implements a new PNVI-CHERI provenance scheme, encodes five revocation strategies, and plugs into the Cerberus… | ||
| CHERI C semantics | POCL 2024 | 2024-01-16 |
Project produces a mechanized CHERI C semantics implemented in Coq executable semantics and exposes a runnable model (Docker + Compiler Explorer). Memory model… | ||
| nothing matches | ||