KC Sivaramakrishnan
KC Sivaramakrishnan
Assistant Professor, IIT Madras
Email verificata su iitm.ac.in - Home page
Titolo
Citata da
Citata da
Anno
Declarative Programming over Eventually Consistent Data Stores
KC Sivaramakrishnan, G Kaki, S Jagannathan
36th ACM SIGPLAN Conf. on Programming Language Design and Implementationá…, 2015
812015
Effective concurrency through algebraic effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Workshop, 13, 2015
612015
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
372017
Eff directly in OCaml
O Kiselyov, KC Sivaramakrishnan
arXiv preprint arXiv:1812.11664, 2018
322018
MultiMLton: A multicore-aware runtime for standard ML
KC Sivaramakrishnan, L Ziarek, S Jagannathan
Journal of Functional Programming 24 (6), 613, 2014
322014
Continuation passing style for effect handlers
D Hillerstr÷m, S Lindley, R Atkey, KC Sivaramakrishnan
Dagstuhl Publishing, 2017
302017
Efficient session type guided distributed interaction
KC Sivaramakrishnan, K Nagaraj, L Ziarek, P Eugster
International Conference on Coordination Languages and Models, 152-167, 2010
302010
Bounding data races in space and time
S Dolan, KC Sivaramakrishnan, A Madhavapeddy
ACM SIGPLAN Notices 53 (4), 242-255, 2018
23*2018
Composable asynchronous events
L Ziarek, KC Sivaramakrishnan, S Jagannathan
Proceedings of the 32nd ACM SIGPLAN conference on Programming languageá…, 2011
212011
Partial memoization of concurrency and communication
L Ziarek, KC Sivaramakrishnan, S Jagannathan
ACM SIGPLAN Notices 44 (9), 161-172, 2009
212009
Eliminating Read Barriers through Procrastination and Cleanliness
KC Sivaramakrishnan, L Ziarek, S Jagannathan
International Symposium on Memory Management, 2012
182012
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
152010
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
132018
Composable scheduler activations for Haskell
KC Sivaramakrishnan, T Harris, S Marlow, SP Jones
Journal of Functional Programming 26, 2016
102016
Efficient sessions
KC Sivaramakrishnan, M Qudeisat, L Ziarek, K Nagaraj, P Eugster
Science of Computer Programming 78 (2), 147-167, 2013
102013
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
102010
Compiling Links effect handlers to the OCaml backend
D Hillerstr÷m, S Lindley, K Sivaramakrishnan
ML Workshop 116, 2016
82016
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
72012
Scalable lightweight task management for mimd processor
DG Waddington, C Tian, KC Sivaramakrishnan
Systems for Future Multicore Architectures, EuroSys workshop, 1-6, 2011
62011
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
52019
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20