"Catherine Laborde"@cs .