Karl Mazurak Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karl Mazurak, Steve Zdancewic: Lolliproc: to concurrency from classical linear logic via curry-howard and control. ICFP 2010: 39-50
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Karl Mazurak, Jianzhou Zhao, Steve Zdancewic: Lightweight linear types in system fdegree. TLDI 2010: 77-88
2008
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic: Evidence-Based Audit. CSF 2008: 177-191
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 27-38

Coauthor Index

1Limin Jia
[c2] [c1]
2Joseph Schorr
[c1]
3Jeffrey A. Vaughan
[c2] [c1]
4Luke Zarko
[c1]
5Steve Zdancewic
[c4] [c3] [c2] [c1]
6Jianzhou Zhao
[c3] [c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 11:15:11 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page