conf.researchr.org / Angus Hammond
Not registered as user yet
Name:Angus Hammond
Affiliation:University of Cambridge
Contributions
| PLDI 2022 | Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track |
Not registered as user yet
Contributions
| PLDI 2022 | Author of Islaris: Verification of Machine Code Against Authoritative ISA Semantics within the PLDI-track |