Kayvan Memarian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | A CHERI C Memory Model for Verified Temporal Safety. | Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell |
| 2025 | SOSP | Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor. | Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Prami, Peter Sewell |
| 2024 | ASPLOS | Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. | Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell |
| 2021 | PLDI | RefinedC: automating the foundational verification of C code with refined ownership types. | Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg |
| 2019 | CAV | Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C. | Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell |
| 2016 | OOPSLA | An operational semantics for C/C++11 concurrency. | Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell |
| 2016 | PLDI | Into the depths of C: elaborating the de facto standards. | Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell |
| 2015 | ESOP | The Problem of Programming Language Concurrency Semantics. | Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell |
| 2012 | CAV | An Axiomatic Memory Model for POWER Multiprocessors. | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2012 | POPL | Clarifying and compiling C/C++ concurrency: from C++11 to POWER. | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |