Q. Cai: "Profile-Guided Redundancy Elimination"; Supervisor, Reviewer: J. Knoop; The University of New South Wales, Sydney, Australia, 2006; oral examination: 2006-07.