| Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan, G Kaki, S Jagannathan 36th ACM SIGPLAN Conf. on Programming Language Design and Implementation …, 2015 | 93 | 2015 |
| Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop, 13, 2015 | 63 | 2015 |
| Concurrent system programming with effect handlers S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ... International Symposium on Trends in Functional Programming, 98-117, 2017 | 46 | 2017 |
| Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017 | 35 | 2017 |
| Eff directly in OCaml O Kiselyov, KC Sivaramakrishnan arXiv preprint arXiv:1812.11664, 2018 | 34 | 2018 |
| MultiMLton: A multicore-aware runtime for standard ML KC Sivaramakrishnan, L Ziarek, S Jagannathan Journal of Functional Programming 24 (6), 613, 2014 | 34 | 2014 |
| Efficient session type guided distributed interaction KC Sivaramakrishnan, K Nagaraj, L Ziarek, P Eugster International Conference on Coordination Languages and Models, 152-167, 2010 | 30 | 2010 |
| Bounding data races in space and time S Dolan, KC Sivaramakrishnan, A Madhavapeddy ACM SIGPLAN Notices 53 (4), 242-255, 2018 | 26* | 2018 |
| Composable asynchronous events L Ziarek, KC Sivaramakrishnan, S Jagannathan Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 24 | 2011 |
| Partial memoization of concurrency and communication L Ziarek, KC Sivaramakrishnan, S Jagannathan ACM SIGPLAN Notices 44 (9), 161-172, 2009 | 21 | 2009 |
| Eliminating Read Barriers through Procrastination and Cleanliness KC Sivaramakrishnan, L Ziarek, S Jagannathan International Symposium on Memory Management, 2012 | 18 | 2012 |
| 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 | 17 | 2018 |
| 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 | 17 | 2010 |
| Composable scheduler activations for Haskell KC Sivaramakrishnan, T Harris, S Marlow, SP Jones Journal of Functional Programming 26, 2016 | 10 | 2016 |
| Efficient sessions KC Sivaramakrishnan, M Qudeisat, L Ziarek, K Nagaraj, P Eugster Science of Computer Programming 78 (2), 147-167, 2013 | 10 | 2013 |
| 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 | 10 | 2010 |
| Compiling Links effect handlers to the OCaml backend D Hillerström, S Lindley, K Sivaramakrishnan ML Workshop 116, 2016 | 8 | 2016 |
| Mergeable replicated data types G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 7 | 2019 |
| A Coherent and Managed Runtime for ML on the SCC KC Sivaramakrishnan, L Ziarek, S Jagannathan Many-core Applications Research Community (MARC) Symposium at RWTH Aachen …, 2012 | 7 | 2012 |
| Scalable lightweight task management for mimd processor DG Waddington, C Tian, KC Sivaramakrishnan Systems for Future Multicore Architectures, EuroSys workshop, 1-6, 2011 | 7 | 2011 |
Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
