D. Ye: "Accelarating Dynamic Detection of Memory Errors for C Programs via Static Analysis"; Supervisor, Reviewer: J. Knoop; The University of New South Wales, Sydney, Australia, 2015.