Not registered as user yet
Name:Robert N. M. Watson
Affiliation:University of Cambridge
Contributions
POPL 2019 | Exploring C Semantics and Pointer Provenance | ||||||||||||||||||||||||||||||||||||||||
PriSC 2019 | Protecting C++ Applications Using CHERI Secure Linking in the CheriBSD Operating System | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile