Jean Pichon-Pharabod

Registered user since Mon 24 Apr 2023

Name:Jean Pichon-Pharabod
Affiliation:Aarhus University

Contributions

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

PLDI 2022-profile
View general profile