Ken Friis Larsen

Ken Friis Larsen

Lektor

Medlem af:

    ORCID: 0000-0002-0990-5127

    Udgivelsesår:
    Alle
    1 - 10 ud af 23Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2024
    2. Udgivet

      Statistical investigations into the geometry and homology of random programs

      Sporring, Jon & Larsen, Ken Friis, 5 jul. 2024, arxiv.org, 16 s.

      Publikation: Working paper › Preprint › Forskning

    3. E-pub ahead of print

      Axiomatising an information flow logic based on partial equivalence relations

      Filinski, Andrzej, Larsen, Ken Friis & Jensen, Thomas Philip, 2024, (E-pub ahead of print) I: International Journal on Software Tools for Technology Transfer.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. Udgivet

      Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware

      Vadgaard, L. B. H., Kirkeby, M. H., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (red.). Springer VS, s. 77-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. 2023
    6. Udgivet

      Delilah: eBPF-offload on Computational Storage

      Hedam, N., Clausen, M. T., Bonnet, Philippe, Lee, S. & Larsen, Ken Friis, 2023, Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023. Association for Computing Machinery, Inc., s. 70-76 7 s. (Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. 2018
    8. Udgivet

      Encryption and reversible computations: Work-in-progress paper

      Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. 2017
    10. Udgivet

      Automatic Incrementalization of Functional Reports

      Larsen, Ken Friis & Henglein, Fritz, 2017. 2 s.

      Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

    11. 2016
    12. Udgivet

      Design and GPGPU performance of Futhark's redomap construct

      Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, s. 17-24 8 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    13. 2015
    14. Udgivet

      Session types for rust

      Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, s. 13-22 10 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    15. 2013
    16. Udgivet

      SkyView: a user evaluation of the skyline operator

      Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, s. 2249-2254 6 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    17. 2012
    18. Udgivet

      An embedded DSL for stochastic processes

      Werk, M. F., Ahnfelt-Rønne, J. & Larsen, Ken Friis, 2012, Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 93-101 9 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 Næste

    ID: 546430