Publikationer pr. år
Publikationer pr. år
Personlig profil
Primære forskningsområder
Programming language technology for Security and Privacy
Emneord
- Det Natur- og Biovidenskabelige Fakultet
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Axiomatising an information flow logic based on partial equivalence relations
Filinski, A., Larsen, K. F. & Jensen, T. P., 2024, (E-pub ahead of print) I: International Journal on Software Tools for Technology Transfer.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
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. (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 › peer review
-
Statistical investigations into the geometry and homology of random programs
Sporring, J. & Larsen, K. F., 5 jul. 2024, arxiv.org, 16 s.Publikation: Working paper › Preprint › Forskning
Åben adgangFil5 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., 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 › peer review
Åben adgangFil2 Citationer (Scopus)11 Downloads (Pure) -
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, s. 331-338 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
5 Citationer (Scopus) -
Automatic Incrementalization of Functional Reports
Larsen, K. F. & Henglein, F., 2017. 2 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › 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, s. 17-24 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
13 Citationer (Scopus) -
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, s. 13-22 10 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review
60 Citationer (Scopus)