K. C. Sivaramakrishnan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2009–2022
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | Certified mergeable replicated data types. | Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan |
| 2021 | PADL | ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. | Sumit Padhiyar, K. C. Sivaramakrishnan |
| 2021 | PLDI | Retrofitting effect handlers onto OCaml. | K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy |
| 2020 | APLAS | Banyan: Coordination-Free Distributed Transactions over Mergeable Types. | Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy |
| 2018 | INFOCOM | An architecture for interspatial communication. | Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire |
| 2018 | PLDI | Bounding data races in space and time. | Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
| 2015 | PLDI | Declarative programming over eventually consistent data stores. | K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan |
| 2014 | PADL | R | K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan |
| 2011 | PLDI | Composable asynchronous events. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2010 | Coordination | Efficient Session Type Guided Distributed Interaction. | K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster |
| 2010 | POPL | Lightweight asynchrony using parasitic threads. | K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan |
| 2009 | ICFP | Partial memoization of concurrency and communication. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |