KC Sivaramakrishnan

Cited by

	All	Since 2018
Citations	861	630
h-index	16	12
i10-index	20	12

140

105

201020112012201320142015201620172018201920202021202220234 12 21 14 22 17 71 54 74 101 138 99 125 90

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Lukasz ZiarekUniversity at BuffaloVerified email at buffalo.edu
Anil MadhavapeddyProfessor of Planetary Computing, University of CambridgeVerified email at cl.cam.ac.uk
Gowtham KakiUniversity of Colorado BoulderVerified email at colorado.edu
Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerified email at ed.ac.uk
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Tom KellyIndependentVerified email at cl.cam.ac.uk
Robert AtkeyUniversity of StrathclydeVerified email at strath.ac.uk
Karthik Swaminathan NagarajSoftware Engineer, GoogleVerified email at google.com
Patrick EugsterProf. Università della Svizzera italiana (USI), Adjunct Prof. Purdue UniversityVerified email at usi.ch
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Swarn PriyaInriaVerified email at inria.fr
Thomas GazagnaireTaridesVerified email at gazagnaire.org
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Tim HarrisMicrosoftVerified email at microsoft.com
Simon MarlowFacebookVerified email at fb.com
Kartik NagarAssistant Professor at Department of CSE, IIT MadrasVerified email at cse.iitm.ac.in
Adharsh KamathMicrosoft ResearchVerified email at microsoft.com
Daniel WaddingtonIBM Research, AlmadenVerified email at ibm.com

KC Sivaramakrishnan

Tarides / IIT Madras

Verified email at iitm.ac.in - Homepage

Functional Programming Concurrency Garbage Collection Distributed Databases


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	75	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
Eff directly in OCaml O Kiselyov, KC Sivaramakrishnan arXiv preprint arXiv:1812.11664, 2018	59	2018
Continuation passing style for effect handlers D Hillerström, S Lindley, R Atkey, KC Sivaramakrishnan Dagstuhl Publishing, 2017	56	2017
Bounding data races in space and time S Dolan, KC Sivaramakrishnan, A Madhavapeddy ACM SIGPLAN Notices 53 (4), 242-255, 2018	51	2018
MultiMLton: A multicore-aware runtime for standard ML KC Sivaramakrishnan, L Ziarek, S Jagannathan Journal of Functional Programming 24 (6), 613-674, 2014	45	2014
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	43	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	42	2021
Mergeable replicated data types G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019	40	2019
Efficient session type guided distributed interaction KC Sivaramakrishnan, K Nagaraj, L Ziarek, P Eugster Coordination Models and Languages: 12th International Conference …, 2010	31	2010
Composable asynchronous events L Ziarek, KC Sivaramakrishnan, S Jagannathan Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011	30	2011
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	25	2020
Partial memoization of concurrency and communication L Ziarek, KC Sivaramakrishnan, S Jagannathan ACM SIGPLAN Notices 44 (9), 161-172, 2009	24	2009
Eliminating Read Barriers through Procrastination and Cleanliness KC Sivaramakrishnan, L Ziarek, S Jagannathan International Symposium on Memory Management, 2012	20	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
Efficient sessions KC Sivaramakrishnan, M Qudeisat, L Ziarek, K Nagaraj, P Eugster Science of Computer Programming 78 (2), 147-167, 2013	10	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors