Följ
KC Sivaramakrishnan
KC Sivaramakrishnan
IIT Madras / Tarides
Verifierad e-postadress på iitm.ac.in - Startsida
Titel
Citeras av
Citeras av
År
The OCaml system release 5.1: Documentation and user's manual
X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, KC Sivaramakrishnan, ...
Inria, 2023
2272023
Declarative Programming over Eventually Consistent Data Stores
KC Sivaramakrishnan, G Kaki, S Jagannathan
36th ACM SIGPLAN Conf. on Programming Language Design and Implementation …, 2015
1372015
Concurrent system programming with effect handlers
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
Trends in Functional Programming: 18th International Symposium, TFP 2017 …, 2018
792018
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, S Dolan, L White, T Kelly, S Jaffer, ...
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
752021
Effective concurrency through algebraic effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Workshop 13, 2015
742015
Continuation passing style for effect handlers
D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
662017
Bounding data races in space and time
S Dolan, KC Sivaramakrishnan, A Madhavapeddy
ACM SIGPLAN Notices 53 (4), 242-255, 2018
632018
Eff directly in OCaml
O Kiselyov, KC Sivaramakrishnan
arXiv preprint arXiv:1812.11664, 2018
582018
MultiMLton: A multicore-aware runtime for standard ML
KC Sivaramakrishnan, L Ziarek, S Jagannathan
Journal of Functional Programming 24 (6), 613-674, 2014
482014
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
472019
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan, S Dolan, L White, S Jaffer, T Kelly, A Sahoo, ...
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
462020
Safe replication through bounded concurrency verification
G Kaki, K Earanky, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
422018
Composable asynchronous events
L Ziarek, KC Sivaramakrishnan, S Jagannathan
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
322011
Efficient session type guided distributed interaction
KC Sivaramakrishnan, K Nagaraj, L Ziarek, P Eugster
Coordination Models and Languages: 12th International Conference …, 2010
312010
Partial memoization of concurrency and communication
L Ziarek, KC Sivaramakrishnan, S Jagannathan
ACM SIGPLAN Notices 44 (9), 161-172, 2009
252009
Eliminating Read Barriers through Procrastination and Cleanliness
KC Sivaramakrishnan, L Ziarek, S Jagannathan
International Symposium on Memory Management, 2012
212012
Lightweight asynchrony using parasitic threads
KC Sivaramakrishnan, L Ziarek, R Prasad, S Jagannathan
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of …, 2010
192010
Continuing WebAssembly with Effect Handlers
L Phipps-Costin, A Rossberg, A Guha, D Leijen, D Hillerström, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 460-485, 2023
162023
Compiling Links effect handlers to the OCaml backend
D Hillerström, S Lindley, K Sivaramakrishnan
ML Workshop 116, 2016
112016
Composable scheduler activations for Haskell
KC Sivaramakrishnan, T Harris, S Marlow, SP Jones
Journal of Functional Programming 26, e9, 2016
112016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20