Daniel Hillerström

Senior Researcher at the Huawei Zurich Research Center, Switzerland.
Honorary Fellow at The University of Edinburgh, Scotland, United Kingdom.
Contact me at enable JavaScript to reveal this information.
For corporate enquiries use enable JavaScript to reveal this information.

Research interests

My research interests revolve around effect handler oriented programming, a novel programming paradigm centred around effect handlers, which empowers programmers to build modular and scalable interactive software, enabling the development of safe, secure, reliable, and robust applications. My work focuses mostly on the foundations for effect handler oriented programming.

I work with Sam Lindley, Andreas Rossberg, Luna Phipps-Costin, and others on the WasmFX project, which brings effect handlers to WebAssembly as a structured mechanism for stack switching. WasmFX is the basis of the official stack switching proposal for WebAssembly. We have a prototype implementation of the instruction set available in the production-grade off-the-web engine wasmtime.
John Longley and I investigate the expressive power of effect handlers and how they fit into the landscape of programming abstractions. We are working on semantic characterisations of first-class control operators to unveil and better understand their mathematical content.
With Wenhao Tang, I study frontend matters for programming with effect handlers such as the design of type-and-effect systems. Recently, we have developed the notion of control-flow linearity, a novel way of combining linear resources with unrestricted first-class control (i.e. multi-shot continuations) in a safe manner.

My research programme aims to push effect handlers into systems, and in particular systems programming languages, to provide a principled means for controlling the effectful nature of systems. A particular interest of mine is applications of effect handlers in operating systems as many concepts in this space have elegant and modular formulations in terms of effect handlers.

Publications

Papers

- Modal Effect Types
- - Wenhao Tang
  - Leo White
  - Stephen Dolan
  - Daniel Hillerström
  - Sam Lindley
  - Anton Lorenzen
- Draft, July 2024
  - arxiv
- Asymptotic Speedup with Effect Handlers
- - Daniel Hillerström
  - Sam Lindley
  - John Longley
