Peter Lammich
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 1 in the filters
on a stage with
- Conrad Wattonce
- Florian Märklonce
- Maja Trelaonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for(…) | PLDI 2023 | 2023-06-17 |
A verified monadic interpreter for WebAssembly implemented in Isabelle/HOL and proven via a two-step refinement proof against WasmCert-Isabelle, extracted to… | ||
| nothing matches | ||