Not registered as user yet

Name:Brooks Davis
Affiliation:SRI International

Contributions

POPL 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track