Follow
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
Title
Cited by
Year
12th International Conference on Interactive Theorem Proving (ITP 2021)
MO Myreen, N Polikarpova, A Popescu, T Bauereiss, P Lammich, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021
2021
18th IEEE Computer Security Foundations Workshop CSFW 18
P Li, S Zdancewic
A Bowtie for a Beast
N RIOUX, X HUANG, BCDS OLIVEIRA, S ZDANCEWIC
2023
A Bowtie for a Beast (Technical Appendix)
N RIOUX, X HUANG, BCDS OLIVEIRA, S ZDANCEWIC
2023
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
N Rioux, X Huang, BCS Oliveira, S Zdancewic
Proceedings of the ACM on Programming Languages 7 (POPL), 515-543, 2023
72023
A core quantitative coeffect calculus
A Brunel, M Gaboardi, D Mazza, S Zdancewic
European Symposium on Programming Languages and Systems, 351-370, 2014
1292014
A cryptographic decentralized label model
JA Vaughan, S Zdancewic
2007 IEEE Symposium on Security and Privacy (SP'07), 192-206, 2007
472007
A design for a security-typed language with certificate-based declassification
S Tse, S Zdancewic
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
492005
A formal C memory model supporting integer-pointer casts
J Kang, CK Hur, W Mansky, D Garbuzov, S Zdancewic, V Vafeiadis
ACM SIGPLAN Notices 50 (6), 326-335, 2015
702015
A formal equational theory for call-by-push-value
C Rizkallah, D Garbuzov, S Zdancewic
International Conference on Interactive Theorem Proving, 523-541, 2018
52018
A HoTT Quantum Equational Theory
J Paykin, S Zdancewic
2019
A HoTT Quantum Equational Theory (Extended Version)
J Paykin, S Zdancewic
arXiv preprint arXiv:1904.04371, 2019
42019
A language-based approach to unifying events and threads
P Li, S Zdancewic
CIS Department University of Pennsylvania April, 2006
132006
A linear/producer/consumer model of classical linear logic
J Paykin, S Zdancewic
arXiv preprint arXiv:1502.04770, 2015
102015
A theory of aspects
D Walker, S Zdancewic, J Ligatti
ACM SIGPLAN Notices 38 (9), 127-139, 2003
1742003
A Two-Phase Infinite/Finite Low-Level Memory Model
C Beck, I Yoon, H Chen, Y Zakowski, S Zdancewic
arXiv preprint arXiv:2404.16143, 2024
22024
A type system for extracting functional specifications from memory-safe imperative programs
P He, E Westbrook, B Carmer, C Phifer, V Robert, K Smeltzer, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
72021
A type system for robust declassification
S Zdancewic
Electronic Notes in Theoretical Computer Science 83, 263-277, 2003
612003
A type-theoretic interpretation of pointcuts and advice
J Ligatti, D Walker, S Zdancewic
Science of computer programming 63 (3), 240-266, 2006
372006
ABASH finding bugs in bash scripts
K Mazurak, S Zdancewic
Proceedings of the 2007 workshop on Programming languages and analysis for …, 2007
352007
The system can't perform the operation now. Try again later.
Articles 1–20