Author of the publication

Kanga: A Skeleton-Based Generic Interface for Parallel Programming.

, , , , and . SBAC-PAD (Workshops), page 68-72. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Monadic Semantics for Quantum Computing in Featherweight Java., , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 31-45. Springer, (2016)Concurrent Hash Tables for Haskell., , , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 110-124. Springer, (2016)Thread and Data Mapping in Software Transactional Memory: An Overview., , , and . CoRR, (2022)An extension for Transactional Memory in OpenMP., , , , , and . SBLP, page 58-65. ACM, (2021)Generating Random Well-Typed Featherweight Java Programs Using QuickCheck., , and . CLEI Selected Papers, volume 342 of Electronic Notes in Theoretical Computer Science, page 3-20. Elsevier, (2018)Profiling Patterns of Bit Flipping for Software Transactional Memories., , , and . SBAC-PAD, page 136-143. IEEE Computer Society, (2014)Composable memory transactions with eager version management., , , and . SAC, page 2093-2098. ACM, (2015)A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs., , and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 39-55. Springer, (2018)Property-based testing for lambda expressions semantics in featherweight Java., , and . SBLP, page 43-50. ACM, (2018)Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation., , and . SBLP, page 15-23. ACM, (2022)