Research output per year
Research output per year
Research output
- 12 results
Search results
-
2024
Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations
Kirkeby, M. H., Santos, B., Fernandes, J. P. & Pardo, A., 8 Apr 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, p. 1104-1113 10 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Vadgaard, L. B. H., Kirkeby, M. H., Larsen, K. F. & Thomsen, M. K., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 77-93 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
2021
An inversion tool for conditional term rewriting systems – A case study of Ackermann inversion
Mikkelsen, M. B., Glück, R. & Kirkeby, M. H., 6 Sept 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (eds.). EPTCS, p. 33-41 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; No. 341).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
2020
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
Kirkeby, M. H. & Glück, R., 1 Sept 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. New York: Association for Computing Machinery, p. 1-14 14 p. 3414089Research 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, Vol. 312. p. 43-57 15 p. (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, Revised Selected Papers: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Cham: Springer, p. 243-259 17 p. (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
-
2019
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 18 p. (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 -
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs
Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (ed.). Cham: Springer, p. 112-130 19 p. (Lecture Notes in Computer Science, Vol. 11285). (Theoretical Computer Science and General Issues; No. 11285).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access -
2018
Confluence and Convergence in Probabilistically Terminating Reduction Systems
Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
File -
2015
Confluence Modulo Equivalence in Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile -
Probabilistic Output Analysis by Program Manipulation
Rosendahl, M. & Kirkeby, M. H., 29 Sept 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access -
2014
Confluence Modulo Equivalence in Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H., 2014, Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (eds.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, p. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review