"Pablo Pintos"@cs .