"David Harlock"@cs .