- 2022
- 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
- 2021
- 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
- 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
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
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
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
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
Better database cost/performance via batched I/O on programmable SSD.
Do, J., Picoli, I. L., Lomet, D. B. & Bonnet, Philippe, 2021, In: V L D B Journal. 30, 3, p. 403-424 22 p., 3.Research output: Contribution to journal › Journal article › 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
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
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
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
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
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
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
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
Not your Grandpa's SSD: The Era of Co-Designed Storage Devices.
Lerner, A. & Bonnet, Philippe, 2021, SIGMOD Conference. p. 2852-2858 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
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
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
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
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
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
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
Most downloads
-
4505
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4103
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2506
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