Towards secure IoT programming in Haskell. - Nachiappan Valliappan; Robert Krook; Alejandro Russo; Koen Claessen (Haskell@ICFP, 2020)

Higher-order concurrency for microcontrollers. - Abhiroop Sarkar; Robert Krook; Bo Joel Svensson; Mary Sheeran (MPLR, 2021)

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)

HasTEE: Programming Trusted Execution Environments with Haskell. - Abhiroop Sarkar; Robert Krook; Alejandro Russo; Koen Claessen (Haskell, 2023)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. - Robert Krook; Nicholas Smallbone; Bo Joel Svensson; Koen Claessen (IFL, 2023)

Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs. - Robert Krook; Samuel Hammersberg (Haskell, 2024)