Research
My early research work was in the areas of program analysis and
program transformation. This included the first extension of the
deforestation algorithm to higherorder languages.
More recent research in the area of program transformation has
resulted in the development of the distillation algorithm,
which is a major advance over deforestation and gives orders of
magnitude improvement in both the time and space usage of
programs, as opposed to the higherorder deforestation algorithm,
which can only give a linear improvement. It turns out that
distillation can be applied in many different areas:
 Theorem Proving
 Automatic Program Construction
 Program Verification
 Program Improvement
 Program Parallelization
 Energy Efficient Computing
Current Research Students
Michael Dever
Venkatesh Kannan
Previous Research Students
Ben Aziz
Bernadette Power
Humayun Kabir (awarded Ph.D. in absentia)
Gavin MendelGleason (awarded Ph.D. in absentia)
