Byron Cook: Advances in Program Termination and Liveness. VMCAI 2009: 4