Research output per year
Research output per year
Personal profile
Research
Energy consumption of Software, Analysis of Software, Program Transformation
Keywords
- Computer science, IT
- Program Inversion
- Energy-aware Software Development
- Program Analysis
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 Sep 2020, PPDP '20: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming. New York: Association for Computing Machinery, p. 1-14 14 p. 9Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Probabilistic Output Analyses for Deterministic Programs: Reusing Existing Non-probabilistic Analyses
Kirkeby, M. H., 20 Jan 2020, Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems Prague, Czech Republic, 7th April 2019. Aldini, A. & Wiklicky, H. (eds.). Open Publishing Association, p. 43-57 (Electronic Proceedings in Theoretical Computer Science; No. 312).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access -
Semi-inversion of Conditional Constructor Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 Apr 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Cham: Springer, p. 243-259 (Lecture Notes in Computer Science; No. 12042). (Theoretical Computer Science and General Issues; No. 12042).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., 2019, In: International Journal of Approximate Reasoning. 105, p. 217-228Research output: Contribution to journal › Journal article › peer-review
File -
Confluence of CHR Revisited: Invariants and Modulo Equivalence
Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.
07/09/2021 → 31/05/2022
Project: Research
-
Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
-
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research
Activities
-
31st International Symposium onLogic-based Program Synthesis and Transformation (Event)
Maja Hanne Kirkeby (Member)
7 Sep 2021Activity: Membership › Membership in committee, council, board
-
Energy-Labeling Web-based IT Systems
Maja Hanne Kirkeby (Speaker)
17 Mar 2021Activity: Talk or presentation › Lecture and oral contribution
-
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (Event)
Maja Hanne Kirkeby (Member)
20 Jun 2021Activity: Membership › Membership in committee, council, board
-
20th ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (Event)
Maja Hanne Kirkeby (Member)
17 Aug 2021Activity: Membership › Membership in committee, council, board
-
the Young Scientist's Third International Workshop on Trends in Information Processing 2019 (Event)
Maja Hanne Kirkeby (Member)
17 Sep 2019Activity: Membership › Membership in committee, council, board