Login / Signup
Florian Märkl
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Programming Language
Commercial Systems
Theorem Prover
Pl Sql
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Conrad Watt
,
Maja Trela
,
Peter Lammich
,
Florian Märkl
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.
Proc. ACM Program. Lang.
7 (PLDI) (2023)