Steve Zdancewic - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Registered user since Tue 9 Jun 2015

Name:Steve Zdancewic

Country:United States

Affiliation:University of Pennsylvania

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

Research interests:Programming Languages, Type Theory, Logic

Contributions

2024

ICFP

A Two-Phase Infinite/Finite Low-Level Memory Model
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction

Show activities from other conferences

ICFP 2024-profile
View general profile