Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications A Sarkar, M Sheeran Proceedings of the 22nd International Symposium on Principles and Practice …, 2020 | 14 | 2020 |
HasTEE: Programming Trusted Execution Environments with Haskell A Sarkar, R Krook, A Russo, K Claessen Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 72-88, 2023 | 4 | 2023 |
Synchron--An API and Runtime for Embedded Systems A Sarkar, BJ Svensson, M Sheeran arXiv preprint arXiv:2205.03262, 2022 | 3 | 2022 |
Higher-order concurrency for microcontrollers A Sarkar, R Krook, BJ Svensson, M Sheeran Proceedings of the 18th ACM SIGPLAN International Conference on Managed …, 2021 | 3 | 2021 |
HasTEE+: Confidential Cloud Computing and Analytics with Haskell A Sarkar, A Russo arXiv preprint arXiv:2401.08901, 2024 | 1 | 2024 |
Functional Programming for Securing Cloud and Embedded Environment A Sarkar Chalmers University of Technology, 2024 | | 2024 |
Synchron-An API and Runtime for Embedded Systems (Artifact). A Sarkar, BJ Svensson Dagstuhl Artifacts Ser. 8 (2), 25:1-25:2, 2022 | | 2022 |
Functional Programming for Embedded Systems A Sarkar PQDT-Global, 2022 | | 2022 |
Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications (Extended Version) A Sarkar, M Sheeran | | 2020 |
SUPERWORD LEVEL PARALLELISM IN THE GLASGOW HASKELL COMPILER A Sarkar University of Nottingham, 2018 | | 2018 |