Kayvan Memarian

15 papers A* 6A 2B 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
A CHERI C Memory Model for Verified Temporal Safety.
CPP
Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell
2025 J jnl
Fulminate: Testing CN Separation-Logic Specifications in C.
Proc. ACM Program. Lang.
Rini Banerjee, Kayvan Memarian, Dhruv C. Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell
2025 A* conf
Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.
SOSP
Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami, Peter Sewell
2024 — conf
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.
ASPLOS (1)
Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
2023 J jnl
CN: Verifying Systems C Code with Separation-Logic Refinement Types.
Proc. ACM Program. Lang.
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
2022 J jnl
VIP: verifying real-world C idioms with integer-pointer casts.
Proc. ACM Program. Lang.
Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, Peter Sewell
2021 A* conf
RefinedC: automating the foundational verification of C code with refined ownership types.
PLDI
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
2019 — conf
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C.
CAV (1)
Stella Lau, Victor B. F. Gomes, Kayvan Memarian, Jean Pichon-Pharabod, Peter Sewell
2019 J jnl
Exploring C semantics and pointer provenance.
Proc. ACM Program. Lang.
Kayvan Memarian, Victor B. F. Gomes, Brooks Davis, Stephen Kell, Alexander Richardson, Robert N. M. Watson, Peter Sewell
2016 A conf
An operational semantics for C/C++11 concurrency.
OOPSLA
Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell
2016 A* conf
Into the depths of C: elaborating the de facto standards.
PLDI
Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
2015 A conf
The Problem of Programming Language Concurrency Semantics.
ESOP
Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
2012 A* conf
An Axiomatic Memory Model for POWER Multiprocessors.
CAV
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
2012 A* conf
Clarifying and compiling C/C++ concurrency: from C++11 to POWER.
POPL
Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell
2012 A* conf
Synchronising C/C++ and POWER.
PLDI
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams