Steve Zdancewic

Registered user since Tue 9 Jun 2015

Name:Steve Zdancewic
Country:United States
Affiliation:University of Pennsylvania
Research interests:Programming Languages, Type Theory, Logic

Contributions

CPP 2023 Committee Member in Steering Committee within the CPP 2023-track
PC Chair in Program Committee within the CPP 2023-track
PC Chair in Organizing Committee within the CPP 2023-track
CoqPL 2022 Author of Tealeaves: Categorical structures for syntax within the CoqPL-track
CPP 2022 Session Chair of Chairs' Report and Business Meeting (part of CPP 2022)
PC Chair in Program Committee within the CPP 2022-track
PC Chair in Organization Committee within the CPP 2022-track
Session Chair of Welcome from the chairs (part of CPP 2022)
Session Chair of Proof Infrastructure, Rewriting and Automated Reasoning (part of CPP 2022)
Session Chair of Invited Talk (part of CPP 2022)
PLMW @ ICFP 2021 Panelist of "I don't get it!" Panel within the PLMW @ ICFP 2021-track
SPLASH 2021 Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
POPL 2021 Author of Dijkstra Monads Forever within the POPL-track
ISSTA 2021 Author of Model-Based Testing of Networked Applications within the Artifact Evaluation-track
Author of Model-Based Testing of Networked Applications within the Technical Papers-track
SPLASH 2022 Author of C4: verified transactional objects within the OOPSLA-track
REMS-DeepSpec 2020 Committee Member in Program Committee within the REMS-DeepSpec 2020-track
ICFP 2021 Author of Modular, Compositional, and Executable Formal Semantics for LLVM IR within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ICFP 2020 Author of Computation Focusing within the ICFP Program-track
CPP 2020 Author of An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction within the CPP 2020-track
DeepSpec 2019 Session Chair of Interaction Trees and Algebraic Effects II (part of DeepSpec 2019)
Presenter of Interaction Trees: Representing Recursive and Impure Programs in Coq within the DeepSpec 2019-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
CoqPL 2019 Committee Member in Program Committee within the CoqPL-track
PLMW 2019 Organizer in Organizing Committee within the PLMW@POPL-track
CPP 2019 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
DeepSpec 2018 Committee Member in Organizing Committee within the DeepSpec 2018-track
Speaker of Vellvm - Modular Semantics via Interaction Trees within the DeepSpec 2018-track
SALAD 2018 Committee Member in Program Committee within the SALAD-track
ICFP 2019 Author of Synthesizing Symmetric Lenses within the Research Papers-track
PLMW 2018 Committee Member in Organizers within the PLMW-track
CoqPL 2018 Session Chair of PL Metatheory (part of )
Author of Phantom Types for Quantum Programs within the -track
ICFP 2018 Author of Synthesizing Quotient Lenses within the Research Papers-track
Haskell 2017 Author of The Linearity Monad within the Haskell 2017-track
PLDI 2018 Committee Member in External Program Committee
Committee Member in Distinguished Paper Committee
POPL 2018 Author of Synthesizing Bijective Lenses within the Research Papers-track
Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track
CPP 2017 Author of Verifying dynamic race detection within the CPP-track
Committee Member in Program Committee within the CPP-track
POPL 2017 Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017 Committee Member in External Program Committee
PPS 2016 Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track
CoqPL 2016 Committee Member in Program Committee within the CoqPL-track
POPL 2016 Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track
Session Chair of Invited Speaker Fri (part of Invited Speakers)
PLOOC 2015 Author of Making Proof Tutors out of Proof Assistants within the PLOOC 2015-track
PLDI 2015 Author of Type-and-Example-Directed Program Synthesis within the Research Papers-track
Author of A Formal C Memory Model Supporting Integer-Pointer Casts within the Research Papers-track
SPLASH 2014 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013 Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track
Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-track