I am a Senior Research Software Engineer working on CHERI. I contribute to the development of CHERI LLVM and CheriBSD, taking a particular interest in ABIs, linkers and loaders. I have been vice-chair of the RISC-V psABI Task Group since its inception. I am a Debian Developer and a FreeBSD Committer.
Publications
R. Watson, J. Baldwin, D. Chisnall, T. Chen, J. Clarke, B. Davis, N. Filardo, B. Gutstein, G. Jenkinson, B. Laurie, A. Mazzinghi, S. Moore, P. Neumann, H. Okhravi, A. Richardson, A. Rebert, P. Sewell, L. Tratt, M. Vijayaraghavan, H. Vincent, and K. Witaszczyk, “It is time to standardize principles and practices for software memory safety,” Communications of the ACM, vol. 68, pp. 40--45, Feb 2025. [ DOI ]
F. Fuchs, J. Woodruff, P. Rugg, A. Joannou, J. Clarke, J. Baldwin, B. Davis, P. Neumann, R. Watson, and S. Moore, “Safe speculation for CHERI,” vol. 00, pp. 364--372, Institute of Electrical and Electronics Engineers (IEEE), Nov 2024. [ DOI ]
R. Watson, D. Chisnall, J. Clarke, B. Davis, N. Filardo, B. Laurie, S. Moore, P. Neumann, A. Richardson, P. Sewell, K. Witaszczyk, and J. Woodruff, “CHERI: Hardware-enabled C/C++ memory protection at scale,” IEEE Security and Privacy, vol. 22, pp. 50--61, Jul 2024. [ DOI ]
N. Filardo, B. Gutstein, J. Woodruff, J. Clarke, P. Rugg, B. Davis, M. Johnston, R. Norton, D. Chisnall, S. Moore, P. Neumann, and R. Watson, “Cornucopia reloaded: Load barriers for CHERI heap temporal safety,” pp. 251--268, Association for Computing Machinery (ACM), Apr 2024. [ DOI ]
V. Zaliva, K. Memarian, R. Almeida, J. Clarke, B. Davis, A. Richardson, D. Chisnall, B. Campbell, I. Stark, R. Watson, and P. Sewell, “Formal mechanised semantics of CHERI C: Capabilities, undefined behaviour, and provenance,” pp. 181--196, Association for Computing Machinery (ACM), Apr 2024. [ DOI ]
F. Fuchs, J. Woodruff, M. van der Maas, P. Rugg, A. Joannou, A. Richardson, J. Clarke, N. Filardo, B. Davis, J. Baldwin, P. Neumann, S. Moore, and R. Watson, “Architectural contracts for safe speculation,” in 2023 IEEE 41st International Conference on Computer Design (ICCD), pp. 578--586, Washington DC, USA, IEEE, Nov 2023. [ DOI ]
N. Filardo, B. Gutstein, J. Woodruff, S. Ainsworth, L. Paul-Trifu, B. Davis, H. Xia, E. Napierala, A. Richardson, J. Baldwin, D. Chisnall, J. Clarke, K. Gudka, A. Joannou, A. Markettos, A. Mazzinghi, R. Norton, M. Roe, P. Sewell, S. Son, T. Jones, S. Moore, P. Neumann, and R. Watson, “Cornucopia: Temporal safety for CHERI heaps,” vol. 00, pp. 608--625, Institute of Electrical and Electronics Engineers (IEEE), May 2020. [ DOI ]
N. Filardo, B. Gutstein, J. Woodruff, S. Ainsworth, L. Paul-Trifu, B. Davis, H. Xia, E. Napierala, A. Richardson, J. Baldwin, D. Chisnall, J. Clarke, K. Gudka, A. Joannou, A. Markettos, A. Mazzinghi, R. Norton, M. Roe, P. Sewell, S. Son, T. Jones, S. Moore, P. Neumann, and R. Watson, “Research data supporting 'cornucopia: Temporal safety for cheri heaps'.”
M. Dodson, A. Beresford, A. Richardson, J. Clarke, and R. Watson, “CHERI macaroons: Efficient, host-based access control for cyber-physical systems,” vol. 00, pp. 688--693, Institute of Electrical and Electronics Engineers (IEEE), Jan 2020. [ DOI ]
B. Davis, R. Watson, A. Richardson, P. Neumann, S. Moore, J. Baldwin, D. Chisnall, J. Clarke, N. Filardo, K. Gudka, A. Joannou, B. Laurie, A. Markettos, J. Maste, A. Mazzinghi, E. Napierala, R. Norton, M. Roe, P. Sewell, S. Son, and J. Woodruff, “CheriABI,” pp. 379--393, Association for Computing Machinery (ACM), Apr 2019. [ DOI ]