"Benjamin Vandervoort"@cs .