email = (λname . name ++ "@ed.ac.uk")
email "daniel.hillerstrom"
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).
Daniel Hillerström, Sam Lindley, and Robert Atkey
Draft, February 2019
Daniel Hillerström and Sam Lindley
In APLAS'18
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, and Leo White
In TFP'17
Daniel Hillerström, Sam Lindley, Robert Atkey, and KC Sivaramakrishnan
In FSCD'17
Daniel Hillerström and Sam Lindley
In TyDe@ICFP'16
Daniel Hillerström, Sam Lindley, Robert Atkey, KC Sivaramakrishnan, and Jeremy Yallop
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
Daniel Hillerström, Sam Lindley, and KC Sivaramakrishnan
Daniel Hillerström
MSc(R) dissertation, School of Informatics, the University of Edinburgh, August 2016
Daniel Hillerström
MSc dissertation, School of Informatics, the University of Edinburgh, August 2015
Daniel Hillerström and Mathias Ruggaard Pedersen
BSc dissertation, Department of Computer Science, Aalborg University, June 2013
Presented at Google, Aarhus, Denmark
Presented at "Programming Language Interest Group (PLInG)", the University of Edinburgh
Presented at Dagstuhl seminar 18172, Germany
Presented at ProWeb, Nice, France
Presented at Pervasive Parallelism Lunch, the University of Edinburgh.
Presented at CUFP@ICFP'17, Oxford, United Kingdom
Presented at FSCD'17, Oxford, United Kingdom
Presented at "CDT Pervasive Parallelism Student Showcase", the University of Edinburgh
Presented at "Scottish Programming Languages Seminar (SPLS)", University of St Andrews
Presented at Pervasive Parallelism Lunch, the University of Edinburgh.
Presented at ML Family Workshop, Nara, Japan.
Presented at TyDe@ICFP'16, Nara, Japan.
Presented at Critical Blue Ltd, Edinburgh
Presented at the "Systems Research Group Meeting", Computer Laboratory at the University of Cambridge
Presented at "Programming Language Interest Group (PLInG)", the University of Edinburgh
Presented at "Practical Types", Summer school, University of St Andrews
Autumn 2017
School of Informatics, the University of Edinburgh
Spring 2017
School of Informatics, the University of Edinburgh
Autumn 2016
School of Informatics, the University of Edinburgh
Autumn 2015
School of Informatics, the University of Edinburgh
September 2015 - August 2016
The University of Edinburgh, Scotland
Advised by Christophe Dubach and Sam Lindley
September 2014 - August 2015
The University of Edinburgh, Scotland
Advised by Sam Lindley
August 2010 - June 2014
Aalborg University, Denmark
Advised by Hans Hüttel
November 2016
Dissertation: "Compilation of Effect Handlers and their Applications in Concurrency"
Awarded by the School of Informatics, the University of Edinburgh, Scotland
September 2016
Entry: "First-Class Message-Passing Concurrency with Handlers"
Awarded by the ICFP SRC Committee
November 2015
Dissertation: "Handlers for Algebraic Effects in Links"
Awarded by the School of Informatics, the University of Edinburgh, Scotland
Review and evaluation of artifacts associated with accepted papers
Contest planning, contest facilitation, and development of infrastructure