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

Personal website:https://www.microsoft.com/en-us/research/people/daan/

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