"Pascal Pistacio"@cs .