"Trey Anastasio"@cs .