Research output per year
Research output per year
Personal profile
Primary fields of research
Programming language technology for Security and Privacy
Keywords
- Faculty of Science
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Axiomatising an information flow logic based on partial equivalence relations
Filinski, A., Larsen, K. F. & Jensen, T. P., 2024, In: International Journal on Software Tools for Technology Transfer. 26, p. 445–461Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Vadgaard, L. B. H., Kirkeby, M. H., Larsen, K. F. & Thomsen, M. K., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer VS, p. 77-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Statistical investigations into the geometry and homology of random programs
Sporring, J. & Larsen, K. F., 5 Jul 2024, arxiv.org, 16 p.Research output: Working paper › Preprint
Open AccessFile64 Downloads (Pure) -
Delilah: eBPF-offload on Computational Storage
Hedam, N., Clausen, M. T., Bonnet, P., Lee, S. & Larsen, K. F., 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
Open AccessFile -
Encryption and reversible computations: Work-in-progress paper
Táborský, D., Larsen, K. F. & Thomsen, M. K., 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
Open AccessFile -
Automatic Incrementalization of Functional Reports
Larsen, K. F. & Henglein, F., 2017. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
-
Design and GPGPU performance of Futhark's redomap construct
Henriksen, T., Larsen, K. F. & Oancea, C. E., 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
-
Session types for rust
Jespersen, T. B. L., Munksgaard, P. & Larsen, K. F., 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