Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zena M. Ariola
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2021 profile
POPL 2022 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Sun 27 Jun 2021
Name:
Zena M. Ariola
Country:
United States
Affiliation:
University of Oregon
Contributions
2025
PEPM
Committee Member in Programme Committee within the PEPM 2025-track
2023
PPDP
Author of Closure Conversion in Little Pieces within the PPDP 2023-track
ICFP
ICFP'22 Program Chair in Steering Committee
2022
ICFP
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
Author of (ICFP 2020) Kinds Are Calling Conventions within the SIGPLAN Track-track
PLMW
Invited Speaker in Invited speakers within the PLMW 2022-track
Author of Proving and Programming within the PLMW 2022-track
PEPM
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
2021
ICFP
Committee Member in Program Committee within the Research Papers-track
University of Oregon, USA in Steering Committee
PEPM
Author of Strictly Capturing Non-Strict Closures within the PEPM 2021-track
Committee Member in Program Committee within the PEPM 2021-track
2020
ICFP
Author of Kinds are Calling Conventions within the ICFP Program-track
2019
Haskell
Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track
ESOP
Author of Codata in Action within the ESOP 2019-track
2018
ICFP
Committee Member in External Review Committee within the Research Papers-track
ML
Committee Member in Program Committee within the ML 2018-track
TyDe
Committee Member in Program Committee within the TyDe 2018-track
2017
PLDI
Author of Compiling without continuations within the PLDI Research Papers-track
2016
ICFP
Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track
HOPE
Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track
PEPM
Committee Member in Program Committee within the PEPM-track
Share
x
Thu 21 Nov 12:01
