Zena M. Ariola

Registered user since Sun 27 Jun 2021

Name:Zena M. Ariola
Country:United States
Affiliation:University of Oregon

Contributions

ICFP 2022 Program Chair in Organizing Committee
Program Chair in Steering Committee
Committee Member in Selection Committee within the Tutorials-track
Author of Program Committee Chair Report within the ICFP Papers and Events-track
Program Chair in Program Committee within the ICFP Papers and Events-track
PLDI 2022 Author of (ICFP 2020) Kinds Are Calling Conventions within the SIGPLAN Track-track
PLMW 2022 Invited Speaker in Invited speakers within the PLMW 2022-track
Author of Proving and Programming within the PLMW 2022-track
PEPM 2022 Co-chair in Program Committee within the PEPM 2022-track
Author of Welcome & Announcement within the PEPM 2022-track
Committee Member in Organizing Committee within the PEPM 2022-track
PEPM 2021 Author of Strictly Capturing Non-Strict Closures within the PEPM 2021-track
Committee Member in Program Committee within the PEPM 2021-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
University of Oregon, USA in Steering Committee
ICFP 2020 Author of Kinds are Calling Conventions within the ICFP Program-track
Haskell 2019 Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track
ESOP 2019 Author of Codata in Action within the ESOP 2019-track
ML 2018 Committee Member in Program Committee within the ML 2018-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
HOPE 2016 Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track
PLDI 2017 Author of Compiling without continuations within the PLDI Research Papers-track
ICFP 2016 Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track