Kyndylan Nienhuis
I am a PhD student under the supervision of Peter Sewell, working on the verification of basic security properties of CHERI and on C/C++11 concurrency. My research is part of the REMS project and funded by a Gates scholarship.
Publications
- 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, and Peter Sewell
In POPL 2017 -
An
operational semantics for C/C++11 concurrency
(supplement)
Kyndylan Nienhuis, Kayvan Memarian, and Peter Sewell
In 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 and Peter Sewell
In PLDI 2016 - The problem of
programming language concurrency semantics
Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod and Peter Sewell
In ESOP 2015