Photograph of Daniel Hillerströ

Daniel Hillerström

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.

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
    • Asymptotic Speedup with Effect Handlers
      • Daniel Hillerström
      • Sam Lindley
      • John Longley
    • In JFP (ICFP'20 special issue) 34:e5
    • Soundly Handling Linearity
      • Wenhao Tang
      • Daniel Hillerström
      • Sam Lindley
      • J. Garrett Morris
    • In POPL'24
      • 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
    • Structural Subtyping as Parametric Polymorphism
      • Wenhao Tang
      • Daniel Hillerström
      • James McKinna
      • Michel Steuwer
      • Ornela Dardha
      • Rongxiao Fu
      • Sam Lindley
    • In OOPSLA'23
    • Effect Handlers, Evidently
      • Ningning Xie
      • Jonathan Brachthäuser
      • Daniel Hillerström
      • Philipp Schuster
      • Daan Leijen
    • In ICFP'20
    • Effects for Efficiency: Asymptotic Speedup with First-Class Control
      • Daniel Hillerström
      • Sam Lindley
      • John Longley
    • In ICFP'20
    • Effect Handlers via Generalised Continuations
      • Daniel Hillerström
      • Sam Lindley
      • Robert Atkey
    • In JFP (special issue on algebraic effects and handlers) 30:e5
    • Shallow Effect Handlers
      • Daniel Hillerström
      • Sam Lindley
    • In APLAS'18
    • Concurrent Systems Programming with Effect Handlers
      • Stephen Dolan
      • Spiros Eliopoulos
      • Daniel Hillerström
      • Anil Madhavapeddy
      • KC Sivaramakrishnan
      • Leo White
    • In TFP'17
    • Continuation Passing Style for Effect Handlers
      • Daniel Hillerström
      • Sam Lindley
      • Robert Atkey
      • KC Sivaramakrishnan
    • In FSCD'17
    • Liberating Effects with Rows and Handlers
      • Daniel Hillerström
      • Sam Lindley
    • In TyDe@ICFP'16

Dissertations

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

Extended abstracts

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

Talks


    • Introduction to Effect Handler Oriented Programming
      • 3rd Workshop on Nanos, FunctionFlow, and HiCR, Shanghai, China, Jun 2024
      • Huawei Zurich Research Center, Switzerland, Jun 2023
    • 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
      • Programming Research Lab, Northeastern University, Boston, Massachusetts, USA, Nov 2022
      • Huawei Zurich Research Center, Switzerland, Oct 2022
      • Microsoft Research, Redmond, Washington, USA, May 2022
      • ML Family Workshop, virtual event, Seoul, South Korea, Aug 2021
    • Asymptotic Speedup with Effect Handlers
      • FATA seminar, University of Glasgow, Scotland, UK, Dec 2022
      • ICFP, virtual event, New Jersey, USA, Aug 2020
      • PLInG meeting, The University of Edinburgh, Scotland, UK, Jul 2018
    • Effect Handlers, Evidently
      • Microsoft Research, Redmond, Washington, USA, Sep 2019
    • Taking Back Control
    • Concurrent Programming with Effect Handlers
    • Continuation Passing Style for Effect Handlers
    • An Abstract Machine Semantics for Handlers
      • SPLS, University of St Andrews, Scotland, UK, Mar 2017
    • Compiling Links Effect Handlers to the OCaml Backend
      • ML Family Workshop, Nara, Japan, Sep 2017
    • Asynchronous Effect-based Input and Output
      • CDT Pervasive Parallelism student showcase, The University of Edinburgh, Scotland, UK, Jun 2017
    • Runtime Agnostic Concurrency with Handlers
      • Pervasive Parallelism lunch talk, The University of Edinburgh, Scotland, UK, Oct 2016
    • Programming with Algebraic Effects and Handlers
      • Critical Blue Ltd, Edinburgh, Scotland, UK, May 2016
    • Towards Compilation of Affine Algebraic Effect Handlers
      • Systems Research Group Meeting, University of Cambridge, England, UK, Apr 2016

Software


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

Service