Lukasz Ziarek 721 E. North st. Apt 1C Indianapolis, IN 46202 (773) 991 2521 lziarek AT cs DOT purdue DOT edu

Conference and Workshop Publications

• Lukasz Ziarek, Phil Schatz, and Suresh Jagannathan
  Modular Checkpointing for Atomicity
  Multithreading in Hardware and Software: Formal Approaches to Design and Verification 2006 - [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 and Suresh Jagannathan
  Memoizing Multi-Threaded Transactions
  Workshop on Declarative Aspects of Multicore Programming 2008 - [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, Suresh Jagannathan, Matthew Fluet, and Umut A. Acar
  Speculative N-Way Barriers
  Workshop on Declarative Aspects of Multicore Programming 2009 - [pdf]
• Lukasz Ziarek, KC Sivaramakrishnan, and Suresh Jagannathan
  Partial Memoization of Concurrency and Communication
  International Conference on Functional Programming 2009 - [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]
• KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, and Suresh Jagannathan
  Lightweight Asynchrony using Parasitic Threads
  Workshop on Declarative Aspects of Multicore Programming 2010- [pdf]
• Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Peta Maj and Jan Vitek
  High-level Programming of Embedded Hard Real-Time Devices
  EuroSys 2010-[to appear]

Journal Publications

• 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, Stephen Weeks, and Suresh Jagannathan
  Flattening Tuples in an SSA Intermediate Representation
  Higher Order and Symbolic Computation, Volume 23, Number 3, 2008 - [pdf]
  
• Lukasz Ziarek and Suresh Jagannathan
  Lightwieght Checkpointing for Concurrent ML
  Journal of Functional Programming - [to appear]
  

Committees

Java Technologies for Real-time and Embedded Systems 2010 [JTRES]
1st International Workshop on Real-time Object Oriented Technologies 2010 [ROOTS]

Position Papers and Posters

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

Talks

• ICFP 2006- [ppt]
  
• DAMP 2008- [ppt]
  
• ECOOP 2008- [ppt]
  
• DAMP 2009- [ppt]
  
• Preliminary Examination 2009- [ppt]
  

Supplemental Material

• Memoization Proofs- [pdf]
  

Awards

• Graduate Assistance in Areas of National Need Fellowship 2004 - 2008
• Intel Fellowship 2008 - 2009
• Halstead Award for Oustanding Research in Software Engineering, 2009.

Technical Reports

• Lukasz Ziarek and Armand Navabi and Suresh Jagannathan
  Isolates: Serializability Enforcement for Concurrent ML
  Purdue Technical Report 2009 - [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]