Programming Languages and Theory of Computing

Research output

Research output per year 1991 2019 2020 2021 2022 2023 2024 2025

• 137 Article in proceedings
• 60 Journal article
• 22 Book chapter
• 12 Paper
• 58 More
  • 12 Conference article
  • 10 Ph.D. thesis
  • 5 Book
  • 4 Anthology
  • 4 Preprint
  • 4 Working paper
  • 3 Conference abstract for conference
  • 2 Report
  • 2 Preface/postscript
  • 2 Comment/debate
  • 2 Editorial
  • 2 Review
  • 1 Comment
  • 1 Conference abstract in proceedings
  • 1 Report chapter
  • 1 Poster
  • 1 Contribution to newspaper - Comment/debate
  • 1 Letter

Research output per year

Research output per year

Search results

• 2025

  Machine Guided Derivation of the Atlantic Meridional Overturning Circulation (AMOC) Strength

  Wu, Q., Jochum, M., Avery, J. E., Vettoretti, G. & Nuterman, R., 16 Feb 2025, In: Geophysical Research Letters. 52, 3, 11 p., e2024GL113454.

  Research output: Contribution to journal › Letter › Research › peer-review

  Open Access

  File
  2 Downloads (Pure)

• Quantum-inspired neural network with hierarchical entanglement embedding for matching

  Zhang, C., Su, Z., Li, Q., Song, D. & Tiwari, P., 2025, In: Neural Networks. 182, 16 p., 106915.

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

• Unhappy Texts? A Gendered and Computational Rereading of The Modern Breakthrough

  Degn, K. N., Bjerring-Hansen, J., Al-Laith, A. M. A. & Hershcovich, D., 2025, In: Scandinavian Studies. 97, 1, 24 p.

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

  Open Access

  File
  230 Downloads (Pure)
• 2024

  Abstraction, mimesis and the evolution of deep learning

  Eklöf, J., Hamelryck, T., Last, C., Grima, A. & Snis, U. L., 2024, In: AI and Society. 39, 5, p. 2349–2357 9 p.

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

  Open Access

  File
  4 Downloads (Pure)

• A Case Study of Enhancing Sparse Retrieval using LLMs

  Ayoub, M. A. K., Su, Z. & Li, Q., 2024, WWW 2024 Companion - Companion Proceedings of the ACM Web Conference. Association for Computing Machinery, Inc., p. 1609-1615 7 p.

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

  Open Access

  File

• A Comparison of OpenCL, CUDA, and HIP as Compilation Targets for a Functional Array Language

  Henriksen, T., 2024, FProPer 2024 - Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance, Co-located with: ICFP 2024. Rainey, M. & Scholz, S-B. (eds.). Association for Computing Machinery, Inc., 9 p.

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

• Agafonov’s Theorem for Probabilistic Selectors

  Léchine, U., Seiller, T. & Simonsen, J. G., 2024, In: Leibniz International Proceedings in Informatics, LIPIcs. 306, 15 p., 67.

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

  Open Access

  File

• A generic type system for higher-order Ψ-calculi

  Hüttel, H., Lybech, S., Bendixen, A. R. & Bojesen, B. B., 2024, In: Information and Computation. 300, 105190.

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

  Open Access

  File
  6 Downloads (Pure)

• A grassroots approach to peer support by the Danish Reproducibility Network

  Topor, M., Bonnet, P., Cheplygina, V., Dam, V. H. & Wildgaard, L., 2024, In: BMC Research Notes. 17, 1, 6 p., 256.

  Research output: Contribution to journal › Comment/debate › Research › peer-review

  Open Access

  File
  4 Downloads (Pure)

• AI Implementation and Capability Development in Manufacturing: An Action Research Case

  Eklöf, J., Snis, U. L., Hamelryck, T. W., Grima, A. & Rønning, O., 2024, Proceedings of the 57th Hawaii International Conference on System Sciences - HICSS 2024. Hawaii International Conference on System Sciences, 10 p.

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

  Open Access

  File
  25 Downloads (Pure)

• AI transformation in the manufacturing industry

  Eklöf, J., 2024, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• A Type System for Data Flow and Alias Analysis in ReScript

  Lund, N. A. & Hüttel, H., 2024, Proceedings Eighth Symposium on Working Formal Methods. arXive: 0911.3094, p. 116-132 17 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 410).

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

  Open Access

  File

• AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

  Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M., 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 27 p., 334.

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

  Open Access

  File
  3 Downloads (Pure)

• 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–461

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

  Open Access

  File
  1 Citation (Scopus)

  11 Downloads (Pure)

• BABOL: A Software-Defined NAND Flash Controller

  Park, K., Lerner, A., Lee, S., Bonnet, P., Song, Y. H., Cudre-Mauroux, P. & Choi, J., 2024, (E-pub ahead of print) IEEE/ACM International Symposium on Microarchitecture. IEEE/ACM, p. 1-13

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

  Open Access

  File
  1 Downloads (Pure)

• Database Kernels: Seamless Integration of Database Systems and Fast Storage via CXL.

  Lee, S., Lerner, A., Bonnet, P. & Cudré-Mauroux, P., 2024, CIDR 2024. 14th Annual Conference on Innovative Data Systems Research (CIDR ’24). CIDR, 8 p.

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

  Open Access

  File
  14 Downloads (Pure)

• Double-Ended Bit-Stealing for Algebraic Data Types

  Elsman, M., 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, 33 p., 239.

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

  Open Access

  File
  1 Citation (Scopus)

  2 Downloads (Pure)

• Explicit Effects and Effect Constraints in ReML

  Elsman, M., 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2370-2394 79.

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

  Open Access

  File
  15 Downloads (Pure)

• 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

• Foundations and practice of binary process discovery

  Slaats, T., Debois, S., Back, C. O. & Christfort, A. K. F., 2024, In: Information Systems. 121, 20 p., 102339.

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

  Open Access

  File
  22 Downloads (Pure)

• Functional Array Programming in an Extended Pi-Calculus

  Hüttel, H., Jensen, L., Paulsen, C. O. & Teule, J., 2024, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 412, p. 2-18 17 p.

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

  Open Access

  File
  1 Downloads (Pure)

• Information Propagation in Modular Language Modeling and Web Tracking

  Su, Z., 2024, Department of Computer Science, Faculty of Science, University of Copenhagen. 126 p.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• Inversion by Partial Evaluation: A Reversible Interpreter Experiment

  Glück, R. & Normann, L. M., 2024, A Second Soul: Celebrating the Many Languages of Programming: Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, PT 2024. arxiv.org, Vol. 413. p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 413).

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

  Open Access

  File
  1 Downloads (Pure)

• Jeopardy: An Invertible Functional Programming Language

  Kristensen, J. T., Kaarsgaard, R. & Thomsen, M. K., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 124-141 (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

  File
  7 Downloads (Pure)

• Kickstarting blockchain: designing blockchain-based tokens for equity crowdfunding

  Guggenberger, T., Schellinger, B., von Wachter, V. & Urbach, N., 2024, In: Electronic Commerce Research. 24, p. 239–273

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

  Open Access

  File
  13 Citations (Scopus)

  7 Downloads (Pure)

• Literary Time Travel: Distinguishing Past and Contemporary Worlds in Danish and Norwegian Fiction

  Bjerring-Hansen, J., Al-Laith, A. M. A., Rasmussen, S. Ø., Hershcovich, D. & Conroy, A., 2024, Proceedings of the Computational Humanities Research Conference 2024 (CHR 2024). CEUR-WS.org, p. 772-787 16 p. (CEUR Workshop Proceedings, Vol. 3834).

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

  Open Access

  File
  3 Downloads (Pure)

• Multi-Head Adapter Routing for Cross-Task Generalization

  Caccia, L., Ponti, E., Su, Z., Pereira, M., Le Roux, N. & Sordoni, A., 2024. 2 p.

  Research output: Contribution to conference › Paper › Research › peer-review

  Open Access

  File
  9 Downloads (Pure)

• Noise, Novels, Numbers: A Framework for Detecting and Categorizing Noise in Danish and Norwegian Literature

  Al-Laith, A. M. A., Bjerring-Hansen, J., Hershcovich, D., Parby, J. I., Tangherlini, T. & Conroy, A., 2024, Proceedings of The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP 2024). Association for Computational Linguistics (ACL), p. 3344–3354 11 p.

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

  Open Access

  File
  3 Downloads (Pure)

