"Derek Connolly"@cs .