Paul Downen -

Registered user since Mon 27 Jun 2016

Name:Paul Downen

Country:United States

Affiliation:University of Massachusetts Lowell

Personal website:https://pauldownen.com

Research interests:Programming Languages, Logic, Type Theory, Semantics, Compilation, Verification, Security

Contributions

ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
ICFP 2022	Author of Introduction and Elimination, Left and Right within the ICFP Papers and Events-track
PLDI 2022	Author of (ICFP 2020) Kinds Are Calling Conventions within the SIGPLAN Track-track
POPL 2022	Session Chair of Synthesis (part of POPL)
PLMW 2022	Session Chair of Morning 2 (part of PLMW 2022) Committee Member in Organizing Committee within the PLMW 2022-track Session Chair of Afternoon 2 (part of PLMW 2022)
PEPM 2021	Author of Strictly Capturing Non-Strict Closures within the PEPM 2021-track
ICFP 2020	Author of Kinds are Calling Conventions within the ICFP Program-track
HOPE 2020	Committee Member in Program Committee within the HOPE 2020-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
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
HOPE 2016	Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track