Concepedia

Kyndylan Nienhuis

KN

Statistics

Publications

6

Citations

212

H-Index

6

Active since

2016

Affiliations

University of Cambridge(Current)

Kyndylan Nienhuis is an author at University of Cambridge specializing in system software, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringVerificationSoftware TestingParallel Computing

Publications per year

2016–2020

6

Publications

6

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard et al. · 2016 · 85 citations · Full text

An operational semantics for C/C++11 concurrency

Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell · 2016 · 44 citations · Full text

Engineering, Verification, Concurrent System +19

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

Kyndylan Nienhuis, Alexandre Joannou, Anthony Fox et al. · 2020 · 30 citations · Full text

Hardware Trojan, Engineering, Hardware Verification Language +27

Mixed-size concurrency: ARM, POWER, C/C++11, and SC

Shaked Flur, Susmit Sarkar, Christopher Pulte et al. · 2016 · 28 citations · Full text

Engineering, Computer Architecture, Memory Model (Programming) +16

Into the depths of C: elaborating the de facto standards

Kayvan Memarian, Justus Matthiesen, James Lingard et al. · ACM SIGPLAN Notices · 2016 · 13 citations

Engineering, Normative Issue, Computer Architecture +26

1–5 of 6