Joseph Schorr

Publication Activity (10 Years)

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

Publications

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)