Programming Languages and Theory of Computing

Read more
1 - 100 out of 271Page size: 100
Sort by: 1st author
  1. Published

    Sentiment Classification of Historical Danish and Norwegian Literary Texts

    Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, A., 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–334

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

  2. Published

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

    Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.

    Research output: Contribution to conference › Poster › Research

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

  4. Published

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Møgelberg, R. E. & Wąsowski, A., 2020, sFrom Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer VS, p. 105-131 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).

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

  5. Published

    Foundations of reversible computation

    Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 1-40 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

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

  6. Published

    Diversity and Inclusion Activities in Database Conferences: A 2021 Report.

    Amer-Yahia, S., Amsterdamer, Y., Bhowmick, S. S., Bonifati, A., Bonnet, P., Borovica-Gajic, R., Catania, B., Cerquitelli, T., Chiusano, S., Chrysanthis, P. K., Curino, C., Darmont, J., Abbadi, A. E., Floratou, A., Freire, J., Jindal, A., Kalogeraki, V., Koutrika, G., Kumar, A., Maiyya, S. & 13 others, Meliou, A., Mohanty, M., Naumann, F., Noack, N. S., Özcan, F., Peterfreund, L., Rahayu, W., Tan, W., Tian, Y., Tözün, P., Vargas-Solar, G., Yadwadkar, N. J. & Zhang, M., 2022, In: SIGMOD Record. 51, 2, p. 69-73 5 p., 2.

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

  7. Published

    Personal Data Management Systems: The security and functionality standpoint.

    Anciaux, N., Bonnet, Philippe, Bouganim, L., Nguyen, B., Pucheral, P., Popa, I. S. & Scerri, G., 2019, In: Inf. Syst.. 80, p. 13-35 23 p.

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

  8. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

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

  9. Published

    Debat | Forskere: Derfor har Danmark forudsæt­nin­gerne for at blive førende indenfor krypto­ak­tiver

    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

  10. Published

    Certified Compilation of Financial Contracts

    Annenkov, D. & Elsman, Martin, 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY, USA: Association for Computing Machinery, p. 5:1-5:13

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

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

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

  12. Published

    Generating Fact Checking Explanations

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, p. 7352-7364

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

  13. Published

    A Diagnostic Study of Explainability Techniques for Text Classification

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics, p. 3256-3274

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

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

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

  16. Published

    MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims

    Augenstein, Isabelle, Lioma, Christina, Wang, D., Chaves Lima, L., Hansen, C., Hansen, C. & Simonsen, Jakob Grue, 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, p. 4684-4697

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

  17. Published

    Governance of Decentralized Organizations: Lessons from Ethereum

    Avital, M., Jensen, J. R. & Ross, Omry, 2019. 17 p.

    Research output: Contribution to conference › Paper › Research

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

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

  20. Published

    What do reversible programs compute?

    Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).

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

  21. Published

    A simple and efficient universal reversible Turing machine

    Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 117-128 12 p. (Lecture notes in computer science, Vol. 6638).

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

  22. Published

    MicroPower - Towards Low-power Microprocessors with Reversible Computing

    Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

    Research output: Contribution to journal › Journal article › Communication

  23. Published

    Reversible machine code and its abstract processor architecture

    Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

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

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

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

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

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

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

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

  29. Published

    Subclasses of Ptime Interpreted by Programming Languages

    Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472

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

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

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

  32. Published

    Boolean monadic recursive schemes as a logical characterization of the subsequential functions

    Bhaskar, S., Chandlee, J., Jardine, A. & Oakden, C., 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer VS, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12038 LNCS).

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

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

  34. Published

    LightNVM: The Linux Open-Channel SSD Subsystem.

    Bjørling, M., González, J. & Bonnet, Philippe, 2017, FAST. p. 359-374 16 p.

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

  35. Published

    Letter from the Special Issue Editor.

    Bonnet, Philippe, 2020, In: IEEE Data Eng. Bull.. 43, 1, p. 2-3 2 p., 1.

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

  36. Published

    What's Up with the Storage Hierarchy?

    Bonnet, Philippe, 2017, CIDR.

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

  37. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338

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

  38. Published

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, p. 63-81

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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

  40. Published

    International Workshop on Program Understanding. Proceedings

    Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.

    Research output: Book/Report › Anthology › Research

  41. Published

    Proof complexity of systems of (non-deterministic) decision trees and branching programs

    Buss, S., Das, A. & Knop, A., Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 152).

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

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

  43. Published

    niversity of Copenhagen Participation in TREC Health Misinformation Track 2020: U

    Chaves Lima, L., Wright, ,. D. B., Augenstein, Isabelle & Maistro, Maria, 2020, Proceedings of the Twenty-Ninth Text REtrieval Conference (TREC 2020). Voorhees, E. M. & Ellis, A. (eds.). National Institute of Standards and Technology (NIST), 16 p. (NIST Special Publication; No. 1266).

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

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

  45. Published

    DAPHNE: An Open and Extensible System Infrastructure for Integrated Data Analysis Pipelines.

    Damme, P., Birkenbach, M., Bitsakos, C., Boehm, M., Bonnet, P., Ciorba, F. M., Dokter, M., Dowgiallo, P., Eleliemy, A., Faerber, C., Goumas, G. I., Habich, D., Hedam, N., Hofer, M., Huang, W., Innerebner, K., Karakostas, V., Kern, R., Kosar, T., Krause, A. & 21 others, Krems, D., Laber, A., Lehner, W., Mier, E., Paradies, M., Peischl, B., Poerwawinata, G., Psomadakis, S., Rabl, T., Ratuszniak, P., Silva, P., Skuppin, N., Starzacher, A., Steinwender, B., Tolovski, I., Tözün, P., Ulatowski, W., Wrosz, I. P., Zamuda, A., Zhang, C. & Zhu, X., 2022, CIDR.

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

  46. 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, 2020, EC 2020 - Proceedings of the 21st ACM Conference on Economics and Computation. Association for Computing Machinery, p. 69-70 2 p. 3399520

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

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

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

  49. Published

    Focussing, MALL and the Polynomial Hierarchy

    Das, A., 30 Jun 2018, Automated reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer, p. 689-705 (Lecture Notes in Computer Science, Vol. 10900).

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

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

  51. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  52. Published

    Normalization and Partial Evaluation

    Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, p. 137-192 (Lecture notes in computer science; No. 2395).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Education

  53. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13

    Research output: Contribution to journal › Journal article › Research

  54. Published

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, p. 1-14

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  55. Published

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, p. 6-13

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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

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

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

  59. Published

    Data-parallel flattening by expansion

    Elsman, Martin, Henriksen, Troels & Serup, N. G. W., 8 Jun 2019, ARRAY 2019 - Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2019. Gibbons, J. (ed.). Association for Computing Machinery, p. 14-24

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

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

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

  62. Published

    On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML

    Elsman, Martin & Hallenberg, N., 2020, Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings. Komendantskaya, E. & Liu, Y. A. (eds.). Springer VS, p. 95-112 18 p. (Lecture Notes in Computer Science, Vol. 12007 LNCS).

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

  63. Published

    SMLtoJs: Hosting a standard ML compiler in a Web browser

    Elsman, Martin, 2011, PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients. p. 39-48 10 p. (PLASTIC'11 - Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Language and Systems Technologies for Internet Clients).

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

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

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

  66. Published

    EDITOR Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016

    Elsman, Martin (ed.), Grelck, C. (ed.), Klöckner, A. (ed.) & Padua, D. A. (ed.), 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016. Association for Computing Machinery, Inc., 69 p.

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

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

  68. Published

    Static Interpretation of Higher-order Modules in Futhark: Functional GPU Programming in the Large

    Elsman, Martin, Henriksen, Troels, Annenkov, D. & Oancea, Cosmin Eugen, 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery, Vol. 2. p. 97:1-97:30 30 p.

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

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

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

  71. Published

    A Denotational Account of Untyped Normalization by Evaluation

    Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

  72. Published

    On the relations between monadic semantics

    Filinski, Andrzej, 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75

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

  73. Published

    Towards a comprehensive theory of monadic effects

    Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, p. 1-1 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  74. Published

    Normalization by Evaluation for the Computational Lambda-Calculus

    Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (ed.). Springer, p. 151-165 (Lecture notes in computer science; No. 2044).

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

  75. Published

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-28 86.

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

  76. Published

    Massively-parallel change detection for satellite time series data with missing values

    Gieseke, Fabian Cristian, Rosca, S., Henriksen, Troels, Verbesselt, J. & Oancea, Cosmin Eugen, 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, p. 385-396 9101616

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

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

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

  78. Published

    Reversible programs have reversible semantics

    Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer VS, p. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12233 LNCS).

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

  79. Published

    Bootstrapping compiler generators from partial evaluators

    Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).

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

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

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

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

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

  84. Published

    Making programs reversible with minimal extra data

    Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480

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

  85. Published

    Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

    Glück, Robert (ed.) & Yokoyama, T. (ed.), 2013, Springer. 241 p. (Lecture notes in computer science, Vol. 7581).

    Research output: Book/Report › Anthology › Research › peer-review

  86. Published

    A self-applicable online partial evaluator for recursive flowchart languages

    Glück, Robert, 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.

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

  87. Published

    Is there a fourth Futamura projection?

    Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 51-60 10 p.

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

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

  89. Published

    Constructing a binary tree from its traversals by reversible recursion and iteration

    Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

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

  90. Published

    Reversible computing from a programming language perspective (extended abstract)

    Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Vol. 2. p. 410-412 3 p. (Lecture Notes in Computer Science, Vol. 12233).

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

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

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

  93. Published

    Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss

    Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2019, In: CEUR Workshop Proceedings. 2380, 8 p.

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

  94. Published

    Contextually propagated term weights for document representation

    Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 18 Jul 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).

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

  95. Published

    Unsupervised neural generative semantic hashing

    Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 735-744 10 p.

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

  96. Published

    Fact Check-Worthiness Detection with Contrastive Ranking

    Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2020, Experimental IR Meets Multilinguality, Multimodality, and Interaction - 11th International Conference of the CLEF Association, CLEF 2020, Proceedings. Arampatzis, A., Kanoulas, E., Tsikrika, T., Vrochidis, S., Joho, H., Lioma, C., Eickhoff, C., Névéol, A., Névéol, A., Cappellato, L. & Ferro, N. (eds.). Springer, p. 124-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12260 LNCS).

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

  97. Published

    Unsupervised Semantic Hashing with Pairwise Reconstruction

    Hansen, C., Hansen, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 2009-2012 4 p.

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

  98. Published

    Content-aware Neural Hashing for Cold-start Recommendation

    Hansen, C., Hansan, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 971-980 10 p.

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

  99. Published

    Neural check-worthiness ranking with weak supervision: Finding sentences for fact-checking

    Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 994-1000 7 p.

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

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

Previous 1 2 3 Next