Abstraction de tableaux  Algorithmes  Analyse de pointeurs  Analyse de programmes  Analyse dynamique de malware  Analyse statique  Analyse statique modulaire  Assembleur  Assembleur inline  Bisimulation  Canaux cachés  Code C  Code source  CompCert  Compilation  Compilation  Compilation certifiée  Compilation sécurisée  Concurrence  Constant-Time  Coq  Coq  Cryptographie  Différences de programmes  Domaine abstrait  Débogage  Détection de malware  Glaneur de cellule  Google Android  Graphes, Théorie des  Informatique  Interprétation abstraite  Langages de programmation -- Sémantique  Logiciels -- Vérification  Vérification  Vérification formelle  

David Pichardie a rédigé la thèse suivante :

Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certifiés

par David Pichardie sous la direction de Thomas Jensen - Rennes 1

Informatique

Soutenue en 2005

David Pichardie dirige actuellement la thèse suivante :

Analyse statique relationelle pour la sécurité des programmes

par Solène Mirliaz sous la direction de David Pichardie - Rennes, École normale supérieure

Informatique

En préparation depuis le 01-09-2019

David Pichardie a dirigé les 6 thèses suivantes :

Verified Programming at the Intersection of Dependent Types and Static Analysis

par Lucas Franceschino sous la direction de Jean-Pierre Talpin et de David Pichardie . - Rennes, École normale supérieure

Informatique

Soutenue le 10-12-2021

Verified Secure Compilation against Timing Side-Channels

par Rémi Hutin sous la direction de Sandrine Blazy et de David Pichardie . - Rennes, École normale supérieure

Informatique

Soutenue le 01-12-2021

Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée

par Alix Trieu sous la direction de Sandrine Blazy et de David Pichardie . - Rennes 1

Informatique

Soutenue le 04-12-2018

Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques

par Yon Fernández de Retana sous la direction de David Pichardie et de Delphine Demange . - Rennes 1

Informatique

Soutenue le 05-07-2018

Verification of a Concurrent Garbage Collector

par Yannick Zakowski sous la direction de David Cachera et de David Pichardie . - Rennes, École normale supérieure

Informatique

Soutenue le 19-12-2017

Static analysis of numerical properties in the presence of pointers

par Zhoulai Fu sous la direction de Thomas Jensen et de David Pichardie . - Rennes 1

Informatique

Soutenue le 22-07-2013

David Pichardie a été président de jury de la thèse suivante :

Caractérisation et détection de malware Android basées sur les flux d'information.

par Radoniaina Andriatsimandefitra Ratsisahanana sous la direction de Ludovic Mé - Supélec

Informatique (STIC)

Soutenue le 15-12-2014

David Pichardie a été rapporteur des 5 thèses suivantes :

Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite

par Marc Chevalier sous la direction de Jérôme Feret - Université Paris sciences et lettres

Informatique

Soutenue le 27-11-2020

Vérification par interprétation abstraite en mémoire faiblement cohérente

par Thibault Suzanne sous la direction de Antoine Miné - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 26-02-2019

Certified algorithms for program slicing

par Jean-Christophe Léchenet sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 19-07-2018

Differential program semantics

par Thibaut Girka sous la direction de Roberto Di Cosmo et de David Mentré . - Sorbonne Paris Cité

Informatique

Soutenue le 03-07-2018

Static analysis on numeric and structural properties of array contents

par Jiangchao Liu sous la direction de Xavier Rival - Paris Sciences et Lettres (ComUE)

Informatique

Soutenue le 20-02-2018

David Pichardie a été membre de jury de la thèse suivante :

Semantic foundations of intermediate program representations

par Delphine Demange sous la direction de Thomas Jensen - Cachan, Ecole normale supérieure

Informatique

Soutenue le 19-10-2012