research
∙
09/21/2023
Design of Reversible Computing Systems; Large Logic, Languages, and Circuits
This PhD dissertation investigates garbage-free reversible computing sys...
share
research
∙
09/09/2023
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation
Property-based testing is a powerful method to validate program correctn...
research
∙
02/20/2023
Tail recursion transformation for invertible functions
Tail recursive functions allow for a wider range of optimisations than g...
research
∙
12/06/2022
Branching execution symmetry in Jeopardy by available implicit arguments analysis
When the inverse of an algorithm is well-defined – that is, when its out...
research
∙
09/06/2022