Prix de thèse GPL 2018

Les lauréats du prix de thèse GPL 2018 ont reçu leur prix à l'occasion des journées nationales GPL 2019.

Le prix leur a été remis par Pascale Le Gall, Présidente du jury. Les deux lauréats ont été invités à faire une présentation de leurs travaux.

Le prix de thèse 2019 a été attribué à Martin Clochard pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels"  réalisée à l'Université Paris-Saclay, sous la direction scientifique de Claude Marché et Andrei Paskevich. Ses transparents sont disponibles ici.

Le jury a également décidé d'attribuer un accessit à Thomas Durieux, pour sa thèse intitulée "From run-time failures to patches: study of patch generation in production" réalisée à l'Université de Lille, sous la direction de Martin Monperrus, Lionel Seinturier et Youssef Hamadi. Ses transparents sont disponibles ici.