Titre de la thèse : Détection à faible surcoût des conditions de course et des violations de la sûreté de la mémoire de tas
Présenté par : Farzam Dorostkar
Programme : Génie informatique et génie logiciel
Département : Dép. de génie informatique et génie logiciel
Jury
Président : François-Raymond Boyer
Directeur de recherche : Michel Dagenais
Codirecteur de recherche : Heng Li
Membre : Maxime Lamothe
Membre externe : Shervin Vakili
Représentant du directeur des études supérieures : Samira Keivanpour
Entrée libre
Bienvenue à tous!