☰

Steve Zdancewic, Ph.D.

Affiliations: 
University of Pennsylvania, Philadelphia, PA, United States 
Area:
Computer Science
Website:
https://www.cis.upenn.edu/~stevez/
Google:
"Steve Zdancewic"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Andrew C Myers grad student Penn (E-Tree)

Children

Sign in to add trainee
Jeffrey A. Vaughan grad student 2009 Penn
Karl Mazurak grad student 2013 Penn
Jianzhou Zhao grad student 2013 Penn
Robert Rand grad student 2012-2018 Penn
Yishuai Li grad student 2022 Penn
Li-yao Xia grad student 2022 Penn
Lucas Silver grad student 2019-2023 Penn
Irene Yoon grad student 2019-2023 Penn
William Mansky post-doc 2015-2016 Penn
Yannick Zakowski post-doc 2018-2020 Penn
Lucas Silver post-doc 2023 Penn

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Rand R, Paykin J, Lee D, et al. (2019) ReQWIRE: Reasoning about Reversible Quantum Circuits Arxiv: Logic in Computer Science. 287: 299-312
Appel AW, Beringer L, Chlipala A, et al. (2017) Position paper: the science of deep specification. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 375
Rand R, Zdancewic S. (2015) VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs Electronic Notes in Theoretical Computer Science. 319: 351-367
Brunel A, Gaboardi M, Mazza D, et al. (2014) A core quantitative coeffect calculus Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8410: 351-370
Nagarakatte S, Martin MMK, Zdancewic S. (2013) Hardware-enforced comprehensive memory safety Ieee Micro. 33: 38-47
Zdancewic S. (2013) A Type System for Robust Declassification Electronic Notes in Theoretical Computer Science. 83: 263-277
Zhao J, Nagarakatte S, Martin MMK, et al. (2012) Formalizing the LLVM intermediate representation for verified program transformations Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 427-439
Zhao J, Zdancewic S. (2012) Mechanized verification of computing dominators for formalizing compilers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7679: 27-42
Mazurak K, Zdancewic S. (2010) Lolliproc: To concurrency from classical linear logic via Curry-Howard and control Acm Sigplan Notices. 45: 39-50
Mazurak K, Zhao J, Zdancewic S. (2010) Lightweight linear types in system F° Tldi'10 - Proceedings of the 2010 Acm Sigplan Workshop On Types in Language Design and Implementation. 77-88
See more...