Brooks Davis - Concepedia

Author

Brooks Davis

Also Known As

B. Davis, B. N. Davis, Brooks Davis, David Chisnall, Davis, Brooks, Davis, Michael, John Baldwin, Michael AuYeung Brooks Davis

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

University of Cambridge SRI International Menlo School Google (United Kingdom)Microsoft Research (United Kingdom)

About

Brooks Davis is an author at University of Cambridge specializing in computer science, system software, and engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	14	1.1K
2	Computer Science	13	14	1.1K
3	Computer Engineering	11	12	982
4	Management	2	2	364
5	Business	1	1	155

Brooks Davis

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization Robert N. M. Watson, Jonathan Woodruff, Peter G. Neumann, Software MaintenanceEngineeringComputer ArchitectureSoftware EngineeringDependable System Architecture	2015	257
The CHERI capability model Jonathan Woodruff, Robert N. M. Watson, David Chisnall, ACM SIGARCH Computer Architecture News EngineeringComputational Model TheoryComputer ArchitectureCheri Capability ModelSoftware Analysis	2014	209
The CHERI capability model: Revisiting RISC in an age of risk Jonathan Woodruff, Robert N. M. Watson, David Chisnall, EngineeringComputer ArchitectureRisk AnalysisCheri Capability ModelSoftware Analysis	2014	155
Beyond the PDP-11 David Chisnall, Colin Rothwell, Robert N. M. Watson, EngineeringAdvanced ComputingComputer ArchitectureMemory Model (Programming)Software Analysis	2015	73
Clean Application Compartmentalization with SOAAP Khilan Gudka, Robert N. M. Watson, Jonathan Anderson, Software MaintenanceEngineeringInformation SecurityPossible DecompositionsSoftware Engineering	2015	66
CheriABI Brooks Davis, Robert N. M. Watson, Alexander Richardson, EngineeringComputer ArchitectureSoftware EngineeringMemory Model (Programming)Software Analysis	2019	56
CHERI Concentrate: Practical Compressed Capabilities Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, IEEE Transactions on Computers Capability Fat PointersEngineeringCompiler TechnologyComputer ArchitectureSustainable Material Development	2019	55
Exploring C semantics and pointer provenance Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Proceedings of the ACM on Programming Languages EngineeringCompiler TechnologyVerificationSoftware EngineeringSoftware Analysis	2019	49
Cornucopia: Temporal Safety for CHERI Heaps Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, EngineeringBotanyComputer ArchitectureSoftware EngineeringTemporal Memory Safety	2020	46
Efficient Tagged Memory Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics, EngineeringCache BehaviorComputational StorageComputer ArchitectureTag Table	2017	43

Page 1