Programming Languages and Theory of Computing

Read more
76 - 100 out of 272Page size: 25
  1. 2022
  2. Published

    VLDB 2021: Designing a Hybrid Conference.

    Tözün, P., Naumann, F., Bonnet, Philippe & Dong, X. L., 2022, In: SIGMOD Record. abs/2202.08069

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

  3. 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-75

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

  4. 2021
  5. 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

  6. 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 5

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

  7. 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

  8. 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

  9. 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. 3464309

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

  10. 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

  11. 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

  12. Published

    Bounds Checking on GPU

    Henriksen, Troels, 2021, In: International Journal of Parallel Programming. 49, 6, p. 761-775

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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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-1242

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

  23. 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-269

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

  24. 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

  25. 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

  26. 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

  27. 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

Previous 1 2 3 4 5 6 7 8 ...11 Next