Formal Specification of a Multi-Level Secure Operating System. - Tanya Korelsky; David Sutherland (S&P, 1984)

Multi-Sensor Mapping for Low Contrast, Quasi-Dynamic, Large Objects. - Vikrant Shah; Kristin Schild; Margaret Lindeman; Daniel Duncan; David Sutherland; Claudia Cenedese; Fiammetta Straneo; Hanumant Singh (IEEE Robotics Autom. Lett., 2020)

XBOX Series X: A Next-Generation Gaming Console SoC. - Paul Paternoster; Andy Maki; Andres Hernandez; Mark Grossman; Michael Lau; David Sutherland; Aditya Mathad (ISSCC, 2021)