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