Author: "Steve Zdancewic" / Journal: popl - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Steve Zdancewic"' showing total 5 results

Start Over Author "Steve Zdancewic" Journal popl

5 results on '"Steve Zdancewic"'

1. QWIRE: a core language for quantum circuits.

Author: Jennifer Paykin, Robert Rand 0001, and Steve Zdancewic
Published: 2017
Full Text: View/download PDF

2. Example-directed synthesis: a type-theoretic interpretation.

Author: Jonathan Frankle, Peter-Michael Osera, David Walker 0001, and Steve Zdancewic
Published: 2016
Full Text: View/download PDF

3. Formalizing the LLVM intermediate representation for verified program transformations.

Author: Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, and Steve Zdancewic
Published: 2012
Full Text: View/download PDF

4. Generative type abstraction and type-level computation.

Author: Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, and Steve Zdancewic
Published: 2011
Full Text: View/download PDF

5. Downgrading policies and relaxed noninterference.

Author: Peng Li and Steve Zdancewic
Published: 2005
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results