Robert Krook

---

Front page

---

Publications

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

  Robert Krook, Samuel Hammersberg
  Haskell 2024

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

  Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
  IFL 2023

• 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 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 2020