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