Home


Research


Teaching


Talks

Concurrency and Parallelism

  • KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan.
    MultiMLton: A Multicore-Aware Runtime for Standard ML.
    Journal of Functional Programming 2014 - [pdf]

  • KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan.
    Rx-CML: A Prescription for Safely Relaxing Synchrony.
    Practical Aspects of Declarative Languages 2014- [pdf]

  • KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan.
    A Coherent and Managed Runtime for ML on the SCC.
    Many-core Applications Research Community Symposium 2012- [pdf]

  • KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan.
    Eliminating Read Barriers Through Procrastination and Cleanliness.
    International Symposium on Memory Management 2012- [pdf]

  • 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

  • Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Prasad, Eric Lehner, Steve Ko, and Lukasz Ziarek.
    Information Flows as a Permission Mechanism.
    International Conference on Automated Software Engineering 2014- [pdf]

  • Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek
    Flow Permissions for Android..
    International Conference on Automated Software Engineering 2013- [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]

  • 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

  • Yin Yan, Shaun Cosgrove, Ethan Blanton, Steve Ko, Lukasz Ziarek
    Real-Time Sensing on Android.
    International Workshop on Java Technologies for Real-Time and Embedded Systems 2014- [pdf]

  • Yin Yan, Shaun Gerard Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek
    Real-Time Android with RTDroid.
    International Conference on Mobile Systems, Applications, and Services. 2014- [pdf]

  • Yin Yan, Sree Harsha, Amit Kulkarni, Varun Anand, Steve Ko, and Lukasz Ziarek
    RTDroid: A Design for Real-Time Android.
    International Workshop on Java Technologies for Real-Time and Embedded Systems 2013- [pdf]

  • Ethan Blanton and Lukasz Ziarek
    Non-Blocking Inter-Partition Communication with Wait-Free Pair Transactions.
    International Workshop on Java Technologies for Real-Time and Embedded Systems 2013- [pdf]

  • Ethan Blanton, Demian Lessa, Lukasz Ziarek, and Bharat Jayaraman
    Ji.Fi: visual test and debug queries for hard real-time.
    Concurrency and Computation: Practice and Experience. 2013- [pdf]

  • Ethan Blanton, Demian Lessa, Lukasz Ziarek, and Bharat Jayaraman
    Ji.Fi: visual test and debug queries for hard real-time.
    International Workshop on Java Technologies for Real-Time and Embedded Systems 2012- [pdf]

  • 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
    International Workshop on 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.
    Abstracting Context in Event-based Software.
    Special Issue for Transactions on Aspect-Oriented Software Development: Modularity in Systems Software.

  • KC Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, and Patrick Eugster.
    Efficient Sessions.
    Science of Computer Programming, Volume 78 Issue 2, 2013.

  • 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]

Books

  • Lukasz Ziarek, Leah Hoffmann, Christoph Hoffmann
    Computing for the Sciences Using Python, Part 1
    Amazon Digital Services Inc., 2012 - [e-book]

  • Leah Hoffmann, Christoph Hoffmann, Lukasz Ziarek
    Computing for the Sciences Using Python, Part 2
    Amazon Digital Services Inc., 2012 - [e-book]

Ph.D. Thesis

  • Lukasz Ziarek
    Abstractions for Robust Higher-Order Message-Based Communication
    Purdue University, 2011 - [pdf]

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]

Email: lziarek AT buffalo DOT edu | Curriculum Vitae (short) (long)

338E Davis Hall | Buffalo, NY, 142600-2500 | USA | +1.716.645.1596