• Sign in
  • Sign up
conf.researchr.org / Paul Downen
  • ETAPS 2019 profile
  • ICFP 2016 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • PLDI 2022 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2021 profile
  • POPL 2022 profile
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

Share
xSun 29 Jan 23:49
using conf.researchr.org (v1.58.0)
Support page
Sign Up