Prix de thèse GPL

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

 

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