Ken Friis Larsen

Ken Friis Larsen

Associate Professor

Member of:

    ORCID: 0000-0002-0990-5127

    Publication year:
    All
    1 - 20 out of 20Page size: 50
    1. 2023
    2. Published

      Delilah: eBPF-offload on Computational Storage

      Hedam, N., Clausen, M. T., Bonnet, P., 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., p. 70-76 7 p. (Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. 2018
    4. Published

      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, p. 331-338 (Lecture notes in computer science, Vol. 11106).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. 2017
    6. Published

      Automatic Incrementalization of Functional Reports

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

      Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

    7. 2016
    8. Published

      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, p. 17-24 8 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. 2015
    10. Published

      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, p. 13-22 10 p.

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    11. 2013
    12. Published

      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, p. 2249-2254 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    13. 2012
    14. Published

      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, p. 93-101 9 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    15. Published

      Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

      Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (eds.). Springer, p. 98-113 16 p. (Lecture notes in computer science, Vol. 7193).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    16. 2010
    17. Published

      Generic multiset programming for language-integrated querying

      Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    18. Published

      Generic multiset programming with discrimination-based joins and symbolic Cartesian products

      Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    19. 2009
    20. Published

      A MuDDy Experience-ML Bindings to a BDD Library

      Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (ed.). Springer, Vol. 5658. p. 45-57 12 p. (Lecture notes in computer science, Vol. 5658).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    21. Published

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    22. 2008
    23. Published

      Classifying VAT Legislation for Automation

      Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

      Research output: Contribution to conference › Paper › Research

    24. Published

      FunSETL–Functional Reporting for ERP Systems

      Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    25. Published

      Requirements for Logical Models for Value-Added Tax Legislation

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

      Research output: Contribution to conference › Paper › Research

    26. 2007
    27. Published

      Compositional Contract Specification for REA

      Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

    28. Published

      Kunsten at vejlede et konstruktionsprojekt

      Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

      Research output: Contribution to journal › Journal article › Research › peer-review

    29. Published

      Tutorial on Modeling VAT Rules Using OWL-DL

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.

      Research output: Contribution to conference › Paper › Research

    30. 2004

    31. Incremental Execution of Transformation Specifications

      Sittampalam, G., de Moor, O. & Larsen, Ken Friis, 2004, Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. Association for Computing Machinery, p. 26 38 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    32. mGTK: an SML binding of Gtk+

      Larsen, Ken Friis & Niss, H., 2004.

      Research output: Contribution to conference › Conference abstract for conference › Research

    ID: 546430