"Lo\u00EFc Burkhalter"@cs .