Robert Krook

According to our database, Robert Krook authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Robert Krook, Samuel Hammersberg

Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, 2024

2023

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

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

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

HasTEE: Programming Trusted Execution Environments with Haskell.

Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

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

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2021

Higher-order concurrency for microcontrollers.

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

Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021

2020

Towards secure IoT programming in Haskell.

Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen

Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020