Lukasz Ziarek (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan: Partial memoization of concurrency and communication. ICFP 2009: 161-172

4 Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan: A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154

3 Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan: Flattening tuples in an SSA intermediate representation. Higher-Order and Symbolic Computation 21(3): 333-358 (2008)

2 Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Modular Checkpointing for Atomicity. Electr. Notes Theor. Comput. Sci. 174(9): 85-115 (2007)

1 Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147

Selection of 5 from 6 records - Lukasz Ziarek has 10 coauthors

6		Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan: Partial memoization of concurrency and communication. ICFP 2009: 161-172
4		Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan: A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154
3		Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan: Flattening tuples in an SSA intermediate representation. Higher-Order and Symbolic Computation 21(3): 333-358 (2008)
2		Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Modular Checkpointing for Atomicity. Electr. Notes Theor. Comput. Sci. 174(9): 85-115 (2007)
1		Lukasz Ziarek, Philip Schatz, Suresh Jagannathan: Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147