Kayvan Memarian

Synchronising C/C++ and POWER

Susmit Sarkar, Kayvan Memarian, Scott Owens et al. · 2012 · 97 citations · Full text

Computing, Computer Engineering, Computer Science +15

Into the depths of C: elaborating the de facto standards

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

Computing, Computer Science, Computer Systems +10

Clarifying and compiling C/C++ concurrency

Mark Batty, Kayvan Memarian, Scott Owens et al. · 2012 · 85 citations

Computing, Computer Engineering, Computer Science +17

RefinedC: automating the foundational verification of C code with refined ownership types

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers et al. · 2021 · 77 citations · Full text

Computing, Computer Science, Formal Methods +16

Clarifying and compiling C/C++ concurrency

Mark Batty, Kayvan Memarian, Scott Owens et al. · ACM SIGPLAN Notices · 2012 · 76 citations

Computing, Computer Engineering, Computer Science +17