Articles with public access mandates - Steve ZdancewicLearn more
Available somewhere: 30
Sok: General purpose compilers for secure multi-party computation
M Hastings, B Hemenway, D Noble, S Zdancewic
2019 IEEE symposium on security and privacy (SP), 1220-1237, 2019
Mandates: US National Science Foundation, US Department of Defense
QWIRE: a core language for quantum circuits
J Paykin, R Rand, S Zdancewic
ACM SIGPLAN Notices 52 (1), 846-858, 2017
Mandates: US National Science Foundation, US Department of Defense
Interaction trees: representing recursive and impure programs in Coq
L Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S Zdancewic
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
Mandates: US National Science Foundation, US Department of Defense
Example-directed synthesis: a type-theoretic interpretation
J Frankle, PM Osera, D Walker, S Zdancewic
ACM Sigplan Notices 51 (1), 802-815, 2016
Mandates: US National Science Foundation
From C to interaction trees: specifying, verifying, and testing a networked server
N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ...
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
Mandates: US National Science Foundation
Position paper: the science of deep specification
AW Appel, L Beringer, A Chlipala, BC Pierce, Z Shao, S Weirich, ...
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
Mandates: US National Science Foundation
Synthesizing bijective lenses
A Miltner, K Fisher, BC Pierce, D Walker, S Zdancewic
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017
Mandates: US Department of Defense
Modular, compositional, and executable formal semantics for LLVM IR
Y Zakowski, C Beck, I Yoon, I Zaichuk, V Zaliva, S Zdancewic
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021
Mandates: US National Science Foundation, US Department of Defense
Synthesizing symmetric lenses
A Miltner, S Maina, K Fisher, BC Pierce, D Walker, S Zdancewic
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019
Mandates: US Department of Defense
Verifying an HTTP key-value server with interaction trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ...
The 12th Conference on Interactive Theorem Proving, 32, 2021
Mandates: US National Science Foundation, US Department of Defense
An equational theory for weak bisimulation via generalized parameterized coinduction
Y Zakowski, P He, CK Hur, S Zdancewic
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
Mandates: US National Science Foundation, US Department of Defense
C4: verified transactional objects
M Lesani, L Xia, A Kaseorg, CJ Bell, A Chlipala, BC Pierce, S Zdancewic
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-31, 2022
Mandates: US National Science Foundation
Synthesizing quotient lenses
S Maina, A Miltner, K Fisher, BC Pierce, D Walker, S Zdancewic
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-29, 2018
Mandates: US Department of Defense
The linearity monad
J Paykin, S Zdancewic
ACM SIGPLAN Notices 52 (10), 117-132, 2017
Mandates: US National Science Foundation
Interaction trees
L Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S Zdancewic
Proceedings of the ACM on Programming Languages 4, 2020
Mandates: US National Science Foundation, US Department of Defense
Dijkstra monads forever: termination-sensitive specifications for interaction trees
L Silver, S Zdancewic
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
Mandates: US National Science Foundation, US Department of Defense
Verifying dynamic race detection
W Mansky, Y Peng, S Zdancewic, J Devietti
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
Mandates: US National Science Foundation
Formal reasoning about layered monadic interpreters
I Yoon, Y Zakowski, S Zdancewic
Proceedings of the ACM on Programming Languages 6 (ICFP), 254-282, 2022
Mandates: US National Science Foundation, US Department of Defense
Model-based testing of networked applications
Y Li, BC Pierce, S Zdancewic
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
Mandates: US National Science Foundation
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
Mandates: US National Science Foundation, US Department of Defense, Research Grants …
Publication and funding information is determined automatically by a computer program