Kyndylan Nienhuis

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 4

Top Topics

Operational Semantics

Semantic Data Models

Concurrency Control

Top Venues

IEEE Symposium on Security and Privacy

Publications

Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony C. J. Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. IEEE Symposium on Security and Privacy (2020)
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
Mixed-size concurrency: ARM, POWER, C/C++11, and SC. POPL (2017)
Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell
An operational semantics for C/C++11 concurrency. OOPSLA (2016)
Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
Into the depths of C: elaborating the de facto standards. PLDI (2016)
Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
The Problem of Programming Language Concurrency Semantics. ESOP (2015)