Prix de thèse GPL

Créé en 2013 pour récompenser chaque année une excellente thèse préparée au sein du GDR GPL, le Prix de thèse du GDR GPL a pour objectif de promouvoir les travaux du GDR GPL auprès de la communauté informatique.

Le prix est décerné par un jury couvrant les thématiques du GDR GPL. Pour l'édition concernant les thèses soutenues en 2022, le jury est présidé par Pascal Poizat et est constitué des membres suivants : R. Ameur-Boulifa, E. Cariou, S. Chabridon, S. Costiou, J. Deantoni, Th. Degueule, D. Delahaye, A. Etien, J.-L. Giavitto, A. Giorgetti, L. Henrio, A. Hurault, N. Kosmatov, R. Laleau, M. Lhommeau, P.-E. Moreau, S. Mosser, A. Noureddine, S. Sadou.

Les actualités de ce prix de thèse sont disponibles ici.

 

Lauréats pour les soutenances en 2020, 2021 et 2022.

AnnéeLauréatThèse

 2022

Paulo Emilio DE VILHENA
(prix)
Preuves de programmes avec effect handlers.
Université Paris Cité / INRIA
sous la direction de François Pottier
 Faezeh KHORRAM
(accessit)
A testing framework for executable domain-specific languages.
IMT Atlantique / LS2N
sous la direction de Gerson Sunyé

2021

Antoine PIETRI
(prix)
Organizing the graph of public software development for large-scale mining.
Université Paris Cité / INRIA
sous la direction de Stefano Zacchiroli
 Victor LANVIN
(accessit)
 

A semantic foundation for gradual set-theoretic types.
Université Paris Cité / IRIF
sous la direction de Giuseppe Castagna.

 

 

Frédéric RECOULES
(accessit)
 

Vérification automatique de code bas-niveau : C, assembleur et binaire.
Université Grenoble Alpes / VERIMAG
sous la direction de Marie-Laure Potet, Sébastien Bardin et Richard Bonichon

2020Benjamin FARINIER
(prix)
Procédures de décision pour l'analyse de vulnérabilités.
Université Grenoble-Alpes / VERIMAG
sous la direction de Marie-Laure Potet et Sébastien Bardin
 Valentin BESNARD
(accessit)
EMI - Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués.
ENSTA Bretagne / Lab-STICC
sous la direction de Philippe Dhaussy, Matthias Brun et Ciprian Teodorov.
 Lelio BRUN
(accessit)
Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation.
Université Paris Sciences et Lettres / DIENS
sous la direction de Marc Pouzet et Timothy Bourke.

 

Liste des années antérieures

AnnéeLauréatThèse
2012

Gabriel Kerneis

Continuation-Passing C: Program Transformation for Compiling Concurrency in an Imperative Language.

effectuée au laboratoire PPS sous la direction de Juliusz Chroboczek.

2013

Mathias Bourgoin

 

Abstractions performantes pour cartes graphiques

préparée  à l'Université Pierre et Marie Curie  au sein du laboratoire LIP6  dans l'école doctorale Informatique, Télécommunications, et Electronique, sous la direction scientifique des professeurs Emmanuel Chailloux et Jean-Luc Lamotte

Prix 2014

Clément

Quinton

Cloud Environment Selection and Configuration : A Software Product Lines –based Approach  

préparée au sein  du LIFL  à l’Université de Lille  sous la direction scientifique de  Laurence Duchien, Professeure.

Acessit 2014

Julien

Henry

Static Analysis by Abstract Interpretation  and Decison Procedures  

préparée au sein de VERIMAG  à l’Université de Grenoble  sous la direction scientifique de David Monniaux, DR CNRS ,  et de Matthieu Moy,  MCF Grenoble INP.

Prix 2015Mounir Assaf

Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés

préparée dans l'équipe commune CIDRE (INRIA, CentraleSupélec, CNRS et Rennes 1) et le Laboratoire de Sûreté des Logiciels au CEA LIST, sous la direction scientifique de Eric Totel ainsi que Julien Signoles et Frédéric Tronel

Accessit 2015Thibaut Antignac

Méthodes formelles pour le respect de la vie privée par construction

réalisée au sein de l'équipe Privatics de   Inria Grenoble Rhône-Alpes/CITI lab,  sous la direction scientifique de Daniel Le Métayer

Prix 2016Jacques-Henri Jourdan

Verasco: a Formally Verified C Static Analyzer

réalisée à INRIA Paris sous la direction scientifique de Xavier Leroy

Accessit 2016

Antoine Delignat-Lavaud

On the Security of Authentification Protocols for the Web

réalisée à INRIA Paris sous la direction scientifique de Karthikeyan Bhargavan

Accessit 2016

Maria Gomez

Towards Improving the Quality of Mobile Applications by Leveraging Crowdsourced Feedback

réalisée à INRIA Lille sous la direction scientifique de Romain Rouvoy et Lionel Seinturier

Accessit 2016

Jabier Martinez

Mining Software Artifact Variants for Product Line Migration and Analysis

préparée à  l'université Pierre et Marie Curie et à l'université du Luxembourg, sous la direction scientifique de Yves Le Traon, Mikal Ziane et Tewfik Ziadi

Prix 2017Gwendal Daniel

Efficient Persistence, Query, and Transformation of Large Models

réalisée à l'IMT Atlantique, sous la direction scientifique de Jordi Cabot et Gerson Sunyé

Accessit 2017Alexandre Maréchal

Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique

réalisée au laboratoire Verimag, sous la direction de David Monniaux et Michaël Périn

Prix 2018Martin Clochard

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

Accessit 2018Thomas Durieux

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

Prix 2019

Tommaso Petrucciani

Polymorphic set-theoretic types for functional languages

réalisée en cotutelle entre l'Université Paris Diderot, sous la direction de Guiseppe Castagna et l’Università degli Studi di Genova (Italie) sous la direction de Elena Zucca