Robert Krook

Doctoral Student at Functional Programming

I like a lot of stuff! In no particular order;

Compiler Construction

Programming Languages Research

EDSL Design & Implementation

Property-based Testing

Confidential Computing

Cybersecurity

Source: chalmers.se

Contact Details

Publications (8)
Projects (0)

Showing 8 publications

2024

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

Robert Krook, Samuel Hammersberg

Haskell 2024 - Proceedings of the 17th ACM SIGPLAN International Symposium on Haskell, Co-located with: ICFP 2024, p. 27-40

Paper in proceeding

2023

QuickerCheck Implementing and Evaluating a Parallel Run-Time for QuickCheck

Robert Krook, Nicholas Smallbone, Joel Svensson et al

PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023

Paper in proceeding

2023

HasTEE - Programming Trusted Execution Environments with Haskell

Abhiroop Sarkar, Robert Krook, Alejandro Russo et al

Haskell 2023 - Proceedings of the 16th ACM SIGPLAN International Symposium on Haskell, Co-located with ICFP 2023, p. 72-88

Paper in proceeding

Show project

2023

High-level Programming on Low-level Platforms: Two Domain-specific Languages based on Haskell

Robert Krook

Licentiate thesis

Show project

2022

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

Robert Krook, John Hui, Joel Svensson et al

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

Paper in proceeding

Show project

2021

Higher-Order Concurrency for Microcontrollers

Abhiroop Sarkar, Robert Krook, Joel Svensson et al

MPLR 2021 - Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, p. 26-36

Paper in proceeding

Show project

2020

Towards Secure IoT Programming in Haskell

Nachiappan Valliappan, Robert Krook, Alejandro Russo et al

Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020, p. 136-150

Paper in proceeding

Show project

2019

An Algebra of Sequential Decision Problems

Robert Krook, Patrik Jansson

Other conference contribution

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Robert Krook participates, but you have to be logged in as a Chalmers employee to see them.