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 2023, le jury est 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 actualités de ce prix de thèse sont disponibles ici.
Lauréats pour les soutenances de 2020 à 2023.
| Année | Lauréat | Thèse |
|---|---|---|
2023 | Xavier DENIS (prix) | Deductive Verification of Rust Programs. |
| 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. | |
| Frédéric RECOULES (accessit) | Vérification automatique de code bas-niveau : C, assembleur et binaire. |
| 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 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 2015 | Mounir 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 2015 | Thibaut 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 2016 | Jacques-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 2017 | Gwendal 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 2017 | Alexandre 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 2018 | Martin 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 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 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 |