"Thatcher Demko"@cs .