"David Shea"@cs .