"David Malin"@cs .