"Mathieu Faivre"@cs .