"Benjamin Van Allen"@cs .