1 citations · 2 across the 4 of their papers we have counts for
4 papers
Design of Reversible Computing Systems; Large Logic, Languages, and Circuits
Michael Kirkedal Thomsen
This PhD dissertation investigates garbage-free reversible computing systems from abstract design to physical gate-level implementation. Designed in reversible logic, we propose a…
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation
Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen +1
Property-based testing is a powerful method to validate program correctness. It is, however, not widely use in industry as the barrier of entry can be very high. One of the hindran…
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invert…
Self-Inverse Functions and Palindromic Circuits
Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck +1
We investigate the subclass of reversible functions that are self-inverse and relate them to reversible circuits that are equal to their reverse circuit, which are called palindrom…