"Mathieu Duval"@cs .