- Functional Programming for Securing Cloud and Embedded Environments (PhD Thesis)
- HasTEE+ - Confidential Cloud Computing and Analytics with Haskell - Under submission.
- HasTEE - Confidential Computing on Trusted Execution Environments with Haskell - Haskell Symposium, 2023 - DOI.
- Synchron - An API and Runtime for Embedded Systems - ECOOP 2022 - DOI
- Functional Programming for Embedded Systems (Licentiate Thesis)
- Higher-Order Concurrency for Microcontrollers - MPLR 2021 - DOI
- Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications - PPDP 2020 - DOI
- Superword Level Parallelism in the Glasgow Haskell Compiler (Masters Thesis)