K C Sivaramakrishnan - Research Publications - IIT Madras Research Profile

Publications (21)

Sort by Year (most recent)

Sort by Year (oldest first)

Sort by Most Cited

Sort by Recently Added

Sort (A-Z)

Sort (Z-A)

Journal
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs
Padhiyar S. and
K C Sivaramakrishnan
2021 | Springer Science and Business Media Deutschland GmbH
Journal
Retrofitting parallelism onto OCaml
K C Sivaramakrishnan
, Dolan S., ..., Madhavapeddy A. (8 authors)
2020
PDFPostprint
Journal
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
Dubey S.S.,
K C Sivaramakrishnan
, ..., Madhavapeddy A. (4 authors)
2020
Conferences
Version control is for your data too
K C Sivaramakrishnan
2019 | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Proceedings Series
Eff directly in OCaml
Kiselyov O. and
K C Sivaramakrishnan
2018
PDFPublisher Copy
Conference Proceeding
An architecture for interspatial communication
Madhavapeddy A.,
K C Sivaramakrishnan
, ..., Gazagnaire T. (4 authors)
2018 | Institute of Electrical and Electronics Engineers Inc.
Journal
Concurrent system programming with effect handlers
Dolan S., Eliopoulos S., ...,
K C Sivaramakrishnan
and White L. (6 authors)
2018 | Springer Link
Research Article
Bounding data races in space and time
Dolan Stephen,
K C Sivaramakrishnan
and Madhavapeddy Anil
2018 | ACM Press
Journal Article
Continuation passing style for effect handlers
Hillerström D., Lindley S., ...,
K C Sivaramakrishnan
(4 authors)
2017 | Drops
Journal
Composable scheduler activations for Haskell
K C Sivaramakrishnan
, Harris T., ..., Jones S.P. (4 authors)
2016 | Cambridge University Press
PDFPostprint
Research Article
Declarative programming over eventually consistent data stores
K C Sivaramakrishnan
and Kaki G.
2015 | Association for Computing Machinery
Journal
℞CML: A Prescription for Safely Relaxing Synchrony
K C Sivaramakrishnan
, Ziarek Lukasz and Jagannathan Suresh
2014 | Springer International Publishing
Journal
MultiMLton: A multicore-aware runtime for standard ML
K C Sivaramakrishnan
and Ziarek L.
2014 | Cambridge University Press
Journal Article
Efficient sessions
K C Sivaramakrishnan
, Qudeisat Mohammad, ..., Eugster Patrick (4 authors)
2013 | Elsevier BV
PDFPostprint
Other
Open Access
A coherent and managed runtime for ml on the scc
K C Sivaramakrishnan
and Ziarek L.
2012
Journal
Eliminating read barriers through procrastination and cleanliness
K C Sivaramakrishnan
and Ziarek L.
2012 | AMC Digital Library
PDFPostprint
Journal Article
Composable asynchronous events
Ziarek Lukasz,
K C Sivaramakrishnan
and Jagannathan Suresh
2011 | ACM Press
Journal
Efficient session type guided distributed interaction
K C Sivaramakrishnan
, Nagaraj K., ..., Eugster P. (4 authors)
2010 | Springer Link
Other
Lightweight asynchrony using parasitic threads
K C Sivaramakrishnan
and Ziarek L.
2010 | AMC Digital Library
Journal Article
Partial memoization of concurrency and communication
Ziarek Lukasz,
K C Sivaramakrishnan
and Jagannathan Suresh
2009 | ACM Press

Showing 1-20 of 21 results