Zachary Eisbach -

Registered user since Mon 19 Aug 2024

Name:Zachary Eisbach

Country:United States

Affiliation:Northeastern University

Research interests:Semantics, logical relations, compilers, program logics

Contributions

2025

Scheme

Author of miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk) within the Scheme 2025-track

2024

SPLASH

Author of Realistic Realizability: Specifying ABIs You Can Count On within the OOPSLA 2024-track