Not registered as user yet

Name:Jean Pichon-Pharabod
Affiliation:Aarhus University

Contributions

PLDI 2022 Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Show activities from other conferences

Using general profile