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