Robert Krook

---

Front page

---

Publications

• MicroHasTEE: Bare-Metal Haskell for Type-Level Peripheral Ownership on Armv8-M

  Robert Krook
  Draft paper, 2026

• CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation

  Robert Krook, Lennart Augustsson
  Haskell Symposium 2026 (blog post)

• Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs

  Robert Krook, Samuel Hammersberg
  Haskell Symposium 2024

• QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck

  Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
  IFL 2023 (blog post)

• High-Level Programming on Low-Level Platforms: Two Domain-Specific Languages Based on Haskell

  Robert Krook (Licentiate Thesis)
  Chalmers University of Technology, 2023

• HasTee: Programming Trusted Execution Environments with Haskell

  Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
  Haskell Symposium 2023

• Creating a Language for Writing Real-Time Applications for the Internet of Things

  Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen
  Memocode 2022

• Higher-order concurrency for microcontrollers

  Abhiroop Sarkar, Robert Krook, Bo Joel Svensson, Mary Sheeran
  MPLR 2021

• Towards secure IoT programming in Haskell

  Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen
  Haskell Symposium 2020