About

I graduated in Nouveaux Systèmes Informatiques at Université Paris Sud in 2014. I am now a PhD. student at Laboratoire de Recherche en Informatique and teaching assistant at IUT d'Orsay. My research is oriented towards verification of concurrent programs on weak memory models via model checking techniques.

Research

I am currently working on Cubicle-TSO, an extension of the Cubicle model checker that adds support for the TSO weak memory model.

Publications

Vérification de programmes assembleur concurrents sur modèle mémoire x86-TSO
Master's degree internship report, Université Paris-Sud, Orsay, September 2014

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières
Sylvain Conchon, David Declerck, Luc Maranget and Alain Mebsout
In Vingt-Cinquièmes Journées Francophones des Langages Applicatifs, Fréjus, France, January 2014

Teachings

IUT Orsay - Principes des systèmes d'exploitation (S3)
Algorithmique Avancée (S3)
Conception et Programmation Orientée Objet (S3)

Responsibilities

EDIPS - Ph.D. students representative (2014-2015)
ED STIC - Ph.D. students representative (2014-2015)