Élodie-Jane Sims: Pointer Analysis and Separation Logic. (Analyses de Pointeurs et Logique de Séparation). École Polytechnique, Palaiseau, France 2007