Dorostkar, F. (2025). Détection à faible surcoût des conditions de course et des violations de la sûreté de la mémoire de tas [Thèse de doctorat, Polytechnique Montréal]. Disponible