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
Fingerprint
Dive into the research topics where Ken Friis Larsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Research output
-
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
-
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., 14 Jun 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., 30 Aug 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
-
SkyView: a user evaluation of the skyline operator
Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F., 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
-
An embedded DSL for stochastic processes
Werk, M. F., Ahnfelt-Rønne, J. & Larsen, K. F., 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
-
Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen
Berthold, J., Filinski, A., Henglein, F., Larsen, K. F., Steffensen, M. & 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
-
Generic multiset programming for language-integrated querying
Henglein, F. & Larsen, K. F., 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