Richard A. Eisenberg

Registered user since Wed 20 Jan 2016

Name:Richard A. Eisenberg
Bio:

Software Engineer at Jane Street. I believe that clever application of theory can eliminate a great deal of programmer errors – specifically, I think fancy types and functional programming are the future. I completed my PhD in 2016 at University of Pennsylvania working under Stephanie Weirich; my dissertation topic was the integration of dependent types into the Haskell programming language. I am a core contributor to the Glasgow Haskell Compiler (GHC) and Chair of the Board of Directors at the Haskell Foundation. My current work at Jane Street centers around further development of the OCaml language and compiler.

Country:United States
Affiliation:Jane Street
Personal website:https://richarde.dev/
Research interests:Functional Programming Languages, Dependent Types

Contributions

Haskell 2022 Session Chair of Keynote I (part of Haskell 2022)
Author of Eiger: Auditable, executable, flexible legal regulations within the Haskell 2022-track
ML 2022 Author of Unboxed types for OCaml within the ML-track
POPL 2023 Committee Member in Program Committee within the POPL-track
ICFP 2022 Author of Linearly Qualified Types: Generic inference for capabilities and uniqueness within the ICFP Papers and Events-track
PLDI 2022 Author of (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the SIGPLAN Track-track
Author of (ICFP 2020) Kinds Are Calling Conventions within the SIGPLAN Track-track
WITS 2022 Chair of Invisible arguments: language design (discussion) within the WITS 2022-track
Organizer in Program Committee within the WITS 2022-track
Session Chair of Session 5 (part of WITS 2022)
Session Chair of Session 2 (part of WITS 2022)
Session Chair of Session 3 (part of WITS 2022)
Chair of Type-aware equational rewriting (discussion) within the WITS 2022-track
Session Chair of Session 4 (part of WITS 2022)
Session Chair of Session 1 (part of WITS 2022)
HIW 2021 Author of Adventures in GHC compile times within the HIW 2021-track
Author of Generalization is hard, but somebody's got to do it within the HIW 2021-track
ML 2021 Committee Member in Program Committee within the ML 2021-track
Haskell 2021 Author of Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly within the Haskell 2021-track
POPL 2022 Author of Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the POPL-track
Haskell 2020 Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track
Author of Stitch: The Sound Type-Indexed Type Checker (Functional Pearl) within the Haskell 2020-track
POPL 2021 Author of A Graded Dependent Type System with a Usage-Aware Semantics within the POPL-track
ICFP 2021 Author of An Existential Crisis Resolved: Type Inference for First-Class Existential Types within the Research Papers-track
ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Session Chair of New York 5 (part of ICFP Program)
Session Chair of Asia 5 (part of ICFP Program)
Author of Kinds are Calling Conventions within the ICFP Program-track
Haskell 2019 Session Chair of Keynote (part of Haskell 2019)
Chair in Program Committee within the Haskell 2019-track
PC Chair of PC Chair Report within the Haskell 2019-track
POPL 2020 Author of Partial Type Constructors: Or, Making Ad Hoc Datatypes Less Ad Hoc within the Research Papers-track
Author of Kind Inference for Datatypes within the Research Papers-track
HIW 2018 Author of Coercion Quantification within the HIW 2018-track
Haskell 2018 Author of Type Variables in Patterns within the Haskell 2018-track
Author of The Thoralf Plugin: For Your Fancy Type Needs within the Haskell 2018-track
TyDe 2018 Co-chair in Program Committee within the TyDe 2018-track
Committee Member in Organizing Committee within the TyDe 2018-track
Session Chair of Types (part of TyDe 2018)
Co-chair of Welcome! within the TyDe 2018-track
ICFP 2019 Author of A Role for Dependent Types in Haskell within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
Session Chair of Types (part of Research Papers)
Off the Beaten Track 2018 Author of Explaining Type Errors within the Off the Beaten Track 2018-track
ICFP 2018 Committee Member in Distinguished Papers Committee within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
TyDe Co-chair in Organizing Committee
HIW 2017 Session Chair of State of GHC (part of HIW 2017)
Chair in Program Committee within the HIW 2017-track
PLMW 2017 Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track
ICFP 2017 Author of Constrained Type Families within the Research Papers-track
Author of A Specification for Dependent Types in Haskell within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Haskell 2016 Session Chair of Strictness and STM (part of Haskell)
Author of Pattern Synonyms within the Haskell-track
Committee Member in Program Committee within the Haskell-track
HIW 2016 Author of A Dependent Haskell Triptych within the HIW-track
TyDe 2016 Committee Member in Program Committee within the TyDe-track
PLDI 2017 Author of Levity Polymorphism within the PLDI Research Papers-track
SPLASH 2013 Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track