"Michael Dempsey"@cs .