|
|
Concurrency and Parallelism
-
Lukasz Ziarek, Siddharth Tiwary, and Suresh Jagannathan.
Isolating Determinism in Multi-Threaded Programs.
Runtime Verification
2011-
[pdf]
-
Lukasz Ziarek, KC Sivaramakrishnan, and Suresh Jagannathan.
Composable Asynchronous Events.
Programming Language Design and Implementation
2011-
[pdf]
-
Lukasz Ziarek and Suresh Jagannathan
Lightwieght Checkpointing for Concurrent ML
Journal of Functional Programming-
[pdf]
-
KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, and Suresh Jagannathan
Lightweight Asynchrony using Parasitic Threads
Workshop on Declarative Aspects of Multicore Programming
2010-
[pdf]
-
Suresh Jagannathan, Armand Navabi, KC Sivaramakrishnan, and Lukasz Ziarek
The Design Rationale for Multi-MLton
Workshop on ML2010-
[pdf]
-
Lukasz Ziarek, KC Sivaramakrishnan, and Suresh Jagannathan
Partial Memoization of Concurrency and Communication
International Conference on Functional Programming
2009-
[pdf]
-
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, and Umut A. Acar
Speculative N-Way Barriers
Workshop on Declarative Aspects of Multicore Programming
2009 -
[pdf]
-
Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, and Suresh Jagannathan
A Uniform Transactional Execution Environment for Java
European Conference on Object-Oriented Programming
2008 -
[pdf]
-
Lukasz Ziarek and Suresh Jagannathan
Memoizing Multi-Threaded Transactions
Workshop on Declarative Aspects of Multicore Programming
2008 -
[pdf]
-
Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
Modular Checkpointing for Atomicity
Electronic Notes in Theoretical Computer Science, Volume 174, Issue 9, 2007-
[pdf]
-
Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
International Conference on Functional Programming
2006 -
[pdf]
-
Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
Modular Checkpointing for Atomicity
Multithreading in Hardware and Software: Formal Approaches to Design and Verification
2006 -
[pdf]
Compilers
-
Lukasz Ziarek, Stephen Weeks, and Suresh Jagannathan
Flattening Tuples in an SSA Intermediate Representation
Higher Order and Symbolic Computation, Volume 23, Number 3, 2008-
[pdf]
Real-time and Embedded Systems
-
Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj and Jan Vitek
High-level Programming of Embedded Hard Real-Time Devices
EuroSys
2010-
[pdf]
-
Filip Pizlo, Lukasz Ziarek, Petr Maj, Anthony Hosking, Ethan Blanton, and Jan Vitek
Schism: Fragmentation-Tolerant Real-Time Garbage Collection
Programming Language Design and Implementation
2010-
[pdf]
-
Lukasz Ziarek
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper
International Workshop on Java Technologies for Real-Time and Embedded Systems
2010-
[pdf]
-
Filip Pizlo, Lukasz Ziarek, and Jan Vitek
Toward Java on Bare Metal with the Fiji VM
Java Technologies for Real-time and Embedded Systems
2009-
[pdf]
-
Filip Pizlo, Lukasz Ziarek, and Jan Vitek
fVM, a hard real-time Java implementation for cyber-physical systems
IEEE Real-Time and Embedded Technology and Applications Symposium
2009- abstract
[pdf] - poster
[pdf]
-
Filip Pizlo, Lukasz Ziarek, and Jan Vitek
Architecture-Independent Predictable Java for Multi-Core Platforms
National Workshop for Research on High-Confidence Transportation Cyber-Physical Systems: Automotive, Aviation & Rail
2008-
[pdf]
Distributed Systems
-
Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, and Patrick Eugster.
Putting Events in Context: Aspects for Event-based Distributed Programming.
International Conference on Aspect Oriented Software Development
2011-
[pdf]
-
KC Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, and Patrick Eugster.
Efficient Session Type Guided Distributed Interaction.
International Conference on Coordination Models and Languages
2010-
[pdf]
Ph.D. Thesis
Technical Reports
-
Lukasz Ziarek and Armand Navabi and Siddharth Tiwary and Suresh Jagannathan
Isolating Determinism in Multi-threaded Programs
Purdue Technical Report, 2010 - [pdf]
-
Lukasz Ziarek and Armand Navabi and Suresh Jagannathan
Isolates: Serializability Enforcement for Concurrent ML
Purdue Technical Report,TR-10-007, 2010 - [pdf]
-
Lukasz Ziarek and Suresh Jagannathan
Stabilizers
Purdue Technical Report TR-05-023, 2005 - [pdf]
-
Lukasz Ziarek and Suresh Jagannathan
Partial Memoization of Concurrency and Communication
Purdue Technical Report TR-07-019, 2007 - [pdf]
Auxiliary Material
|
