My research interests revolve around the design, implementation, and use of handlers for algebraic effects to model and control user-definable computational effects. I am exploring the design, implementation, and application spaces of handlers in the contexts of the Links programming language and Multicore OCaml — an experimental extension to the OCaml programming language which uses algebraic effects and handlers to compose concurrency.

I am a PhD student within the Laboratory for Foundations of Computer Science (LFCS) admitted through the Centre for Doctoral Training in Pervasive Parallelism. My supervisors are Sam Lindley (LFCS) and Christophe Dubach (ICSA).

Papers

• Shallow Effect Handlers

  Daniel Hillerström and Sam Lindley

  Draft, June 2018

• Concurrent System Programming with Effect Handlers

  Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White

  In TFP'17

• Continuation Passing Style for Effect Handlers

  Daniel Hillerström, Sam Lindley, Bob Atkey, and KC Sivaramakrishnan

  In FSCD'17

• Liberating Effects with Rows and Handlers

  Daniel Hillerström and Sam Lindley

  In TyDe@ICFP'16

Extended abstracts

• Handlers.Js (Presentation)

  Daniel Hillerström, Sam Lindley, Robert Atkey, KC Sivaramakrishnan, and 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, and KC Sivaramakrishnan

  ML Family Workshop 2016

Dissertations

• Compilation of Effect Handlers and their Applications in Concurrency

  Daniel Hillerström

  MSc(R) dissertation, School of Informatics, the University of Edinburgh, August 2016

• Handlers for Algebraic Effects in Links

  Daniel Hillerström

  MSc dissertation, School of Informatics, the University of Edinburgh, August 2015

• The Constructive Completeness of Intuitionistic Propositional Logic

  Daniel Hillerström and Mathias Ruggaard Pedersen

  BSc dissertation, Department of Computer Science, Aalborg University, June 2013

• Handlers.Js (2018.04.26)

  Presented at Dagstuhl seminar 18172, Germany

• Handlers.Js (2018.04.10)

  Presented at ProWeb, Nice, France

  Slides

• Blimey. JavaScript. (2018.02.14)

  Presented at Pervasive Parallelism Lunch, the University of Edinburgh.

• Concurrent Programming with Effect Handlers (2017.09.07)

  Presented at CUFP@ICFP'17, Oxford, United Kingdom

  Tutorial

• Continuation Passing Style for Effect Handlers (2017.09.05)

  Presented at FSCD'17, Oxford, United Kingdom

  Slides

• Asynchronous Effect-based Input & Output (2017.06.14)

  Presented at "CDT Pervasive Parallelism Student Showcase", the University of Edinburgh

• An Abstract Machine Semantics for Handlers (2017.03.22)

  Presented at "Scottish Programming Languages Seminar (SPLS)", University of St Andrews

  Slides

• Runtime Agnostic Concurrency with Handlers (2016.10.12)

  Presented at Pervasive Parallelism Lunch, the University of Edinburgh.

• Compiling Links Effects Handlers to the OCaml Backend (2016.09.22)

  Presented at ML Family Workshop, Nara, Japan.

  Slides   Video

• Liberating Effects with Rows and Handlers (2016.09.18)

  Presented at TyDe@ICFP'16, Nara, Japan.

  Code & slides (unannotated)   Code & slides (annotated)   Video

• Programming with Algebraic Effects and Handlers (2016.05.10)

  Presented at Critical Blue Ltd, Edinburgh

  Code & slides

• Towards Compilation of Affine Algebraic Effect Handlers (2016.04.26)

  Presented at the "Systems Research Group Meeting", Computer Laboratory at the University of Cambridge

  Slides

• Programming with effect handlers (2015.11.05)

  Presented at "Programming Language Interest Group (PLInG)", the University of Edinburgh

• Handlers for Algebraic Handlers in Links: Interpreting a Game of Nim (2015.08.05)

  Presented at "Practical Types", Summer school, University of St Andrews

• Tutor, Types and Semantics for Programming Languages (UG4)

  Autumn 2017

  School of Informatics, the University of Edinburgh

• Teaching Assistant, Compiler Optimisations (UG4)

  Spring 2017

  School of Informatics, the University of Edinburgh

• Teaching Assistant, Compiling Techniques (UG3)

  Autumn 2016

  School of Informatics, the University of Edinburgh

• Teaching Assistant, Compiling Techniques (UG3)

  Autumn 2015

  School of Informatics, the University of Edinburgh

• Master of Science by Research in Computer Science (Distinction)

  September 2015 - August 2016

  The University of Edinburgh, Scotland

  Advised by Christophe Dubach and Sam Lindley

• Master of Science in Computer Science (Distinction)

  September 2014 - August 2015

  The University of Edinburgh, Scotland

  Advised by Sam Lindley

• Joint Bachelor's degree in Computer Science and Mathematics

  August 2010 - June 2014

  Aalborg University, Denmark

  Advised by Hans Hüttel

• Best Dissertation Award (Pervasive Parallelism)

  November 2016

  Dissertation: "Compilation of Effect Handlers and their Applications in Concurrency"

  Awarded by the School of Informatics, the University of Edinburgh, Scotland

• Winner ICFP ACM Student Research Competition

  September 2016

  Entry: "First-Class Message-Passing Concurrency with Handlers"

  Awarded by the ICFP SRC Committee

• Best Dissertation Award (Computer Science)

  November 2015

  Dissertation: "Handlers for Algebraic Effects in Links"

  Awarded by the School of Informatics, the University of Edinburgh, Scotland

• My personal blog.
• I publicise most of my projects on GitHub.
• Follow me on Twitter; sometimes I tweet!
• I like to spend time at OCaml Labs in Cambridge.
• I work with KC Sivaramakrishnan and Stephen Dolan at OCaml Labs.
• The Multicore OCaml project.
• Some of my CDT Pervasive Parallelism colleagues:
  • Memorable Amna,
  • Acoustic Reese,
  • Session typing Simon,
  • Test Accelerating Vanya.