BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Cyprus
1 × Sweden
1 × United Kingdom
4 × USA
Collaborated with:
S.Jagannathan K.C.Sivaramakrishnan F.Shen S.Y.Ko P.Schatz M.Viering T.Chen P.Eugster R.Hu F.Pizlo P.Maj A.L.Hosking E.Blanton J.Vitek A.Welc A.Adl-Tabatabai V.Menon T.Shpeisman J.D.Vecchio K.M.Yee B.Wang S.Holavanalli D.Manuel V.Nanjundaswamy B.Rosenberg N.Vishnubhotla C.Todarka M.Arora B.Dhandapani E.J.Lehner
Talks about:
permiss (2) concurr (2) android (2) flow (2) procrastin (1) checkpoint (1) synchroni (1) prescript (1) distribut (1) disciplin (1)

Person: Lukasz Ziarek

DBLP DBLP: Ziarek:Lukasz

Contributed to:

ASE 20142014
PADL 20142014
ASE 20132013
ISMM 20122012
PLDI 20112011
PLDI 20102010
ICFP 20092009
ECOOP 20082008
ICFP 20062006
ASE 20152015
ESOP 20182018

Wrote 11 papers:

ASE-2014-ShenVTADLKZ #data flow
Information flows as a permission mechanism (FS, NV, CT, MA, BD, EJL, SYK, LZ), pp. 515–526.
PADL-2014-SivaramakrishnanZJ #named
RCML: A Prescription for Safely Relaxing Synchrony (KCS, LZ, SJ), pp. 1–16.
ASE-2013-HolavanalliMNRSKZ #android
Flow Permissions for Android (SH, DM, VN, BR, FS, SYK, LZ), pp. 652–657.
Eliminating read barriers through procrastination and cleanliness (KCS, LZ, SJ), pp. 49–60.
PLDI-2011-ZiarekSJ #composition
Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.
PLDI-2010-PizloZMHBV #garbage collection #named #realtime
Schism: fragmentation-tolerant real-time garbage collection (FP, LZ, PM, ALH, EB, JV), pp. 146–159.
ICFP-2009-ZiarekSJ #communication #concurrent
Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.
ECOOP-2008-ZiarekWAMSJ #execution #java #transaction
A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
ICFP-2006-ZiarekSJ #abstraction #composition #concurrent #functional #named #source code
Stabilizers: a modular checkpointing abstraction for concurrent functional programs (LZ, PS, SJ), pp. 136–147.
ASE-2015-VecchioSYWKZ #analysis #android #string
String Analysis of Android Applications (N) (JDV, FS, KMY, BW, SYK, LZ), pp. 680–685.
ESOP-2018-VieringCEHZ #distributed #type system
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (MV, TCC, PE, RH, LZ), pp. 799–826.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.