Compilation Principles and Techniques for Reversible Languages
Supervisor: Robert Glück
University of Copenhagen, Denmark
Objectives
The DC will study techniques for translating high-level reversible languages to efficient low-level reversible and irreversible representations. Initially the work will build on and develop the prototype compilers for Janus-like and object-oriented reversible languages. The main objective is the development of optimisation techniques for compilation specific to reversible programs, both to reversible and irreversible computer architectures. This includes the development of a benchmark suit specific for reversible compilation.
Expected Results
1) Foundations and novel techniques for optimising compilers comprising program analysis and code generation; 2) Prototype compiler for a Janus-like and an object-oriented reversible language; 3) Benchmark suits and empirical evaluation.
Planned Secondments
M16, THM, U. Meyer, compilers and optimisation; M21, UoM, M. Lujan, instruction set architecture.