Daan Leijen

Registered user since Thu 1 Sep 2016

Name:Daan Leijen
Bio:

I am a member of the Research In Software Engineering (RISE) group and chair of the Programming Languages working group (PLX). Currently, I am interested in the design and application of strong type systems and declarative programming languages, like Haskell. In particular, I am interested in programming with Effect inference in the Koka project. Furthermore, I work on domain specific embedded languages, language design, and compiler technology.

Country:United States
Affiliation:Microsoft Research
Research interests:Programming Language Design, Type Systems, Effect Typing

Contributions

ICFP 2023 Diversity Chair in Steering Committee
Diversity Committee Chair in Organizing Committee
POPL 2023 Author of Tail Recursion Modulo Context: An Equational Approach within the POPL-track
PLMW @ ICFP 2022 Panelist of Formal Methods: Theory and Practice within the PLMW @ ICFP 2022-track
SPLASH 2022 Author of First-class Names for Effect Handlers within the OOPSLA-track
ICFP 2022 Author of Reference Counting with Frame Limited Reuse within the ICFP Papers and Events-track
ML 2022 Author of What About the Integer Numbers? within the ML-track
ICFP 2021 Presenter of Programming with Effect Handlers and FBIP in Koka within the Tutorials-track
Author of Generalized Evidence Passing for Effect Handlers within the Research Papers-track
Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
HOPE 2021 Author of First-class Names for Effect Handlers within the HOPE 2021-track
HIW 2021 Committee Member in Program Committee within the HIW 2021-track
Session Chair of Tools (part of HIW 2021)
PLDI 2021 Author of Perceus: Garbage Free Reference Counting with Reuse within the PLDI-track
ICFP 2020 Author of Effect Handlers, Evidently within the ICFP Program-track
Haskell 2020 Author of Effect Handlers in Haskell, Evidently within the Haskell 2020-track
HOPE 2020 Committee Member in Program Committee within the HOPE 2020-track
ML 2020 Committee Member in Program Committee within the ML 2020-track
APLAS 2019 Author of Mimalloc: Free List Sharding in Action within the Research Papers-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
DeepSpec 2019 Presenter of Typed Programming with Algebraic Effects (in terms of ambient values, functions, and control) within the DeepSpec 2019-track
HOPE 2018 Author of Taming Control Flow through Linear Effect Handlers within the HOPE 2018-track
TyDe 2018 Author of First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers within the TyDe 2018-track
Session Chair of Applications and Monoids (part of TyDe 2018)
Committee Member in Program Committee within the TyDe 2018-track
DLS 2017 Author of Semantics of Asynchronous JavaScript within the DLS 2017-track
TyDe 2017 Author of Structured asynchrony with algebraic effects within the TyDe 2017-track
HOPE 2017 Author of Programming a Web Server with Algebraic Effects within the HOPE 2017-track
POPL 2017 Author of Type Directed Compilation of Row-Typed Algebraic Effects within the POPL-track
HOPE 2016 Author of Type Directed Compilation of Row-typed Algebraic Effects within the HOPE-track
ML 2016 Committee Member in Steering Committee within the ML-track
PADL Author of From Monads to Effects and Back within the PADL-track
ECOOP 2015 Author of Global Sequence Protocol: A Robust Abstraction for Replicated Shared State within the Research Track-track
SPLASH 2011 Author of Two for the Price of One: A Model for Parallel and Incremental Computation within the OOPSLA-track