Steve Zdancewic

Registered user since Tue 9 Jun 2015

Name: Steve Zdancewic

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~stevez

Research interests: Programming Languages, Type Theory, Logic

Contributions

CoqPL 2019Committee Member in Program Committee within the CoqPL-track
PLMW 2019Organizer in Organizing Committee within the PLMW@POPL-track
CPP 2019Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
DeepSpec 2018Committee Member in Organizing Committee within the DeepSpec 2018-track
Speaker of Vellvm - Modular Semantics via Interaction Trees within the DeepSpec 2018-track
SALAD 2018Committee Member in Program Committee within the SALAD-track
PLMW 2018Committee Member in Organizers within the PLMW-track
CoqPL 2018Session Chair of PL Metatheory (part of )
Author of Phantom Types for Quantum Programs within the -track
ICFP 2018Author of Synthesizing Quotient Lenses within the Research Papers-track
Haskell 2017Author of The Linearity Monad within the Haskell 2017-track
PLDI 2018Committee Member in External Program Committee
Committee Member in Distinguished Paper Committee
POPL 2018Author of Synthesizing Bijective Lenses within the Research Papers-track
Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track
CPP 2017Author of Verifying dynamic race detection within the CPP-track
Committee Member in Program Committee within the CPP-track
POPL 2017Author of QWIRE: A Core Language for Quantum Circuits within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017Committee Member in External Program Committee
PPS 2016Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track
CoqPLCommittee Member in Program Committee within the CoqPL-track
POPL 2016Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track
Session Chair of Invited Speaker Fri (part of Invited Speakers)
PLOOC 2015Author of Making Proof Tutors out of Proof Assistants within the PLOOC 2015-track
PLDI 2015Author 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 2014Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013Author 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