E-LIB Suche - Ergebnisse für: Sivaramakrishnan, KC

1

Continuing WebAssembly with Effect Handlers:

Phipps-Costin, Luna ; Rossberg, Andreas ; Guha, Arjun...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 460-485 , 2023

Link: https://doi.org/10.1145/..

2

Proceedings of the 9th Workshop on Principles and Practice ..:

Szekeres, Adriana ; Sivaramakrishnan, KC , 2022

Link: https://dl.acm.org/doi/1..

3

Certified mergeable replicated data types:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Soundarapandian, Vimala ; Kamath, Adharsh ; Nagar, Kartik. - p. 332-347 , 2022

Link: https://dl.acm.org/doi/1..

4

Retrofitting effect handlers onto OCaml:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo... - p. 206-221 , 2021

Link: https://dl.acm.org/doi/1..

5

Retrofitting parallelism onto OCaml:

Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo...
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

6

Retrofitting parallelism onto OCaml:

Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo...
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

7

Mergeable replicated data types:

Kaki, Gowtham ; Priya, Swarn ; Sivaramakrishnan, KC.
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

8

Mergeable replicated data types:

Kaki, Gowtham ; Priya, Swarn ; Sivaramakrishnan, KC.
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

9

Safe replication through bounded concurrency verification:

Kaki, Gowtham ; Earanky, Kapil ; Sivaramakrishnan, KC.
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-27 , 2018

Link: https://dl.acm.org/doi/1..

10

Safe replication through bounded concurrency verification:

Kaki, Gowtham ; Earanky, Kapil ; Sivaramakrishnan, KC.
Proceedings of the ACM on Programming Languages. 2 (2018) OOPSLA - p. 1-27 , 2018

Link: https://doi.org/10.1145/..

11

Bounding data races in space and time:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Dolan, Stephen ; Sivaramakrishnan, KC ; Madhavapeddy, Anil - p. 242-255 , 2018

Link: https://dl.acm.org/doi/1..

12

Bounding data races in space and time:

Dolan, Stephen ; Sivaramakrishnan, KC ; Madhavapeddy, Anil
ACM SIGPLAN Notices. 53 (2018) 4 - p. 242-255 , 2018

Link: https://doi.org/10.1145/..

13

Declarative programming over eventually consistent data sto..:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Sivaramakrishnan, KC ; Kaki, Gowtham ; Jagannathan, Suresh - p. 413-424 , 2015

Link: https://dl.acm.org/doi/1..

14

Declarative programming over eventually consistent data sto..:

Sivaramakrishnan, KC ; Kaki, Gowtham ; Jagannathan, Suresh
ACM SIGPLAN Notices. 50 (2015) 6 - p. 413-424 , 2015

Link: https://doi.org/10.1145/..

15

Eliminating read barriers through procrastination and clean..:

Sivaramakrishnan, KC ; Ziarek, Lukasz ; Jagannathan, Suresh
ACM SIGPLAN Notices. 47 (2012) 11 - p. 49-60 , 2012

Link: https://doi.org/10.1145/..