Zenna Tavares -

Registered user since Sun 17 Jan 2021

Name:Zenna Tavares

Country:United States

Affiliation:Basis; Columbia University

Personal website:http://zenna.org

Twitter:https://twitter.com/ZennaTavares

Contributions

POPL 2023	Author of Combining Functional and Automata Synthesis to Discover Causal Reactive Programs within the POPL-track
LAFI 2022	Committee Member in Program Committee within the LAFI-track
HOPE 2021	Author of Dynamic Scope + Laziness = Counterfactuals within the HOPE 2021-track
LAFI 2021	Author of Parametric Inversion of Non-Invertible Programs within the LAFI 2021-track