Publications
-
• MultiMLton: A Multicore-aware Runtime for Standard ML [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Journal of Functional Programming, 2014
-
• Rx-CML: A Prescription for Safely Relaxing Synchrony [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Practical Aspects of Declarative Languages, 2014
-
• Rx-CML: Migrating MultiMLton to the Cloud [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
ML Workshop, 2013
-
• A Coherent and Managed Runtime for ML on the SCC [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Many-core Applications Research Community Symposium, 2012
-
• Eliminating Read Barriers through Procrastination and Cleanliness [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
International Symposium On Memory Management, 2012
-
• Featherweight Threads for Communication [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Purdue Technical Report, TR-11-018, 2011
-
• Isolating Determinism in Multi-Threaded Programs [PDF]
Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
Runtime Verification, 2011
-
• Composable Asynchronous Events [PDF]
Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
Programming Language Design and Implementation, 2011
-
• The Design Rationale for Multi-MLton [PDF]
Suresh Jagannathan, Armand Navabi, KC Sivaramakrishnan, Lukasz Ziarek
ML Workshop, 2010
-
• Composable Asynchronous Events [PDF]
Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
Purdue Technical Report, TR-10-008, 2010
-
• Isolates: Serializability Enforcement for Concurred ML [PDF]
Lukasz Ziarek, Armand Navabi, Suresh Jagannathan
Purdue Technical Report, TR-10-007, 2010
-
• Path-Sensitive Analysis Using Edge Strings [PDF]
Armand Navabi, Nicholas Kidd, Suresh Jagannathan
Purdue Technical Report, TR-10-006, 2010
-
• Lightweight Asynchrony using Parasitic Threads [PDF]
KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, and Suresh Jagannathan
Workshop on Declarative Aspects of Multicore Programming, 2010
-
• Partial Memoization of Concurrency and Communication [PDF]
Lukasz Ziarek, KC Sivaramakrishnan, and Suresh Jagannathan
International Conference on Functional Programming, 2009
-
• Exceptionally Safe Futures [PDF]
Armand Navabi and Suresh Jagannathan
International Conference on Coordination Models and Languages, 2009
-
• Quasi-static scheduling for safe futures [PDF]
Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
Principles and Practice of Parallel Computing, 2008
-
• Memoizing Multi-Threaded Transactions [PDF]
Lukasz Ziarek and Suresh Jagannathan
Workshop on Declarative Aspects of Multicore Programming, 2008
-
• Modular Checkpointing for Atomicity [PDF]
Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
Electronic Notes in Theoretical Computer Science, Volume 174, Issue 9, 2007
-
• Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs [PDF]
Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
International Conference on Functional Programming, 2006
-
• Modular Checkpointing for Atomicity [PDF]
Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
Multithreading in Hardware and Software: Formal Approaches to Design and Verification, 2006
