Not registered as user yet

Name: Brooks Davis

Affiliation: SRI International

Contributions

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