This work was carried out by Myrto Zehnder from ETH Zurich and Peter Chubb from Gelato@UNSW.
Myrto hadn't seen a C program bigger than 200 lines or so when she started, so it was an immense learning experience for her.
Peter you probably know... he's been leading the Gelato@UNSW team for three years, helped start SLUG (although family pressures prevent his taking much of a part in SLUG at present), and is a
regular contributer to open source projects including the Linux kernel.
The talk will be given by Peter Chubb.