Karl Mazurak

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Karl Mazurak, Steve Zdancewic
Lolliproc: to concurrency from classical linear logic via curry-howard and control. ICFP (2010)
Karl Mazurak, Jianzhou Zhao, Steve Zdancewic
Lightweight linear types in system fdegree. TLDI (2010)
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic
AURA: a programming language for authorization and audit. ICFP (2008)
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic
Evidence-Based Audit. CSF (2008)