- In JFP (ICFP'20 special issue) 34:e5
  - doi
  - artifact
- Soundly Handling Linearity
- - Wenhao Tang
  - Daniel Hillerström
  - Sam Lindley
  - J. Garrett Morris
- In POPL'24
  - doi
  - arxiv
  - artifact
  - blogpost
  - Distinguished Paper
- Continuing WebAssembly with Effect Handlers
- - Luna Phipps-Costin
  - Andreas Rossberg
  - Arjun Guha
  - Daan Leijen
  - Daniel Hillerström
  - KC Sivaramakrishnan
  - Matija Pretnar
  - Sam Lindley
- In OOPSLA'23
  - doi
  - arxiv
  - artifact
- Structural Subtyping as Parametric Polymorphism
- - Wenhao Tang
  - Daniel Hillerström
  - James McKinna
  - Michel Steuwer
  - Ornela Dardha
  - Rongxiao Fu
  - Sam Lindley
- In OOPSLA'23
  - doi
  - arxiv
- Effect Handlers, Evidently
- - Ningning Xie
  - Jonathan Brachthäuser
  - Daniel Hillerström
  - Philipp Schuster
  - Daan Leijen
- In ICFP'20
  - doi
  - pdf
- Effects for Efficiency: Asymptotic Speedup with First-Class Control
- - Daniel Hillerström
  - Sam Lindley
  - John Longley
- In ICFP'20
  - doi
  - pdf
  - arxiv
  - artifact
- Effect Handlers via Generalised Continuations
- - Daniel Hillerström
  - Sam Lindley
  - Robert Atkey
- In JFP (special issue on algebraic effects and handlers) 30:e5
  - doi
  - pdf
- Shallow Effect Handlers
- - Daniel Hillerström
  - Sam Lindley
- In APLAS'18
  - doi
  - pdf
- Concurrent Systems Programming with Effect Handlers
- - Stephen Dolan
  - Spiros Eliopoulos
  - Daniel Hillerström
  - Anil Madhavapeddy
  - KC Sivaramakrishnan
  - Leo White
- In TFP'17
  - doi
  - pdf
- Continuation Passing Style for Effect Handlers
- - Daniel Hillerström
  - Sam Lindley
  - Robert Atkey
  - KC Sivaramakrishnan
- In FSCD'17
  - doi
  - pdf
- Liberating Effects with Rows and Handlers
- - Daniel Hillerström
  - Sam Lindley
- In TyDe@ICFP'16
  - doi
  - pdf

Dissertations

- Foundations for Programming and Implementing Effect Handlers
- - Daniel Hillerström
- PhD dissertation, School of Informatics, The University of Edinburgh, 2021
  - doi
  - pdf
- Compilation of Effect Handlers and their Applications in Concurrency
- - Daniel Hillerström
- MSc(R) dissertation, School of Informatics, The University of Edinburgh, 2016
  - pdf
  - Distinguished Dissertation
- Handlers for Algebraic Effects in Links
- - Daniel Hillerström
- MSc dissertation, School of Informatics, The University of Edinburgh, 2015
  - pdf
  - Distinguished Dissertation
- The Constructive Completeness of Intuitionistic Propositional Logic
- - Daniel Hillerström
  - Mathias Ruggaard Pedersen
- BSc dissertation, Department of Computer Science, Aalborg University, 2013
  - pdf (in Danish)

Extended abstracts

- Foundations for Programming and Implementing Effect Handlers (JFP PhD Abstract)
- - Daniel Hillerström
- JFP vol. 32:e7 2022
  - www
- Composing UNIX with Effect Handlers
- - Daniel Hillerström
- ML Family Workshop 2021
  - pdf
- Broken Links (Presentation)
- - Frank Emrich
  - Daniel Hillerström
- ProWeb Workshop 2020
  - pdf
- Handlers.Js (Presentation)
- - Daniel Hillerström
  - Sam Lindley
  - Robert Atkey
  - KC Sivaramakrishnan
  - Jeremy Yallop
- ProWeb Workshop 2018
  - pdf
- Effectively Tackling the Awkward Squad
- - Stephen Dolan
  - Spiros Eliopoulos
  - Daniel Hillerström
  - Anil Madhavapeddy
  - KC Sivaramakrishnan
  - Leo White
- ML Family Workshop 2017
  - pdf
- Compiling Links Effect Handlers to the OCaml Backend
- - Daniel Hillerström
  - Sam Lindley
  - KC Sivaramakrishnan
- ML Family Workshop 2016
  - pdf

Talks

- Effect Handlers All the Way Down
- - Global Software Technology Summit, Edinburgh, Scotland, UK, Jul 2024
  - - invited talk
    - slides
- Introduction to Effect Handler Oriented Programming
- - 3rd Workshop on Nanos, FunctionFlow, and HiCR, Shanghai, China, Jun 2024
  - - slides
    - code
  - Huawei Zurich Research Center, Switzerland, Jun 2023
  - - slides
    - code
- WasmFX: Structured Stack Switching via Effect Handlers in WebAssembly
- - WebAssembly Stacks Subgroup, virtual event, May 2024
  - - slides
    - code
    - code
    - code
  - WebAssembly Workshop (WAW@POPL), London, UK, Jan 2024
  - - invited talk
    - slides
    - video
    - code
    - code
    - code
  - Wasm Research Day, Munich, Germany, Oct 2023
  - - slides
    - video
    - code
    - code
    - code
  - Huawei Industry Standards Group, virtual event, Sep 2023
  - - slides
  - WebAssembly Community Group, virtual event, Aug 2023
  - - slides
  - EHOP Workshop, The Burn, Scotland, UK, Jul 2023
  - - slides
  - WebAssembly Stacks Subgroup, virtual event, Jul 2023
  - - slides
  - Huawei Zurich Research Center topic meeting, Switzerland, Apr 2023
  - - slides
  - Dagstuhl seminar 23101, Germany, Mar 2023
  - - slides
    - report
  - Huawei Edinburgh Joint Lab Workshop, The University of Edinburgh, Scotland, UK, Jan 2023
  - - slides
  - Wasm Research Day, San Francisco, California, USA, Oct 2022
  - - slides
    - code
    - code
  - SPLS, virtual event, Oct 2021
  - - slides
  - Wasm Stacks Subgroup, virtual event, Sep 2021
  - - slides
- Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
- - Elements of Programming Languages guest lecture, The University of Edinburgh, Scotland, UK, Nov 2022
  - - code
  - Programming Research Lab, Northeastern University, Boston, Massachusetts, USA, Nov 2022
  - - code
  - Huawei Zurich Research Center, Switzerland, Oct 2022
  - - code
  - Microsoft Research, Redmond, Washington, USA, May 2022
  - - slides
    - code
  - ML Family Workshop, virtual event, Seoul, South Korea, Aug 2021
  - - video
    - code
  - Dagstuhl seminar 21992, virtual event, Germany, Jul 2021
  - - code
    - report
  - PLUG, virtual event, University of Glasgow, Scotland, UK, Dec 2020
  - - code
    - code (annotated)
- Asymptotic Speedup with Effect Handlers
- - FATA seminar, University of Glasgow, Scotland, UK, Dec 2022
  - - slides
  - ICFP, virtual event, New Jersey, USA, Aug 2020
  - - video
  - Shonan seminar 146, Japan, Mar 2019
  - - slides
  - PLInG meeting, The University of Edinburgh, Scotland, UK, Jul 2018
  - - slides
- Effect Handlers, Evidently
- - Microsoft Research, Redmond, Washington, USA, Sep 2019
  - - slides
- Breaking Links
- - Shonan seminar 146, Japan, Mar 2019
  - - code
- Taking Back Control
- - Google, Aarhus, Denmark, Dec 2018
  - - slides
    - code
- Handlers.Js
- - Tarides, Paris, France, Nov 2022
  - - slides
  - Dagstuhl seminar 18172, Germany, Apr 2018
  - - report
  - ProWeb, Nice, France, Apr 2018
  - - slides
- Concurrent Programming with Effect Handlers
- - CUFP@ICFP, Oxford, England, UK, Sep 2017
  - - tutorial
    - website
- Continuation Passing Style for Effect Handlers
- - FSCD, Oxford, England, UK, Sep 2017
  - - slides
- An Abstract Machine Semantics for Handlers
- - SPLS, University of St Andrews, Scotland, UK, Mar 2017
  - - slides
- Compiling Links Effect Handlers to the OCaml Backend
- - ML Family Workshop, Nara, Japan, Sep 2017
  - - slides
    - video
- Liberating Effects with Rows and Handlers
- - TyDe@ICFP, Nara, Japan, Sep 2017
- Asynchronous Effect-based Input and Output
- - CDT Pervasive Parallelism student showcase, The University of Edinburgh, Scotland, UK, Jun 2017
  - - slides
- Runtime Agnostic Concurrency with Handlers
- - Pervasive Parallelism lunch talk, The University of Edinburgh, Scotland, UK, Oct 2016
  - - slides
- Programming with Algebraic Effects and Handlers
- - Critical Blue Ltd, Edinburgh, Scotland, UK, May 2016
  - - code
- Towards Compilation of Affine Algebraic Effect Handlers
- - Systems Research Group Meeting, University of Cambridge, England, UK, Apr 2016
  - - slides

Software

As a byproduct of my research I have developed or contributed to software projects, mainly programming language implementations.

- Dart Programming Language
  
  Dart is a Google led project. Dart is a production-grade application-oriented programming language providing a high-degree of portability across multiple platforms, e.g. web, mobile, and desktop.
  
  I was part of the Dart frontend team in 2018-2019, where I contributed to the design and implementation of the type checker and kernel compiler during the transition from the dynamically-typed Dart v1.0 to the statically-typed Dart v2.0.
- - www
  - github
- Koka Programming Language
  
  Koka is a research project led by Daan Leijen at Microsoft Research. Koka is a garbage-collector-free function-oriented programming language focused on providing an "abstraction without remorse" programming experience, as it were, through its sophisticated reuse analysis.
  
  I contributed to the development of Koka during 2019, when I was working with Daan Leijen on compilation of effect handlers to C via a novel the evidence passing translation.
- - www
  - github
- Links: Linking Theory to Practice for the Web
  
  Links is a functional programming language designed for multi-tier web programming, enabling web programs to be written in a single source language. It features language-integrated database-query support, a distributed-computing model model á la Erlang, session-typed communication, an effect system, and effect handlers. Links is actively used as a research vehicle at The University of Edinburgh and the University of Glasgow.
  
  I am a core contributor to Links. In particular, I designed and implemented the effect handlers extension.
- - www
  - github
- OCaml Programming Language
  
  OCaml is an INRIA led project. OCaml is an industrial-strength statically-typed functional programming language from the ML family, offering a powerful module system extending that of Standard ML and a feature-rich, class-based object system.
  
  I am a contributor to the design and implementation of OCaml. In particular, I helped design and implement features of the effect handlers extension in the Multicore OCaml project, which was upstreamed as part the release of OCaml 5. I also maintain the multicont package, which provides facilities for programming with multi-shot continuations in OCaml.
- - www
  - github
- Wasmtime: A Fast and Secure Runtime for WebAssembly
  
  Wasmtime is a Bytecode Alliance led project. Wasmtime is a production-grade, standards compliant, fast, and secure WebAssembly engine, which is built on the optimising Cranelift to quickly translate WebAssembly code into high-quality machine code.
  
  I primarily use Wasmtime as a vehicle for prototyping my research and proposals for WebAssembly, e.g. I maintain a fork of Wasmtime as a prototype implementation of the WasmFX instruction set.
  
  I am a Bytecode Alliance recognised contributor.
- - www
  - github
- WebAssembly Reference Interpreter
  
  The WebAssembly reference interpreter is an official reference implementation of the WebAssembly specification. I have contributed to the specification, design, and implementation of the function references, exception handling, and stack switching proposals.
- - www
  - github

Service

TOSEM'24
ACMSRC'24
MFPS'24 (external reviewer)
<Programming> vol. 8
ICFP'23 (external reviewer)
HOPE'23 (co-chair)
SRC@ICFP'23 (co-chair)
EHOP'23
HOPE'22 (co-chair)
SRC@ICFP'22 (co-chair)
AEC@ESOP'22
SPLS'22
Effect Handlers Benchmark suite (co-chair) 2021-22
APLAS'21 (external reviewer)
ProWeb'21
JFP'19 special issue
SPLS'19
AEC@ICFP'19
ICFP Programming Contest 2017