Teaching - Supervision - Juries
PhD: Vitaly Aksenov, “Synchronization Costs in Parallel Programs and Concurrent Data Structures”, ITMO University of Saint Petersburg (Russia) and Université Paris Diderot, September 26, 2018, advised by Petr Kuznetsov and Anatoly Shalyto .
PhD: Pierrick Couderc, “Vérification des résultats de l'inférence du compilateur OCaml”, Université Paris-Saclay, October 23, 2018, advised by Michel Mauny et Fabrice Le Fessant .
PhD in progress: Albin Coquereau, “Amélioration de performances pour le solveur SMT Alt-Ergo: conception d'outils d'analyse, optimisations et structures de données efficaces pour OCaml,” Université Paris-Saclay, since October 2015, advised by Michel Mauny, Sylvain Conchon (LRI, Université Paris-Sud) and Fabrice Le Fessant.
PhD in progress: Glen Mével, “Towards a system for proving the correctness of concurrent Multicore OCaml programs”, Université Paris Diderot, since November 2018, advised by Jacques-Henri Jourdan and François Pottier.
Xavier Leroy was a member of the jury for the Habilitation defense of Julien Signoles (Université Paris Sud, July 2018).
Xavier Leroy chaired the jury for the Ph.D. defense of Mario Pereira (Université Paris Sud, December 2018).
François Pottier was a reviewer for Steven Keuchel's PhD thesis (Ghent University), defended on June 5, 2018.
François Pottier was a reviewer for Martin Clochard's PhD thesis (Université Paris-Saclay), defended on March 30, 2018.