Onion Information
Soutenance de thèse — Julien Lepiller
Bonus - Les collègues m'ont préparé une affiche de thèse ♥ - ( référence générale et une incrustée , une autre , encore une et une moins évidente )
Onion Details
Page Clicks: 0
First Seen: 03/12/2024
Last Indexed: 10/22/2024
Onion Content
Soutenance de thèse par Julien Lepiller - lun. 02 décembre 2019 Je soutiendrai ma thèse « Vérification d'isolation de fautes logicielle » le 11 décembre 2019 à 14h, en salle Métivier à l'Inria Rennes. La soutenance sera suivie d'un pot en salle Sein. Résumé Nous sommes habitués à utiliser des ordinateurs sur lesquels coopèrent des programmes d'origines diverses. Chacun de ces programmes a besoin d'accéder à de la mémoire vive pour fonctionner correctement, mais il ne faudrait pas qu'un programme accède ou modifie la mémoire d'un autre programme. Si cela ce produisait, les programmes ne pourraient plus faire confiance à la mémoire et pourraient se comporter de manière erratique. Les programmeurs n'ont pourtant pas besoin de se mettre d'accord à l'avance sur les zones mémoire qu'ils pourront ou non utiliser. Le matériel s'occupe d'allouer des zones de mémoire distinctes pour chaque programme. Tout cela est transparent pour le programmeur. Un programme malveillant ne pourrait d'ailleurs pas non plus accéder ou modifier la mémoire d'un autre programme pour l'attaquer directement. Mais il existe une catégorie de programmes qui ne bénéficient pas de cette protection : les modules qui étendent les fonctionnalités d'autres programmes, comme un module complémentaire de navigateur. Cette thèse repose sur une technique d'isolation de faute logicielle, et non matérielle et en propose deux sémantiques, l'une parallèle et pas l'autre, ainsi qu'un analyseur statique basé sur l'interprétation abstraite. Elle présente aussi une preuve de correction de l'analyseur. Jury Marie-Laure POTET - Université de Grenoble Alpes Antoine MINE - LIP6 Gustavo PETRI - Arm Ltd Sandrine BLAZY - Université de Rennes 1 Frédéric BESSON - Inria Thomas JENSEN - Inria Lieu La soutenance aura lieu en salle Métivier, à l'Inria Rennes. Le bâtiment se trouve sur le campus de Beaulieu de l'Université Rennes I. Vous pouvez vous garer sur le campus ou venir en bus à l'arrêt Les Préales (C4 ou C6 depuis République). L'entrée se trouve ici . Vous devrez présenter une pièce d'identité à l'accueil. Bonus Les collègues m'ont préparé une affiche de thèse ♥ ( référence générale et une incrustée , une autre , encore une et une moins évidente )