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


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

PLDI 2018-profile
View general profile