ICFP 2021
Sun 22 - Sat 28 August 2021
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


ICFP 2021 Modular, Compositional, and Executable Formal Semantics for LLVM IR
Committee Member in Program Committee within the Research Papers-track
PLMW @ ICFP 2021 "I don't get it!" Panel
Show activities from other conferences

ICFP 2021-profile
View general profile