ASAP: As Static As Possible memory management [pdf]
2020-05-11
Show HN: Micro-mitten – Research language with compile-time memory management
2020-05-08
ASAP: As Static As Possiblememory management [pdf]
2020-04-09
Cheri Instruction-Set Architecture (Version 7) [pdf]
2019-06-05
Distributed Consensus Revised [pdf]
2019-04-17
(UX)Designer-founded startups – UXCake Podcast
2018-08-16
Role-based access control policy administration (2004) [pdf]
2018-08-07
Sketchpad: A man-machine graphical communication system (1963) [pdf]
2018-06-20
CHERI: Notes on the Meltdown and Spectre Attacks
2018-02-07
The UX of Design Systems: Material Design and Templatization of Digital Products
2017-06-07