Francesco Zappa Nardelli
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Christoph Kleeonce
- Noam Zilbersteinonce
- Peter W. O'Hearnonce
all 4 in the filters
who talks about the same things
- Benjamin W Chung6 talks
- Ross Tate7 talks
- Julia Belyakova6 talks
- Jan Vitek26 talks
- Ondřej Lhoták11 talks
- Tiark Rompf24 talks
| title | conference | date |
|---|---|---|
| Applying Formal Verification to Microkernel IPC at Meta | CPP 2022 | 2022-01-17 |
Project uses Iris in Coq to verify the microkernel IPC algorithms (not the full C), proving correctness of two queues verified implemented as non‑blocking… | ||
| Reliable Stack Traces, the Reality of Myth | SPLASH 2020 REBASE | 2020-11-16 |
Shows two concrete tools for x86_64: a dynamic validator that checks DWARF unwind bytecode against actual register/stack states (finds compiler and inline-asm… | ||
| Julia Subtyping - a Rational Reconstruction | OOPSLA 2018 | 2018-11-07 |
Provides a precise formal definition of Julia’s subtype relation plus a reference implementation that logs and replays actual runtime subtype queries… | ||
| nothing matches | ||