"Rodrigo Lavins"@cs .