Registered user since Mon 5 Nov 2018

Name:Brian Campbell
Affiliation:University of Edinburgh

Contributions

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

PLDI 2022-profile
View general profile