Steve Zdancewic's Job-Application Materials
CV: (PDF) or (Postscript)
Research Statement:(PDF) or (Postscript)
Teaching Statement:(PDF) or (Postscript)
Application
Selected Publications:
Untrusted Hosts and Confidentiality: Secure Program Partitioning
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers
Operating Systems Review, Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01) volume 35(5). pages 1-14. Chateau Lake Louise, Banff, Canada. October 2001
(pdf)Secure Information Flow and CPS
Steve Zdancewic and Andrew C. Myers
Proceedings of the 10th European Symposium on Programming (ESOP'01), volume 2028 of Lecture Notes in Computer Science, pages 46-61. Springer-Verlag, April 2001.
(pdf)Principals in Programming Languages: A Syntactic Proof Technique
Steve Zdancewic, Dan Grossman, Greg Morrisett
In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming
Paris, France, September 1999.
(pdf)
Last updated: 01/03/02