Jean Pichon-Pharabod - PLDI 2023

Sat 17 - Wed 21 June 2023 Orlando, Florida, United States

Registered user since Mon 24 Apr 2023

Name:Jean Pichon-Pharabod

Country:Denmark

Affiliation:Aarhus University

Personal website: https://jeanpichon.github.io/

Contributions

2023

PLDI

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A

Show activities from other conferences

PLDI 2023-profile
View general profile