Follow
Abhiroop Sarkar
Title
Cited by
Cited by
Year
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
142020
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
42023
Synchron--An API and Runtime for Embedded Systems
A Sarkar, BJ Svensson, M Sheeran
arXiv preprint arXiv:2205.03262, 2022
32022
Higher-order concurrency for microcontrollers
A Sarkar, R Krook, BJ Svensson, M Sheeran
Proceedings of the 18th ACM SIGPLAN International Conference on Managed …, 2021
32021
HasTEE+: Confidential Cloud Computing and Analytics with Haskell
A Sarkar, A Russo
arXiv preprint arXiv:2401.08901, 2024
12024
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
The system can't perform the operation now. Try again later.
Articles 1–10