Sarkar, Abhiroop
40  results:
Search for persons X
?
1

HasTEE: Programming Trusted Execution Environments with Has..:

, In: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium,
 
?
2

A Computational Approach for Predicting the Termination of ..:

, In: 2022 International Conference on Green Energy, Computing and Sustainable Technology (GECOST),
Dutta, Prateek ; Sarkar, Abhiroop ; Ambekar, Yash... - p. 51-57 , 2022
 
?
3

Higher-order concurrency for microcontrollers:

, In: Proceedings of the 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes,
 
?
4

Hailstorm: A Statically-Typed, Purely Functional Language f..:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,
Sarkar, Abhiroop ; Sheeran, Mary - p. 1-16 , 2020
 
?
14

diku-dk/futhark: 0.19.4:

Troels Henriksen ; Cosmin ; Niels G. W. Serup...
https://github.com/diku-dk/futhark/tree/v0.19.4.  , 2021
 
?
15

diku-dk/futhark: 0.19.6:

Troels Henriksen ; Cosmin ; Niels G. W. Serup...
https://github.com/diku-dk/futhark/tree/v0.19.6.  , 2021
 
1-15