Managing Advanced Communication Services Using Active Network Overlays in Grid Environments. - Craig A. Lee; Eric Coe; J. Matt Clark; Brooks Davis (Active Middleware Services, 2002)

Building a High-performance Computing Cluster Using FreeBSD. - Brooks Davis; Michael AuYeung; Gary Green; Craig A. Lee (BSDCon, 2003)

Using Topology-Aware Communication Services in Grid Environments. - Craig A. Lee; Eric Coe; B. Scott Michel; James Stepanek; Ignacio Solis; J. Matt Clark; Brooks Davis (CCGRID, 2003)

Grid-enabling orbital analysis and computationally intensive applications for a growing set of diversified users. - Thomas Barr; Chris Byron; Ziyad Duron; Robert M. Keller; Ben Lickly; Carl Nygaard; Kyle Roberts; Michael AuYeung; Joseph Betser; John Coggi; Brooks Davis; Craig A. Lee; et al. (NOMS, 2008)

TESLA: temporally enhanced system logic assertions. - Jonathan Anderson; Robert N. M. Watson; David Chisnall; Khilan Gudka; Ilias Marinos; Brooks Davis (EuroSys, 2014)

The CHERI capability model: Revisiting RISC in an age of risk. - Jonathan Woodruff; Robert N. M. Watson; David Chisnall; Simon W. Moore; Jonathan Anderson; Brooks Davis; Ben Laurie; Peter G. Neumann; Robert M. Norton; Michael Roe (ISCA, 2014)

Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine. - David Chisnall; Colin Rothwell; Robert N. M. Watson; Jonathan Woodruff; Munraj Vadera; Simon W. Moore; Michael Roe; Brooks Davis; Peter G. Neumann (ASPLOS, 2015)

Clean Application Compartmentalization with SOAAP. - Khilan Gudka; Robert N. M. Watson; Jonathan Anderson; David Chisnall; Brooks Davis; Ben Laurie; Ilias Marinos; Peter G. Neumann; Alex Richardson 001 (CCS, 2015)

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. - Robert N. M. Watson; Jonathan Woodruff; Peter G. Neumann; Simon W. Moore; Jonathan Anderson; David Chisnall; Nirav H. Dave; Brooks Davis; Khilan Gudka; Ben Laurie; Steven J. Murdoch; Robert M. Norton; et al. (IEEE Symposium on Security and Privacy, 2015)

Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. - Robert N. M. Watson; Robert M. Norton; Jonathan Woodruff; Simon W. Moore; Peter G. Neumann; Jonathan Anderson; David Chisnall; Brooks Davis; Ben Laurie; Michael Roe; Nirav H. Dave; Khilan Gudka; et al. (IEEE Micro, 2016)

CHERI JNI: Sinking the Java Security Model into the C. - David Chisnall; Brooks Davis; Khilan Gudka; David Brazdil; Alexandre Joannou; Jonathan Woodruff; A. Theodore Markettos; J. Edward Maste; Robert M. Norton; Stacey D. Son; Michael Roe; Simon W. Moore; et al. (ASPLOS, 2017)

Efficient Tagged Memory. - Alexandre Joannou; Jonathan Woodruff; Robert Kovacsics; Simon W. Moore; Alex Bradbury; Hongyan Xia; Robert N. M. Watson; David Chisnall; Michael Roe; Brooks Davis; Edward Napierala; John Baldwin; et al. (ICCD, 2017)

CheriRTOS: A Capability Model for Embedded Devices. - Hongyan Xia; Jonathan Woodruff; Hadrien Barral; Lawrence Esswood; Alexandre Joannou; Robert Kovacsics; David Chisnall; Michael Roe; Brooks Davis; Edward Napierala; John Baldwin; Khilan Gudka; et al. (ICCD, 2018)

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. - Brooks Davis; Robert N. M. Watson; Alexander Richardson 001; Peter G. Neumann; Simon W. Moore; John Baldwin; David Chisnall; Jessica Clarke 001; Nathaniel Wesley Filardo; Khilan Gudka; Alexandre Joannou; Ben Laurie; et al. (ASPLOS, 2019)

Exploring C semantics and pointer provenance. - Kayvan Memarian; Victor B. F. Gomes; Brooks Davis; Stephen Kell; Alexander Richardson 001; Robert N. M. Watson; Peter Sewell (Proc. ACM Program. Lang., 2019)

CHERI Concentrate: Practical Compressed Capabilities. - Jonathan Woodruff; Alexandre Joannou; Hongyan Xia; Anthony C. J. Fox; Robert M. Norton; David Chisnall; Brooks Davis; Khilan Gudka; Nathaniel Wesley Filardo; A. Theodore Markettos; Michael Roe; Peter G. Neumann; et al. (IEEE Trans. Computers, 2019)

Cornucopia: Temporal Safety for CHERI Heaps. - Nathaniel Wesley Filardo; Brett F. Gutstein; Jonathan Woodruff; Sam Ainsworth; Lucian Paul-Trifu; Brooks Davis; Hongyan Xia; Edward Tomasz Napierala; Alexander Richardson 001; John Baldwin; David Chisnall; Jessica Clarke 001; et al. (SP, 2020)

Architectural Contracts for Safe Speculation. - Franz A. Fuchs; Jonathan Woodruff; Peter Rugg; Marno van der Maas; Alexandre Joannou; Alexander Richardson 001; Jessica Clarke 001; Nathaniel Wesley Filardo; Brooks Davis; John Baldwin; Peter G. Neumann; Simon W. Moore; et al. (ICCD, 2023)

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. - Nathaniel Wesley Filardo; Brett F. Gutstein; Jonathan Woodruff; Jessica Clarke 001; Peter Rugg; Brooks Davis; Mark Johnston; Robert M. Norton; David Chisnall; Simon W. Moore; Peter G. Neumann; Robert N. M. Watson (ASPLOS (2), 2024)

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. - Vadim Zaliva; Kayvan Memarian; Ricardo Almeida 003; Jessica Clarke 001; Brooks Davis; Alexander Richardson 001; David Chisnall; Brian Campbell 001; Ian Stark; Robert N. M. Watson; Peter Sewell (ASPLOS (1), 2024)

Safe Speculation for Cheri. - Franz A. Fuchs; Jonathan Woodruff; Peter Rugg; Alexandre Joannou; Jessica Clarke 001; John Baldwin; Brooks Davis; Peter G. Neumann; Robert N. M. Watson; Simon W. Moore (ICCD, 2024)

CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. - Robert N. M. Watson; David Chisnall; Jessica Clarke 001; Brooks Davis; Nathaniel Wesley Filardo; Ben Laurie; Simon W. Moore; Peter G. Neumann; Alexander Richardson 001; Peter Sewell; Konrad Witaszczyk; Jonathan Woodruff (IEEE Secur. Priv., 2024)

It Is Time to Standardize Principles and Practices for Software Memory Safety. - Robert N. M. Watson; John Baldwin; David Chisnall; Tony Chen; Jessica Clarke 001; Brooks Davis; Nathaniel Wesley Filardo; Brett F. Gutstein; Graeme Jenkinson; Ben Laurie; Alfredo Mazzinghi; Simon W. Moore; et al. (Commun. ACM, 2025)