Michael Kirkedal Thomsen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
- 2024
- Published
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Nielsen, Lars-Bo Vadgaard, Kirkeby, M. H., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer VS, p. 77-93 (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
- Published
Jeopardy: An Invertible Functional Programming Language
Kristensen, Joachim Tilsted, Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 124-141 (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
- 2023
- Published
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, p. 73–88 (Lecture Notes in Computer Science, Vol. 13960).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2020
- Published
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 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. 187-207 (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
- 2019
- Published
Preface
Thomsen, Michael Kirkedal & Soeken, M., 2019, Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Springer, p. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research
- 2018
- Published
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 304-321 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Encryption and reversible computations: Work-in-progress paper
Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, p. 331-338 (Lecture notes in computer science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2017
- Published
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., Dec 2017, In: Journal of Low Power Electronics. 13, 4, p. 633-641 9 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Generating and checking control logic in the HDL-based design of reversible circuits
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, p. 7-12 6 p. 7977045Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 12085624
Most downloads
-
1157
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report › Research
Published -
11
downloads
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published