OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Stephan Zdancewic
Full Professor, CIS, , University of Pennsylvania
Joined
June 2019
Names
Stephan Zdancewic
,
Steve Zdancewic
Emails
****@cis.upenn.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Career & Education History
Full Professor
CIS,
, University of Pennsylvania
(cis.upenn.edu)
2014
–
Present
Associate Professor
CIS,
, University of Pennsylvania
(cis.upenn.edu)
2009
–
2014
Assistant Professor
CIS,
, University of Pennsylvania
(cis.upenn.edu)
2002
–
2008
Advisors, Relations & Conflicts
PhD Advisor
Andrew Myers
Present
Family
Stephanie Weirich
Present
Expertise
REU SUPP-Res Exp for Ugrd Supp
Present
Publications
A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
Stephen Mell
,
Botong Zhang
,
David Mell
,
Shuo Li
,
Ramya Ramalingam
,
Nathan Yu
,
Stephan Zdancewic
,
Osbert Bastani
Submitted to ICLR 2026
Readers:
Everyone
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models
Stephen Mell
,
Steve Zdancewic
,
Osbert Bastani
CoRR 2024
Readers:
Everyone
A Two-Phase Infinite/Finite Low-Level Memory Model
Calvin Beck
,
Irene Yoon
,
Hanxi Chen
,
Yannick Zakowski
,
Steve Zdancewic
CoRR 2024
Readers:
Everyone
Optimal Program Synthesis via Abstract Interpretation
Stephen Mell
,
Steve Zdancewic
,
Osbert Bastani
Proc. ACM Program. Lang. 2024
Readers:
Everyone
Structural temporal logic for mechanized program verification
Eleftherios Ioannidis
,
Yannick Zakowski
,
Steve Zdancewic
,
Sebastian Angel
CoRR 2024
Readers:
Everyone
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer-Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
Calvin Beck
,
Irene Yoon
,
Hanxi Chen
,
Yannick Zakowski
,
Steve Zdancewic
Proc. ACM Program. Lang. 2024
Readers:
Everyone
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure
Lawrence Dunn
,
Val Tannen
,
Steve Zdancewic
ITP 2023
Readers:
Everyone
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
Nicolas Chappe
,
Paul He
,
Ludovic Henrio
,
Yannick Zakowski
,
Steve Zdancewic
Proc. ACM Program. Lang. 2023
Readers:
Everyone
Semantics for Noninterference with Interaction Trees (Artifact)
Lucas Silver
,
Paul He
,
Ethan Cecchetti
,
Andrew K. Hirsch
,
Steve Zdancewic
Dagstuhl Artifacts Ser. 2023
Readers:
Everyone
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
Nick Rioux
,
Xuejing Huang
,
Bruno C. d. S. Oliveira
,
Steve Zdancewic
Proc. ACM Program. Lang. 2023
Readers:
Everyone
View all 116 publications
Co-Authors
Aaron Bohannon
Aaron Tomb
Adam Chlipala
Adam Wick
Aloïs Brunel
Anders Kaseorg
Anders Miltner
Andrei Sabelfeld
Andrei Stefanescu
Andrew C. Myers
Andrew K. Hirsch
Benjamin C. Pierce
Benoît Valiron
Botong Zhang
Brent Carmer
Brett Hemenway
Brian E. Aydemir
Bruno C. d. S. Oliveira
Calvin Beck
Carl A. Gunter
Chris Phifer
Christian DeLozier
Christian J. Bell
Christine Rizkallah
Chung-Kil Hur
View all 129 co-authors