Verifying properties of functional programs: from the deterministic to the probabilistic case
Seminar talk at Laboratoire d'Informatique du Parallélisme, Lyon, May 12, 2017.
Probabilistic Termination by Monadic Affine Sized Typing
Contributed talk at ESOP 2017, Uppsala, April 25, 2017.
Two Type-Theoretic Approaches to Probabilistic Termination
Contributed talk at DICE-FOPARA 2017, Uppsala, April 23, 2017.
Termination of higher-order probabilistic programs
Seminar talk at the AmacC team of the GREYC, Caen, April 4, 2017.
Verifying properties of functional programs: from the deterministic to the probabilistic case
Seminar talk at Equipe PPS, IRIF, Paris, March 16, 2017.
Verifying properties of functional programs: from the deterministic to the probabilistic case
Seminar talk at Laboratoire d'Informatique Gaspard-Monge, Champs sur Marne, March 14, 2017.
Verifying properties of functional programs: from the deterministic to the probabilistic case
Seminar talk at the Méthodes Formelles team of LaBRI, Bordeaux, March 7, 2017.
Probabilistic Termination by Monadic Affine Sized Typing
Contributed talk at Journées Nationales Géocal – LAC 2016, Paris, Nov 28, 2016.
Probabilistic Termination by Monadic Affine Sized Typing
Contributed talk at the meeting of the ANR project ELICA, Bologna, Oct 6, 2016.
Distribution Types: A Type-Theoretic Approach To Almost Sure Termination
Contributed talk at the thematic month Automata, Logic and Games, Institute for Mathematical Sciences, Singapore, Sep 9, 2016.