Visual Supercomputing: Technologies, Applications and Challenges. - Ken Brodlie; John Brooke; Min Chen 001; David Chisnall; Ade J. Fewings; Chris J. Hughes; Nigel W. John; Mark W. Jones 001; Mark Riding; Nicolas Roard (Comput. Graph. Forum, 2005)

The Making of SimEAC. - David Chisnall; Min Chen 001 (ICAC, 2006)

Knowledge-Based Out-of-Core Algorithms for Data Management in Visualization. - David Chisnall; Min Chen 001; Charles D. Hansen (EuroVis, 2006)

Adaptive Infrastructure for Visual Computing. - Kenneth W. Brodlie; John Brooke; Min Chen 001; David Chisnall; Chris J. Hughes; Nigel W. John; Mark W. Jones 001; Mark Riding; Nicolas Roard; Martin J. Turner; Jason D. Wood (TPCG, 2007)

Ray-driven dynamic working set rendering. - David Chisnall; Min Chen 001; Charles D. Hansen (Vis. Comput., 2007)

Autonomic visualisation. - David Chisnall (2007)

A Modern Objective-C Runtime. - David Chisnall (J. Object Technol., 2009)

Cocoa Programming - Developer's Handbook. - David Chisnall (Addison-Wesley, 2010)

The Go Programming Language - Phrasebook. - David Chisnall (Addison-Wesley, 2012)

A New Objective-C Runtime: from Research to Production. - David Chisnall (ACM Queue, 2012)

The Challenge of Cross-language Interoperability. - David Chisnall (ACM Queue, 2013)

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)

No such thing as a general-purpose processor. - David Chisnall (Commun. ACM, 2014)

There's No Such Thing as a General-purpose Processor. - David Chisnall (ACM Queue, 2014)

Smalltalk in a C world. - David Chisnall (Sci. Comput. Program., 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)

Into the depths of C: elaborating the de facto standards. - Kayvan Memarian; Justus Matthiesen; James Lingard; Kyndylan Nienhuis; David Chisnall; Robert N. M. Watson; Peter Sewell (PLDI, 2016)

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)

What You Get is What You C: Controlling Side Effects in Mainstream C Compilers. - Laurent Simon; David Chisnall; Ross J. Anderson (EuroS&P, 2018)

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)

C Is Not a Low-level Language. - David Chisnall (ACM Queue, 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)

snmalloc: a message passing allocator. - Paul Liétar; Theodore Butler; Sylvan Clebsch; Sophia Drossopoulou; Juliana Franco; Matthew J. Parkinson; Alex Shamis; Christoph M. Wintersteiger; David Chisnall (ISMM, 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)

Toward confidential cloud computing. - Mark Russinovich; Manuel Costa; Cédric Fournet; David Chisnall; Antoine Delignat-Lavaud; Sylvan Clebsch; Kapil Vaswani; Vikas Bhatia (Commun. ACM, 2021)

Secure Compilation (Dagstuhl Seminar 21481). - David Chisnall; Deepak Garg 001; Catalin Hritcu; Mathias Payer (Dagstuhl Reports, 2021)

Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. - Mark Russinovich; Manuel Costa; Cédric Fournet; David Chisnall; Antoine Delignat-Lavaud; Sylvan Clebsch; Kapil Vaswani; Vikas Bhatia (ACM Queue, 2021)

A Secret-Free Hypervisor: Rethinking Isolation in the Age of Speculative Vulnerabilities. - Hongyan Xia; David Zhang; Wei Liu; István Haller; Bruce Sherwin; David Chisnall (SP, 2022)

Confidential Machine Learning within Graphcore IPUs. - Kapil Vaswani; Stavros Volos; Cédric Fournet; Antonio Nino Diaz; Ken Gordon; Balaji Vembu; Sam Webster; David Chisnall; Saurabh Kulkarni; Graham Cunningham; Richard Osborne; Dan Wilkinson (CoRR, 2022)

Towards (Really) Safe and Fast Confidential I/O. - Hugo Lefeuvre; David Chisnall; Marios Kogias; Pierre Olivier (HotOS, 2023)

CHERIoT: Complete Memory Safety for Embedded Devices. - Saar Amar; David Chisnall; Tony Chen; Nathaniel Wesley Filardo; Ben Laurie; Kunyan Liu; Robert M. Norton; Simon W. Moore; Yucong Tao; Robert N. M. Watson; Hongyan Xia (MICRO, 2023)

Confidential Computing within an AI Accelerator. - Kapil Vaswani; Stavros Volos; Cédric Fournet; Antonio Nino Diaz; Ken Gordon; Balaji Vembu; Sam Webster; David Chisnall; Saurabh Kulkarni; Graham Cunningham; Richard Osborne; Dan Wilkinson (USENIX ATC, 2023)

When Concurrency Matters: Behaviour-Oriented Concurrency. - Luke Cheeseman; Matthew J. Parkinson; Sylvan Clebsch; Marios Kogias; Sophia Drossopoulou; David Chisnall; Tobias Wrigstad; Paul Liétar (Proc. ACM Program. Lang., 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)

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)

How to Design an ISA: The popularity of RISC-V has led many to try designing instruction sets. - David Chisnall (ACM Queue, 2024)

How to Design an ISA. - David Chisnall (Commun. ACM, 2024)

SoK: Software Compartmentalization. - Hugo Lefeuvre; Nathan Dautenhahn; David Chisnall; Pierre Olivier (SP, 2025)

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)