Steve Zdancewic - PLDI 2018

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

DeepSpec 2018	Committee Member in Organizing Committee within the DeepSpec 2018-track Vellvm - Modular Semantics via Interaction Trees
PLDI 2018	Committee Member in External Program Committee Committee Member in Distinguished Paper Committee
Show activities from other conferences