Exploring C semantics and pointer provenance
2019 · Proceedings of the ACM on Programming Languages · 49 citations
https://doi.org/10.1145/3290380
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
46
Papers
1.3K
Citations
16
h-index
19
i10-index
Brooks Davis is an academic researcher from SRI International. The author has contributed to research in topics: Security and Verification in Computing & Distributed systems and fault tolerance & Parallel Computing and Optimization Techniques. The author has an h-index of 16, co-authored 40 publications.
ORCID: 0009-0006-6256-0419Click to start Chat