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: Memarian:Kayvan
Contributed to:
2015
2012
2012
20122019
201620162019Wrote 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.