• Partial Evaluation of Reversible Flowchart Programs

  Normann, L. M. & Glück, R., 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

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

  Open Access

  File
  2 Citations (Scopus)

  19 Downloads (Pure)

• Posets and Bounded Probabilities for Discovering Order-inducing Features in Event Knowledge Graphs

  Back, C. O. & Simonsen, J. G., 2024, arXiv.org, 18 p.

  Research output: Working paper › Preprint

  Open Access

  File
  1 Downloads (Pure)

• Predicting Patient No-Shows: Situated Machine Learning with Imperfect Data

  Gyldenkærne, C., Simonsen, J. G., From, G. & Hertzum, M., 2024, In: Studies in Health Technology and Informatics. 316, p. 1598-1602 5 p.

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

  Open Access

  File
  6 Downloads (Pure)

• Preface

  Mogensen, T. Æ. & Mikulski, Ł., 2024, Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings. Springer, Vol. 14680 LNCS. p. 3-9 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

  Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

• 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 › Research

  Open Access

  File
  15 Downloads (Pure)

• Towards Clean Reversible Lossless Compression

  Lyngby, T., Nylandsted, R. R., Glück, R. & Yokoyama, T., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 94-102 (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
• 2023

  Accelerating vaccine development througha deep probabilistic programming approachto protein structure prediction

  Thygesen, C. B., 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 93 p.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

  Dargaj, J. & Simonsen, J. G., 2023, In: Journal of Economic Theory. 213, 24 p., 105713.

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

  File
  26 Downloads (Pure)

• A Probabilistic Approach to the Protein Folding Problem: Using Stein-based Variational Inference

  Rønning, O., 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• Branching execution symmetry in Jeopardy by available implicit arguments analysis

  Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, M. K., 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14

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

  Open Access

  File
  10 Downloads (Pure)

• Can AI Moderate Online Communities?

  Axelsen, H. B., Jensen, J. R., Axelsen, S., Licht, V. & Ross, O., 2023, arXiv preprint, 12 p.

  Research output: Working paper › Preprint

  Open Access

  File
  9 Downloads (Pure)

• Comparing Trace Similarity Metrics Across Logs and Evaluation Measures

  Back, C. O. & Simonsen, J. G., 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (eds.). Springer, p. 226-242 17 p. (Lecture Notes in Computer Science, Vol. 13901)).

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

  Open Access
  2 Citations (Scopus)

• Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology

  von Wachter, C. V., 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 223 p.

  Research output: Book/Report › Ph.D. thesis › Research

  File

• 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 Access

  File
  3 Citations (Scopus)

  14 Downloads (Pure)

• Delivering Rules-Based Workflows for Science

  Marchant, D., Blomqvist, M., Jensen, P., Lilholm, I. & Nørgaard, M., 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

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

• Designing with Awareness: Building an Agenda for Worker and Patient Well-being

  Milbak, T. W., Simonsen, J. G., Hansen, M. B. & Møller, N. H., 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies

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

  Open Access

  File
  15 Downloads (Pure)

• DLT Compliance Reporting

  Jensen, J. R., Axelsen, H. & Ross, O., 2023, In: Complex Systems Informatics and Modeling Quarterly. 2023, 35, p. 92-103 12 p., 195.

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

  Open Access

  File
  15 Downloads (Pure)

• Faithfulness Tests for Natural Language Explanations

  Atanasova, P., Camburu, O. M., Lioma, C., Lukasiewicz, T., Simonsen, J. G. & Augenstein, I., 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), p. 283-294 12 p.

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

  Open Access

  File
  21 Citations (Scopus)

  26 Downloads (Pure)

• Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems

  Madsen, M., van de Pol, J. & Henriksen, T., 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.

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

  Open Access

  File
  12 Downloads (Pure)

• Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

  Elsman, M., 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.

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

  Open Access

  File
  2 Citations (Scopus)

  23 Downloads (Pure)

• Implicit Representation of Relations

  Glončák, V., Munkstrup, J. E. E. & Grue Simonsen, J., 2023, In: Theory of Computing Systems. 67, 6, p. 1156-1196

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

  File
  1 Downloads (Pure)

• Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

  Glück, R. (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).

  Research output: Book/Report › Anthology