Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Steve Zdancewic

Position Paper: The Science of Deep Specification

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences

English

Synthesizing Symmetric Lenses

Proceedings of the ACM on Programming Languages

English

QWIRE: A Core Language for Quantum Circuits

English

Dependent Interoperability

English

Ironclad C++

English

Preserving Secrecy Under Refinement

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English