Pointer Safety is a program analysis framework that enforces memory safety by formally verifying the correctness of pointer operations through static or dynamic checks to prevent spatial and temporal memory errors.
38
Publications
3.4K
Citations
107
Authors
39
Institutions
Publications per year
2017–2026
7
Publications
38
Joel Coburn, Adrian M. Caulfield, Ameen Akel et al. · 2011 · 658 citations
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic · 2009 · 529 citations
George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations
George C. Necula, Scott McPeak, Westley Weimer · 2002 · 371 citations
Albert Kwon, Udit Dhawan, Jonathan M. Smith et al. · 2013 · 126 citations · Full text
1–5 of 38
Authors
107
- SS
4
h-index
- AM
3
h-index
- JC
3
h-index
- GC
3
h-index
- RJ
3
h-index
1–5 of 107
Institutions
39
University of California San Diego
San Diego, United States
4 h-index
23 publications
5.9K citations
University of Pennsylvania
Philadelphia, United States
4 h-index
12 publications
2.5K citations
University of California, Berkeley
Berkeley, United States
3 h-index
9 publications
2.9K citations
Palo Alto Research Center
Palo Alto, United States
2 h-index
2 publications
59 citations
University of Illinois Urbana-Champaign
Urbana, United States
2 h-index
8 publications
576 citations
Universidad Complutense de Madrid
Madrid, Spain
2 h-index
2 publications
24 citations
Universidade Federal do Amazonas
Manaus, Brazil
1 h-index
1 publications
108 citations
University of British Columbia
Vancouver, Canada
1 h-index
1 publications
75 citations
1–8 of 39
Venues
- ACM SIGPLAN Notices
6 publications · 855 citations
6
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 92 citations
2
h-index
- Lirias (KU Leuven)
Repository · 1 publications · 18 citations
1
h-index
- IEEE Micro
1 publications · 27 citations
1
h-index
- Frontiers of Computer Science in China
1 publications · 12 citations
1
h-index
1–5