BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × United Kingdom
2 × USA
Collaborated with:
P.Sewell K.Nienhuis M.Batty S.Sarkar S.Owens J.Pichon-Pharabod V.B.F.Gomes R.N.M.Watson L.Maranget J.Alglave D.Williams S.Lau Justus Matthiesen James Lingard D.Chisnall B.Davis S.Kell Alexander Richardson S.Mador-Haim R.Alur M.M.K.Martin
Talks about:
concurr (4) semant (4) power (3) explor (2) multiprocessor (1) synchronis (1) standard (1) sequenti (1) principl (1) cerberus (1)

Person: Kayvan Memarian

DBLP DBLP: Memarian:Kayvan

Contributed to:

ESOP 20152015
CAV 20122012
PLDI 20122012
POPL 20122012
CAV (1) 20192019
OOPSLA 20162016
PLDI 20162016
POPL 20192019

Wrote 8 papers:

ESOP-2015-BattyMNPS #concurrent #problem #programming language #semantics
The Problem of Programming Language Concurrency Semantics (MB, KM, KN, JPP, PS), pp. 283–307.
CAV-2012-Mador-HaimMSMAOAMSW #axiom #memory management #multi
An Axiomatic Memory Model for POWER Multiprocessors (SMH, LM, SS, KM, JA, SO, RA, MMKM, PS, DW), pp. 495–512.
PLDI-2012-SarkarMOBSMAW #c #c++
Synchronising C/C++ and POWER (SS, KM, SO, MB, PS, LM, JA, DW), pp. 311–322.
POPL-2012-BattyMOSS #c #c++ #compilation #concurrent
Clarifying and compiling C/C++ concurrency: from C++11 to POWER (MB, KM, SO, SS, PS), pp. 509–520.
CAV-2019-LauGMPS #c #concurrent #named #semantics
Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C (SL, VBFG, KM, JPP, PS), pp. 387–397.
OOPSLA-2016-NienhuisMS #concurrent #semantics
An operational semantics for C/C++11 concurrency (KN, KM, PS), pp. 111–128.
PLDI-2016-MemarianMLNCWS #standard
Into the depths of C: elaborating the de facto standards (KM, JM, JL, KN, DC, RNMW, PS), pp. 1–15.
POPL-2019-MemarianGDKRWS #c #pointer #semantics
Exploring C semantics and pointer provenance (KM, VBFG, BD, SK, AR, RNMW, PS), p. 32.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.