Maxime Legoupil

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Hardware Designs

Symbolic Execution

Iris Biometrics

Top Venues

Proc. ACM Program. Lang.

Publications

Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)