Architecture
- Capability-Based Security: CHERI Architecture, Hardware Capabilities, Spatial and Referential Safety, and Compartmentalization
· 2021-02-26
A deep exploration of the CHERI capability architecture — how hardware-enforced capabilities provide spatial memory safety, referential integrity, and fine-grained compartmentalization at the instruction level.
- Tuning the Dial: Adaptive Consistency at Planet Scale
· 2020-03-11
Inside the engineering of databases that adjust consistency on the fly without breaking user trust.
- Computer Architecture: A Quantitative Approach (6th ed.)
- Computer Architecture: A Quantitative Approach (6th ed.)
- Structured Computer Organization (6th ed.)