"David Whitmer"@cs .