BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × United Kingdom
3 × USA
Collaborated with:
S.Jagannathan L.Ziarek G.Kaki S.Dolan A.Madhavapeddy Kapil Earanky Swarn Priya
Talks about:
data (3) concurr (2) replic (2) bound (2) safe (2) procrastin (1) synchroni (1) prescript (1) asynchron (1) mergeabl (1)

Person: K. C. Sivaramakrishnan

DBLP DBLP: Sivaramakrishnan:K=_C=

Contributed to:

PLDI 20152015
PADL 20142014
ISMM 20122012
PLDI 20112011
ICFP 20092009
OOPSLA 20182018
OOPSLA 20192019
PLDI 20182018

Wrote 8 papers:

PLDI-2015-Sivaramakrishnan #consistency #declarative #programming
Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.
PADL-2014-SivaramakrishnanZJ #named
RCML: A Prescription for Safely Relaxing Synchrony (KCS, LZ, SJ), pp. 1–16.
Eliminating read barriers through procrastination and cleanliness (KCS, LZ, SJ), pp. 49–60.
PLDI-2011-ZiarekSJ #composition
Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.
ICFP-2009-ZiarekSJ #communication #concurrent
Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.
OOPSLA-2018-KakiESJ #bound #concurrent #replication #verification
Safe replication through bounded concurrency verification (GK, KE, KCS, SJ), p. 27.
OOPSLA-2019-KakiPSJ #data type
Mergeable replicated data types (GK, SP, KCS, SJ), p. 29.
PLDI-2018-DolanSM #bound
Bounding data races in space and time (SD, KCS, AM), pp. 242–255.

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.