One paper, by Max Schaefer, Torbjorn Ekman and Oege de Moor concerns the implementation of the renaming refactoring transformation on Java programs. All existing refactoring tools have subtle bugs in the implementation of renaming. In this paper, it is shown how one can systematically derive the implementation of renaming from the implementation of lookup rules, expressed as an attribute grammar.

Another paper is by Benjamin Bellamy, Pavel Avgustinov, Oege de Moor and Damien Sereni. It concerns an efficient algorithm for deriving types of local variables in Java bytecode. Existing algorithms, in particular the one in the Soot framework, focus on good worst-case performance. By contrast, the algorithm presented here is optimised for the common case. In practice, it gives a speedup of a factor of six over the state of the art.

This is the second year running that the Programming Tools Group has two papers in the main research track at OOPSLA.