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 2023, le jury était présidé par Pascal Poizat et est constitué des membres suivants : B. Baudry, S. Bliudze, I. Borne, S. Chabridon, S. Conchon, S. Costiou, F. Dabrowski, S. Ebersold, A. Giorgetti, Y.-G. Guéhéneuc, D. E. Khelladi, N. Kosmatov, N. Kushik, M. Lhommeau, S. Mosser, A. Noureddine, T. Polacsek, G. Salaün, P. Temple.
Les articles récents relatifs au prix de thèse sont les suivants :
L’archive des articles de ce prix de thèse (jusque 2024) est disponible ici.
Lauréats pour les soutenances de 2020 à 2023.
| Année | Lauréat | Thèse |
|---|---|---|
| 2023 | Xavier DENIS (prix) | Deductive Verification of Rust Programs. Université Paris Saclay / LMF sous la direction de Claude Marché |
| Sylvain GUERIN (accessit) | FML : un langage de fédération de modèles pour l’interopérabilité sémantique de sources d’information hétérogènes. ENSTA Bretagne / Lab-STICC sous la direction d’Antoine Beugnard et Joël Champeau | |
| Youcef REMIL (accessit) | A Data Mining Perspective on Explainable AIOps with Applications to Software Maintenance. Université de Lyon / INSA Lyon sous la direction de Jean-François Boulicaut | |
| 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 | |
| 2020 | Benjamin 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ée | Lauréat | Thè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 graphiquespré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émentQuinton | 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 | JulienHenry | 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 2015 | Mounir Assaf | Approches qualitatives et quantitatives d’analyse de programmes : mise en oeuvre permissive de flux d’information sécuriséspré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 2015 | Thibaut Antignac | Méthodes formelles pour le respect de la vie privée par constructionré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 2016 | Jacques-Henri Jourdan | Verasco: a Formally Verified C Static Analyzerréalisée à INRIA Paris sous la direction scientifique de Xavier Leroy |
| Accessit 2016 | Antoine Delignat-Lavaud | On the Security of Authentification Protocols for the Webré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 Feedbackré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 Analysispré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 2017 | Gwendal Daniel | Efficient Persistence, Query, and Transformation of Large Modelsréalisée à l’IMT Atlantique, sous la direction scientifique de Jordi Cabot et Gerson Sunyé |
| Accessit 2017 | Alexandre Maréchal | Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétriqueréalisée au laboratoire Verimag, sous la direction de David Monniaux et Michaël Périn |
| Prix 2018 | Martin Clochard | Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentielsréalisée à l’Université Paris-Saclay, sous la direction scientifique de Claude Marché et Andrei Paskevich |
| Accessit 2018 | Thomas 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 languagesré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 |