Registered user since Tue 9 Jun 2015

Name: Steve Zdancewic

Bio: I study programming languages and computer security. I have wide-ranging interests, and some of my most recent work touches on: Coq verification of LLVM program transformations and randomized algorithms, type-directed program synthesis, linear types and GUI programming. I have also spent a lot of time thinking about language-based enforcement of information-flow policies, low-level code memory safety, understanding dynamic security policies, and authorization logic. I am also interested in secure concurrent and distributed computing, functional programming languages, type theory, linear and modal logics, theorem proving and mechanized metatheory.

Country: United States

Affiliation: University of Pennsylvania

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

Research interests: Programming Languages, Type Theory, Logic

POPL 2016 Activities

• Committee Member in Program Committee for CoqPL
• Author of Models for Probabilistic Programs with an Adversary within the PPS 2016-track in PPS 2016
• Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track in POPL 2016
• Session Chair of Invited Speaker Fri (part of POPL 2016 Invited Speakers)
• Show activities from other conferences