"Dan Vickrey"@cs . "D. Vickrey"@cs .