Troels Henriksen
Assistant professor, tenure track
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0002-1195-9722
1 - 2 out of 2Page size: 10
- 2014
- Published
Bounds checking: an instance of hybrid analysis
Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Size slicing: a hybrid approach to size inference in futhark
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 107181048
Most downloads
-
21
downloads
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
14
downloads
Parallelism in a Region Inference Context
Research output: Contribution to journal › Journal article › peer-review
Published