Prix de thèse GPL

Depuis 2013, le GDR GPL décerne annuellement un prix de thèse.

  • Le prix recompense les thèses soutenues dans l'année. Il est décerné par un jury d'experts couvrant les thématiques du GDR GPL.
  • Le dossier de candidature comporte une lettre de présentation, un CV, une lettre de soutien du ou des directeurs de thèse et les rapports de pré-soutenance et de soutenance.
  • Les actualités de ce prix de thèse sont disponibles ici.

Liste des lauréats du prix de thèse GPL

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.