Steve Zdancewic

Affiliations: 
University of Pennsylvania, Philadelphia, PA, United States 
Area:
Computer Science
Google:
"Steve Zdancewic"

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
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.

Frankle J, Osera PM, Walker D, et al. (2016) Example-directed synthesis: A type-theoretic interpretation Acm Sigplan Notices. 51: 802-815
Paykin J, Zdancewic S. (2016) Linear λμ is CP (more or less) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9600: 273-291
Nagarakatte S, Martin MMK, Zdancewic S. (2015) Everything you want to know about pointer-based checking Leibniz International Proceedings in Informatics, Lipics. 32: 190-208
Osera PM, Zdancewic S. (2015) Type-and-example-directed program synthesis Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2015: 619-630
Kang J, Hur CK, Mansky W, et al. (2015) A formal C memory model supporting integer-pointer casts Acm Sigplan Notices. 50: 326-335
Rand R, Zdancewic S. (2015) VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs Electronic Notes in Theoretical Computer Science. 319: 351-367
Mansky W, Garbuzov D, Zdancewic S. (2015) An axiomatic specification for sequential memory models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9207: 413-428
Backes M, Zdancewic S. (2014) Message from the Guest Editors Journal of Computer Security. 22: 659-660
Nagarakatte S, Martin MMK, Zdancewic S. (2014) Watchdoglite: Hardware-accelerated compiler-based pointer checking Proceedings of the 12th Acm/Ieee International Symposium On Code Generation and Optimization, Cgo 2014. 175-184
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
See more...