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 2022 PC Chair in Program Committee within the CPP 2022-track
PC Chair in Organization Committee within the CPP 2022-track
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
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