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 | 215 | 2023 |
Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan, G Kaki, S Jagannathan 36th ACM SIGPLAN Conf. on Programming Language Design and Implementation …, 2015 | 131 | 2015 |
Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015 | 74 | 2015 |
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 | 72 | 2018 |
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017 | 61 | 2017 |
Eff directly in OCaml O Kiselyov, KC Sivaramakrishnan arXiv preprint arXiv:1812.11664, 2018 | 58 | 2018 |
Bounding data races in space and time S Dolan, KC Sivaramakrishnan, A Madhavapeddy ACM SIGPLAN Notices 53 (4), 242-255, 2018 | 56 | 2018 |
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 | 48 | 2021 |
MultiMLton: A multicore-aware runtime for standard ML KC Sivaramakrishnan, L Ziarek, S Jagannathan Journal of Functional Programming 24 (6), 613-674, 2014 | 46 | 2014 |
Mergeable replicated data types G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 43 | 2019 |
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 | 41 | 2018 |
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 | 33 | 2020 |
Composable asynchronous events L Ziarek, KC Sivaramakrishnan, S Jagannathan Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 31 | 2011 |
Efficient session type guided distributed interaction KC Sivaramakrishnan, K Nagaraj, L Ziarek, P Eugster Coordination Models and Languages: 12th International Conference …, 2010 | 31 | 2010 |
Partial memoization of concurrency and communication L Ziarek, KC Sivaramakrishnan, S Jagannathan ACM SIGPLAN Notices 44 (9), 161-172, 2009 | 25 | 2009 |
Eliminating Read Barriers through Procrastination and Cleanliness KC Sivaramakrishnan, L Ziarek, S Jagannathan International Symposium on Memory Management, 2012 | 21 | 2012 |
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 | 19 | 2010 |
Compiling Links effect handlers to the OCaml backend D Hillerström, S Lindley, K Sivaramakrishnan ML Workshop 116, 2016 | 11 | 2016 |
Composable scheduler activations for Haskell KC Sivaramakrishnan, T Harris, S Marlow, SP Jones Journal of Functional Programming 26, e9, 2016 | 11 | 2016 |
The design rationale for Multi-MLton S Jagannathan, A Navabi, KC Sivaramakrishnan, L Ziarek ML’10: Proceedings of the ACM SIGPLAN Workshop on ML 37, 2010 | 11 | 2010 |