8
Publications
346
Citations
8
H-Index
2015
Active since
Alexander Richardson is an author at SRI International specializing in system software, computer science, and engineering.
Top concepts
EngineeringSystem SoftwareComputer ScienceHardware SecurityProgram AnalysisSoftware AnalysisComputer EngineeringComputer ArchitectureFormal VerificationSystems Engineering
Publications per year
2015–2021
8
8
Clean Application Compartmentalization with SOAAP
Khilan Gudka, Robert N. M. Watson, Jonathan Anderson et al. · 2015 · 66 citations · Full text
Brooks Davis, Robert N. M. Watson, Alexander Richardson et al. · 2019 · 56 citations · Full text
Engineering, Computer Architecture, Software Engineering +16
Hongyan Xia, Jonathan Woodruff, Sam Ainsworth et al. · 2019 · 50 citations · Full text
Engineering, Computer Architecture, Memory Model (Programming) +16
Exploring C semantics and pointer provenance
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis et al. · Proceedings of the ACM on Programming Languages · 2019 · 49 citations · Full text
Cornucopia: Temporal Safety for CHERI Heaps
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff et al. · 2020 · 46 citations · Full text
Rows per page
1–5 of 8