Wednesday 7 June 2023
- WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly, Conrad Watt, Maja Trela, Peter Lammich, and Florian Märkl, PLDI'23, see: https://dl.acm.org/doi/10.1145/3591224
- With a little help from your friends: semi-cooperative games via Joker moves, Petra van den Bos, Marielle Stoelinga, FORTE 2023 PDF: 2304.13417.pdf (arxiv.org)
- A more Pragmatic CDCL for IsaSAT and targetting LLVM, Mathias Fleury and Peter Lammich, CADE29
