"Mark Barnet"@cs .