Robert Krook

Doktorand vid Funktionell programmering

Källa: chalmers.se

Kontaktuppgifter

Publikationer (8)
Projekt (0)

Visar 8 publikationer

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 i 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 i 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 i proceeding

Visa projekt

2023

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

Robert Krook

Licentiatavhandling

Visa projekt

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 i proceeding

Visa projekt

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 i proceeding

Visa projekt

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 i proceeding

Visa projekt

2019

An Algebra of Sequential Decision Problems

Robert Krook, Patrik Jansson

Övrigt konferensbidrag

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Robert Krook medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.