• Sign in
  • Sign up
conf.researchr.org / Zenna Tavares
  • ICFP 2021 profile
  • POPL 2021 profile
  • POPL 2022 profile
  • POPL 2023 profile
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

Share
xThu 1 Jun 07:17
using conf.researchr.org (v1.60.0)
Support page
Sign Up