From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode. - Richard Warburton; Sara Kalvala (CC, 2009)

Program transformations using temporal logic side conditions. - Sara Kalvala; Richard Warburton; David Lacey (ACM Trans. Program. Lang. Syst., 2009)

On the generation and analysis of program transformations. - Richard Warburton (2010)

A Formal Approach to Fixing Bugs. - Sara Kalvala; Richard Warburton (SBMF, 2011)