Steve Zdancewic
University of Pennsylvania
H-index: 51
North America-United States
Top articles of Steve Zdancewic
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Optimal Program Synthesis via Abstract Interpretation | Proceedings of the ACM on Programming Languages | Stephen Mell Steve Zdancewic Osbert Bastani | 2024/1/5 |
A Two-Phase Infinite/Finite Low-Level Memory Model | arXiv preprint arXiv:2404.16143 | Calvin Beck Irene Yoon Hanxi Chen Yannick Zakowski Steve Zdancewic | 2024/4/24 |
Choice trees: Representing nondeterministic, recursive, and impure programs in coq | Proceedings of the ACM on Programming Languages | Nicolas Chappe Paul He Ludovic Henrio Yannick Zakowski Steve Zdancewic | 2023/1/9 |
Syntax Monads for the Working Formal Metatheorist | arXiv preprint arXiv:2312.08897 | Lawrence Dunn Val Tannen Steve Zdancewic | 2023/12/14 |
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure | Lawrence Dunn Val Tannen Steve Zdancewic | 2023 | |
Synthesizing trajectory queries from examples | Stephen Mell Favyen Bastani Steve Zdancewic Osbert Bastani | 2023/7/17 | |
Semantics for Noninterference with Interaction Trees (Artifact) | Lucas Silver Paul He Ethan Cecchetti Andrew K Hirsch Steve Zdancewic | 2023 | |
A Bowtie for a Beast | NICK RIOUX XUEJING HUANG BRUNO CDS OLIVEIRA STEVE ZDANCEWIC | 2023 | |
Ideograph: A Language for Expressing and Manipulating Structured Data | arXiv preprint arXiv:2303.15784 | Stephen Mell Osbert Bastani Steve Zdancewic | 2023/3/28 |
A Bowtie for a Beast (Technical Appendix) | NICK RIOUX XUEJING HUANG BRUNO CDS OLIVEIRA STEVE ZDANCEWIC | 2023 | |
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ | Proceedings of the ACM on Programming Languages | Nick Rioux Xuejing Huang Bruno C d S Oliveira Steve Zdancewic | 2023/1/9 |
Formal reasoning about layered monadic interpreters | Proceedings of the ACM on Programming Languages | Irene Yoon Yannick Zakowski Steve Zdancewic | 2022/8/29 |
C4: verified transactional objects | Proceedings of the ACM on Programming Languages | Mohsen Lesani Li-yao Xia Anders Kaseorg Christian J Bell Adam Chlipala | 2022/4/29 |
Counterfactual explanations for natural language interfaces | arXiv preprint arXiv:2204.13192 | George Tolkachev Stephen Mell Steve Zdancewic Osbert Bastani | 2022/4/27 |
Modular, compositional, and executable formal semantics for LLVM IR | Proceedings of the ACM on Programming Languages | Yannick Zakowski Calvin Beck Irene Yoon Ilia Zaichuk Vadim Zaliva | 2021/8/18 |
Model-based testing of networked applications | Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis | Yishuai Li Benjamin C Pierce Steve Zdancewic | 2021/7/11 |
Verifying an HTTP key-value server with interaction trees and VST | 12th International Conference on Interactive Theorem Proving (ITP 2021) | Hengchu Zhang Wolf Honoré Nicolas Koh Yao Li Yishuai Li | 2021/6/21 |
Dijkstra monads forever: termination-sensitive specifications for interaction trees | Proceedings of the ACM on Programming Languages | Lucas Silver Steve Zdancewic | 2021/1/4 |
Synthesizing video trajectory queries | Stephen Mell Favyen Bastani Stephan Zdancewic Osbert Bastani | 2021/10/22 | |
A type system for extracting functional specifications from memory-safe imperative programs | Proceedings of the ACM on Programming Languages | Paul He Eddy Westbrook Brent Carmer Chris Phifer Valentin Robert | 2021/10/15 |