Toby Murray
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
- Boyi Xieonce
- Pengbo Yanonce
- Rafael Rojasonce
who talks about the same things
- Amin Timany16 talks
- Michael Sammler16 talks
- Jules Jacobs11 talks
- François Pottier14 talks
- Peter Sewell14 talks
- Christopher Pulte4 talks
| title | conference | date |
|---|---|---|
| Leapfrog: Certified Equivalence for Protocol Parsers | PLDI 2022 | 2022-06-13 |
Leapfrog proves that a high-level P4 parser and its optimized target automaton recognize the same packet language by modeling parsers as finite automata, using… | ||
| SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency | OOPSLA 2021 | 2021-10-17 |
SecRSL is a separation logic that proves information-flow security for C11’s Release-Acquire fragment under an axiomatic memory model and is mechanized in Coq… | ||
| nothing matches | ||