Robert Krook | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Abhiroop Sarkar
5 publications
Alejandro Russo
5 publications
Mary Sheeran
4 publications
Bo Joel Svensson
2 publications
Koen Claessen
2 publications

research

∙ 07/24/2023

HasTEE: Programming Trusted Execution Environments with Haskell

Trusted Execution Environments (TEEs) are hardware-enforced memory isola...

0 Abhiroop Sarkar, et al. ∙

research

∙ 08/17/2021

Higher-Order Concurrency for Microcontrollers

Programming microcontrollers involves low-level interfacing with hardwar...

0 Abhiroop Sarkar, et al. ∙