Steve Zdancewic - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

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 2019	From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
CoqPL 2019	Committee Member in Program Committee within the CoqPL-track
PLMW 2019	Organizer in Organizing Committee within the PLMW@POPL-track
Show activities from other conferences