Troels Henriksen

Troels Henriksen

Assistant professor, tenure track


  1. 2014
  2. 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 proceedingArticle in proceedingsResearchpeer-review

  3. 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 proceedingArticle in proceedingsResearchpeer-review

ID: 107181048