Zenna Tavares -

Registered user since Sun 17 Jan 2021

Name:Zenna Tavares

Country:United States

Affiliation:Basis; Columbia University

Personal website: http://zenna.org

X (Twitter): https://x.com/ZennaTavares

Contributions

2023

POPL

Author of Combining Functional and Automata Synthesis to Discover Causal Reactive Programs within the POPL-track

2022

LAFI

Committee Member in Program Committee within the LAFI-track

2021

HOPE

Author of Dynamic Scope + Laziness = Counterfactuals within the HOPE 2021-track

LAFI

Author of Parametric Inversion of Non-Invertible Programs within the LAFI 2021-track