"Martin Dempsey"@cs .