Not registered as user yet
Name:Peter Lammich
Affiliation:The University of Manchester
Personal website:https://www.research.manchester.ac.uk/portal/peter.lammich.html
Contributions
PLDI 2023 | WasmRef-Isabelle: a Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile