Kayvan Memarian

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 9

Top Topics

Semantic Data Models

Operational Semantics

Programming Language

Provenance Information

Top Venues

Proc. ACM Program. Lang.

Publications

Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. ASPLOS (1) (2024)
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
CN: Verifying Systems C Code with Separation-Logic Refinement Types. Proc. ACM Program. Lang. 7 (POPL) (2023)
Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, Peter Sewell
VIP: verifying real-world C idioms with integer-pointer casts. Proc. ACM Program. Lang. 6 (POPL) (2022)
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
RefinedC: automating the foundational verification of C code with refined ownership types. PLDI (2021)
Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. CAV (1) (2019)
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
Exploring C semantics and pointer provenance. Proc. ACM Program. Lang. 3 (POPL) (2019)
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)
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
Synchronising C/C++ and POWER. PLDI (2012)
Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. POPL (2012)
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
An Axiomatic Memory Model for POWER Multiprocessors. CAV (2012)