KC Sivaramakrishnan

Cited by

	All	Since 2019
Citations	1164	744
h-index	17	13
i10-index	22	14

160

120

2010201120122013201420152016201720182019202020212022202320244 12 33 25 47 33 93 72 88 119 158 115 138 111 102

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
Anil MadhavapeddyProfessor of Planetary Computing, University of CambridgeVerified email at cl.cam.ac.uk
Lukasz ZiarekUniversity at BuffaloVerified email at buffalo.edu
Gowtham KakiUniversity of Colorado BoulderVerified email at colorado.edu
Leo WhiteJane StreetVerified email at lpw25.net
Daniel HillerströmSenior researcher, Huawei Zurich Research CenterVerified email at ed.ac.uk
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Jérôme VouillonCNRS, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
Didier RémyINRIAVerified email at inria.fr
Damien DoligezChargé de recherches, InriaVerified email at inria.fr
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Jacques GarrigueProfessor, Graduate School of Mathematics, Nagoya UniversityVerified email at math.nagoya-u.ac.jp
Sadiq JafferBernstein Planetary Computing Fellow, Cambridge UniversityVerified email at cam.ac.uk
Tom KellyIndependentVerified email at cl.cam.ac.uk
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
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
Swarn PriyaVirginia TechVerified email at vt.edu

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
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	218	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	132	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	77	2018
Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015	74	2015
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	66	2021
Bounding data races in space and time S Dolan, KC Sivaramakrishnan, A Madhavapeddy ACM SIGPLAN Notices 53 (4), 242-255, 2018	61	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
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	44	2019
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	41	2020
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
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
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	13	2023
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 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