"Troy Van Leeuwen"@cs .