xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.

Not registered as user yet

Name:Jean Pichon-Pharabod
Affiliation:Aarhus University

Contributions

PLDI 2022 Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track