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 × Sweden
1 × USA
Collaborated with:
S.Jagannathan K.C.Sivaramakrishnan G.Ramalingam Kapil Earanky Swarn Priya K.Nagar Mahsa Najafzadeh
Talks about:
replic (2) safe (2) data (2) framework (1) transfer (1) mergeabl (1) composit (1) program (1) consist (1) concurr (1)

Person: Gowtham Kaki

DBLP DBLP: Kaki:Gowtham

Contributed to:

PLDI 20152015
ICFP 20142014
ECOOP 20182018
OOPSLA 20182018
OOPSLA 20192019
POPL 20182018

Wrote 6 papers:

PLDI-2015-Sivaramakrishnan #consistency #declarative #programming
Declarative programming over eventually consistent data stores (KCS, GK, SJ), pp. 413–424.
ICFP-2014-KakiJ #analysis #framework #higher-order #relational
A relational framework for higher-order shape analysis (GK, SJ), pp. 311–324.
Safe Transferable Regions (GK, GR), p. 31.
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.
POPL-2018-KakiNNJ #composition #reasoning
Alone together: compositional reasoning and inference for weak isolation (GK, KN, MN, SJ), p. 34.

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.