The Problem of Programming Language Concurrency Semantics. - Mark Batty; Kayvan Memarian; Kyndylan Nienhuis; Jean Pichon-Pharabod; Peter Sewell (ESOP, 2015)

An operational semantics for C/C++11 concurrency. - Kyndylan Nienhuis; Kayvan Memarian; Peter Sewell (OOPSLA, 2016)

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)

Mixed-size concurrency: ARM, POWER, C/C++11, and SC. - Shaked Flur; Susmit Sarkar; Christopher Pulte; Kyndylan Nienhuis; Luc Maranget; Kathryn E. Gray; Ali Sezgin; Mark Batty; Peter Sewell (POPL, 2017)

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. - Kyndylan Nienhuis; Alexandre Joannou; Thomas Bauereiss; Anthony C. J. Fox; Michael Roe; Brian Campbell 001; Matthew Naylor; Robert M. Norton; Simon W. Moore; Peter G. Neumann; Ian Stark; Robert N. M. Watson; et al. (SP, 2020)