"Josh Weinstein"@cs .