- 2024
- Published
AI Implementation and Capability Development in Manufacturing: An Action Research Case
Eklöf, Jon, Snis, U. L., Hamelryck, Thomas Wim, Grima, A. & Rønning, Ola, 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
- Published
AI transformation in the manufacturing industry
Eklöf, Jon, 2024, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.Research output: Book/Report › Ph.D. thesis › Research
- Accepted/In press
Abstraction, mimesis and the evolution of deep learning
Eklöf, Jon, Hamelryck, Thomas Wim, Last, C., Grima, A. & Snis, U. L., 2024, (Accepted/In press) In: AI and Society. 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Database Kernels: Seamless Integration of Database Systems and Fast Storage via CXL.
Lee, S., Lerner, A., Bonnet, Philippe & Cudré-Mauroux, P., 2024, CIDR.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Explicit Effects and Effect Constraints in ReML
Elsman, Martin, 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2370-2394 25 p., 79.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Foundations and practice of binary process discovery
Slaats, Tijs, Debois, S., Back, C. O. & Christfort, Axel Kjeld Fjelrad, 2024, In: Information Systems. 121, 20 p., 102339.Research output: Contribution to journal › Journal article › Research › peer-review
- E-pub ahead of print
Kickstarting blockchain: designing blockchain-based tokens for equity crowdfunding
Guggenberger, T., Schellinger, B., von Wachter, Carl Victor & Urbach, N., 2024, (E-pub ahead of print) In: Electronic Commerce Research.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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
- Published
Partial Evaluation of Reversible Flowchart Programs
Normann, Louis Marott & Glück, Robert, 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
- 2023
- Published
Read/write factorizable programs
Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Sentiment Classification of Historical Danish and Norwegian Literary Texts
Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, Alexander, Pedersen, Bolette Sandford, Bjerring-Hansen, Jens & Hershcovich, Daniel, May 2023, Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa). Association for Computational Linguistics (ACL), p. 324–334Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Probabilistic Approach to the Protein Folding Problem: Using Stein-based Variational Inference
Rønning, Ola, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
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, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Accelerating vaccine development througha deep probabilistic programming approachto protein structure prediction
Thygesen, Christian Bahne, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 93 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Can AI Moderate Online Communities?
Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.Research output: Working paper › Preprint
- Published
Comparing Trace Similarity Metrics Across Logs and Evaluation Measures
Back, C. O. & Simonsen, Jakob Grue, 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
- Published
DLT Compliance Reporting
Jensen, J. R., Axelsen, Henrik Bjørn & Ross, Omry, 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
- Published
Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology
von Wachter, Carl Victor, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 223 p.Research output: Book/Report › Ph.D. thesis › Research
- 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
- Published
Delivering Rules-Based Workflows for Science
Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 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
- Published
Designing with Awareness: Building an Agenda for Worker and Patient Well-being
Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded TechnologiesResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faithfulness Tests for Natural Language Explanations
Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 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
- Published
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Madsen, M., van de Pol, J. & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Elsman, Martin, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Implicit Representation of Relations
Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 67, 6, p. 1156-1196Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Glück, Robert (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).Research output: Book/Report › Anthology › Research
- Published
MEOW: Enabling Dynamic Scheduling of Scientific Analysis
Marchant, David Gray, 2023, Niels Bohr Institute, Faculty of Science, University of Copenhagen. 271 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Multi-block MEV
Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2023, arXiv preprint, 9 p.Research output: Working paper › Preprint
- Published
Parallelism in a Region Inference Context
Elsman, Martin & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Privacy Lost in Online Education: Analysis of Web Tracking Evolution
Su, Z., Helles, Rasmus, Al-Laith, Ali Mohammed Ali, Veilahti, A. V. P., Saxena, A. & Simonsen, Jakob Grue, 2023, Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings. Yang, X., Suhartanto, H., Wang, G., Wang, B., Jiang, J., Li, B., Zhu, H. & Cui, N. (eds.). Cham: Springer, Cham, Vol. 2. p. 440-455 15 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Seasonal-Trend Time Series Decomposition on Graphics Processing Units
Serykh, Dmitry, Oehmcke, Stefan, Oancea, Cosmin Eugen, Masiliunas, D., Verbesselt, J., Cheng, Yan, Horion, Stéphanie, Gieseke, F. & Hinnerskov, Nikolaj Hey, 2023, Proceedings - 2023 IEEE International Conference on Big Data, BigData 2023. He, J., Palpanas, T., Hu, X., Cuzzocrea, A., Dou, D., Slezak, D., Wang, W., Gruca, A., Lin, J. C-W. & Agrawal, R. (eds.). IEEE, p. 5914-5923 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Shape-Constrained Array Programming with Size-Dependent Types
Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spatial Mapping of Soil Salinity Using Machine Learning and Remote Sensing in Kot Addu, Pakistan
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali & Alsabban, W. H., 2023, In: Sustainability. 15, 17, 19 p., 12943.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, p. 73–88 (Lecture Notes in Computer Science, Vol. 13960).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Programming of Algebra
Mathiesen, Mikkel Kragh, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 119 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Tokens Matter: How to Win Votes and Influence DAOs
Jensen, J. R., Schirrmacher, N., Avital, M. & Ross, Omry, 2023, Proceedings of the 44th International Conference on Information Systems (ICIS 2023): Rising like a Phoenix: Emerging from the Pandemic and Reshaping Human Endeavors with Digital Technologies. Association for Information Systems, 9 p. 1794Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a Dereversibilizer: Fewer Asserts, Statically
Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Type-directed Program Transformation for Constant-Time Enforcement
Raimondi, G., Jensen, Thomas Philip & Besson, F., 2023, PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, p. 1-13 6Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2022
- Published
Building blocks of sharding blockchain systems: Concepts, approaches, and open problems
Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., Nov 2022, In: Computer Science Review. 46, 44 p., 100513.Research output: Contribution to journal › Review › Research › peer-review
- Published
The Programming of Algebra
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Debat | Forskere: Derfor har Danmark forudsætningerne for at blive førende indenfor kryptoaktiver
Andhov, Alexandra, Blemus, S., Ross, Omry & Jensen, J. R., 5 Apr 2022, In: Børsen. 5. april 2022, 1 p.Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication
- Published
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, Hans & Lybech, S., 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, Hans, 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66Research output: Contribution to journal › Conference article › Research › peer-review
- Published
AD for an Array Language with Nested Parallelism
Schenck, R., Rønning, Ola, Henriksen, Troels & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, 15 p. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Vol. 2022-November).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Algeo: An Algebraic Approach to Reversibility
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Combinatory Adjoints and Differentiation
Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling a functional array language with non-semantic memory information
Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.Research output: Contribution to conference › Paper › Research
- Published
Complex-valued Neural Network-based Quantum Language Models
Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Information Systems. 40, 4, 31 p., 84.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Deep Probabilistic Programming Applied Protein Superposition: Protein Structure Prediction and Ancestral Sequence Resurrection
Sanz Moreta, Lys, 2022, Department of Computer Science, Faculty of Science, University of Copenhagen. 138 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Diagnostics-Guided Explanation Generation
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10445-10453.Research output: Contribution to journal › Conference article › Research
- Published
Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria
Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee
Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Events as a Basis for Workflow Scheduling
Marchant, David Gray, 2022, Proceedings of WORKS 2022: 17th Workshop on Workflows in Support of Large-Scale Science, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, p. 52-59 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fact Checking with Insufficient Evidence
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Transactions of the Association for Computational Linguistics. 10, p. 746-763Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Fast Control for Reversible Processors
Mogensen, Torben Ægidius, 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, CA. & Podlaski, K. (eds.). Springer, p. 51-64 (Lecture Notes in Computer Science, Vol. 13354).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
From reversible programming languages to reversible metalanguages
Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Hermes: A reversible language for lightweight encryption
Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Identification of soil type in Pakistan using remote sensing and machine learning
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali, Alsabban, W. & Aziz, M. H., 2022, In: PeerJ Computer Science. 8, 19 p., e1109.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Making programs reversible with minimal extra data
Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Memory Optimizations in an Array Language
Munksgaard, P., Henriksen, Troels, Sadayappan, P. & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, p. 1-15 31Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mixture Models for Spherical Data with Applications to Protein Bioinformatics
Mardia, K. V., Barber, S., Burdett, P. M., Kent, J. T. & Hamelryck, Thomas Wim, 2022, Directional Statistics for Innovative Applications: A Bicentennial Tribute to Florence Nightingale. Springer, p. 15-32 (Forum for Interdisciplinary Mathematics).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Persistent Topology of Protein Space
Hamilton, W., Borgert, J. E., Hamelryck, Thomas Wim & Marron, J. S., 2022, Research in Computational Topology 2. Springer, p. 223-244 (Association for Women in Mathematics Series, Vol. 30).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Preface
Elsman, Martin, 2022, Proceedings - 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, Inc., p. IV (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Programming Language Design and Implementation
Mogensen, Torben Ægidius, 2022, Springer. 321 p. (Texts in Computer Science).Research output: Book/Report › Book › Research › peer-review
- Published
Reversible programming: a case study of two string-matching algorithms
Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Temporal vectorization: a compiler approach to automatic multi-pumping
Johnsen, Carl-Johannes, De Matteis, T., Ben-Nun, T., De Fine Licht, J. & Hoefler, T., 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-9 85Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
When is a DAO Decentralized?
Axelsen, Henrik Bjørn, Jensen, J. R. & Ross, O., 2022, In: Complex Systems Informatics and Modeling Quarterly. 2022, 31, p. 51-75Research output: Contribution to journal › Journal article › Research › peer-review
- 2021
- Published
Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work
Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, Jul 2021, In: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 p., 219.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A Functional Approach to Accelerating Monte Carlo based American Option Pricing
Pawlak, W. M., Elsman, Martin & Oancea, Cosmin Eugen, 2021, IFL 2019: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. Association for Computing Machinery, p. 1-12 5Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications
Pawlak, W. M., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Accelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs
Thegler, A., Johnsen, Carl-Johannes, Skovhede, K. & Vinter, B., 2021, Proceedings - 2021 Concurrent Processes Architectures and Embedded Systems Conference, COPA 2021. IEEE, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Acceleration of lattice models for pricing portfolios of fixed-income derivatives
Pawlak, W. M., Hlava, M., Metaksov, M. & Oancea, Cosmin Eugen, 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, Inc., p. 27-38 12 p. 3464309Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
An Introduction to Decentralized Finance (DeFi)
Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2021, In: Complex Systems Informatics and Modeling Quarterly. 26, 26, p. 46-54 150.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Bounds Checking on GPU
Henriksen, Troels, 2021, In: International Journal of Parallel Programming. 49, 6, p. 761-775Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark
Munksgaard, P., Breddam, S. L., Henriksen, Troels, Gieseke, Fabian Cristian & Oancea, Cosmin Eugen, 2021, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Zsok, V. & Hughes, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-23 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12834 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Efficient Generative Modelling of Protein Structure Fragments using a Deep Markov Model
Thygesen, Christian Bahne, Al-Sibahi, A. S., Steenmanns, C. S., Sanz Moreta, Lys, Sørensen, A. B. & Hamelryck, Thomas Wim, 2021, International Conference on Machine Learning, 18-24 July 2021, Virtual. PMLR, p. 10258-10267 (Proceedings of Machine Learning Research, Vol. 139).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Graph Traversals as Universal Constructions
Bhaskar, S. & Kaarsgaard, R., 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 17. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 202).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Integrating region memory management and tag-free generational garbage collection
Elsman, Martin & Hallenberg, N., 2021, In: Journal of Functional Programming. 31, 31 p., e4.Research output: Contribution to journal › Review › Research › peer-review
- Published
Measuring Asset Composability as a Proxy for DeFi Integration
von Wachter, Carl Victor, Jensen, J. R. & Ross, Omry, 2021, Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Revised Selected Papers. Bernhard, M., Bracciali, A., Gudgeon, L., Haines, T., Klages-Mundt, A., Matsuo, S., Perez, D., Sala, M. & Werner, S. (eds.). Springer, p. 109-114 6 p. (Lecture Notes in Computer Science, Vol. 12676).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Multi-head Self-attention with Role-Guided Masks
Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (eds.). Springer, p. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12657 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Occam to Go translator
Brolos, M., Johnsen, Carl-Johannes & Skovhede, K., 2021, Proceedings - 2021 Concurrent Processes Architectures and Embedded Systems Conference, COPA 2021. IEEE, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On Position Embeddings in BERT
Wang, B., Shan, L., Lioma, Christina, Jiang, X., Yang, H., Liu, Q. & Simonsen, Jakob Grue, 2021, p. 1-21.Research output: Contribution to conference › Paper › Research
- Published
Principled Multi-Aspect Evaluation Measures of Rankings
Maistro, Maria, Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, Inc, p. 1232-1242Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Projected hamming dissimilarity for bit-level importance coding in collaborative filtering
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, p. 261-269Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Proof-directed program transformation: A functional account of efficient regular expression matching
Filinski, Andrzej, 2021, In: Journal of Functional Programming. 31, 38 p., e12.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Reversible Functional Array Programming
Mogensen, Torben Ægidius, 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer, p. 45-63 19 p. (Lecture Notes in Computer Science, Vol. 12805 ).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semantic Classification and Evaluation
Chaves Lima, L., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 135 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations
Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (eds.). Springer, p. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12813 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tameness in least fixed-point logic and mccolm’s conjecture
Bhaskar, S. & Kruckman, A., 2021, In: Logical Methods in Computer Science. 17, 1, p. 2:1-2:16 2.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting
Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 195).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Thicket Density
Bhaskar, S., 2021, In: Journal of Symbolic Logic. 86, 1, p. 110-127 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Time-efficient Bayesian Inference for a (Skewed) von Mises Distribution on the Torus in a Deep Probabilistic Programming Language
Rønning, Ola, Ley, C., Mardia, K. V. & Hamelryck, Thomas Wim, 2021, 2021 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI). IEEE, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards size-dependent types for array programming
Henriksen, Troels & Elsman, Martin, 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, Inc., p. 1-14 14 p. 3464310Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Unsupervised multi-index semantic hashing
Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, Inc, p. 2879-2889 (The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Verification of Program Transformations with Inductive Refinement Types
Al-Sibahi, A. S., Jensen, Thomas Philip, Dimovski, A. S. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 33 p., 5.Research output: Contribution to journal › Journal article › Research › peer-review
- 2020
- Published
Bayesian protein superposition using Hamiltonian Monte Carlo
Sanz Moreta, Lys, Al-Sibahi, A. S. & Hamelryck, Thomas Wim, Oct 2020, Proceedings - IEEE 20th International Conference on Bioinformatics and Bioengineering, BIBE 2020. IEEE, p. 1-11 9288019Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
4558
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4111
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2510
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review