| 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 | 11 | 2020 |
| 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: 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 | 2 | 2023 |
| HasTEE+: Confidential Cloud Computing and Analytics with Haskell A Sarkar, A Russo arXiv preprint arXiv:2401.08901, 2024 | 1 | 2024 |
| Synchron--An API and Runtime for Embedded Systems A Sarkar, BJ Svensson, M Sheeran arXiv preprint arXiv:2205.03262, 2022 | 1 | 2022 |
| Functional Programming for Securing Cloud and Embedded Environments A Sarkar | | 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 |
Mary SheeranChalmers Univeresity of TechnologyVerified email at chalmers.se
