Kayvan Memarian

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

N2577: A provenance-aware memory object model for C

Jens Gustedt and others (2020)

Exploring C semantics and pointer provenance

Kayvan Memarian and others (2019) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

The Problem of Programming Language Concurrency Semantics

Mark Batty and others (2015) · Programming Languages and Systems · Springer Berlin Heidelberg

Clarifying and compiling C/C++ concurrency: from C++11 to POWER

Mark Batty and others (2012) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

Synchronising C/C++ and POWER

Susmit Sarkar and others (2012) · ACM