Daniel Hillerström

Daniel Hillerström (Research Postgraduate Student)

email = (λname . name ++ "@ed.ac.uk")
email "daniel.hillerstrom"

Informatics Forum
Office 5.24/1
10 Crichton Street
EH8 9AB, Edinburgh
United Kingdom
My calendar

Research interests

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).

Publications

Papers

Extended abstracts

Dissertations

Talks

  • Efficient Generic Search with Effect Handlers (2018.07.18)

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

  • Handlers.Js (2018.04.26)

    Presented at Dagstuhl seminar 18172, Germany

  • Handlers.Js (2018.04.10)

    Presented at ProWeb, Nice, France

  • 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

  • Continuation Passing Style for Effect Handlers (2017.09.05)

    Presented at FSCD'17, Oxford, United Kingdom

  • 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

  • Runtime Agnostic Concurrency with Handlers (2016.10.12)

    Presented at Pervasive Parallelism Lunch, the University of Edinburgh.

  • Presented at ML Family Workshop, Nara, Japan.

      

  • Liberating Effects with Rows and Handlers (2016.09.18)

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

        

  • Programming with Algebraic Effects and Handlers (2016.05.10)

    Presented at Critical Blue Ltd, Edinburgh

  • Towards Compilation of Affine Algebraic Effect Handlers (2016.04.26)

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

  • Programming with effect handlers (2015.11.05)

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

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

Teaching

Education

  • 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

Honours & Awards

  • 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