Programme des soutenances du jeudi 14.11.19 (Typage et Analyse Statique)

Vous avez 10 minutes de présentation suivies de 5 minutes de questions.
Apportez votre portable pour vidéo-projeter.
Toutes les soutenances sont en salle STL (14-15 507)

• 1ère partie : ICFP, POPL, JFLA
  • 9h30-9h50 : BOUCHERAINE-BOUTOUGOUMAS
    An Efficient Algorithm for Type-Safe Structural Diffing (ICFP)
  • 9h50-10h10 : SUZANNE
    Selective Applicative Functors (ICFP)
  • 10h10-10h30 : BISSEY-SAUVEGRAIN
    A right-to-left type system for value recursion (ICFP)
  • 10h30-10h50 : BAUDIN-PESIN
    Live Functional Programming with Typed Holes (POPL)
  • 10h50-11h10 : GERDAY-SRENG
    Type-Guided Worst-Case Input Generation (POPL)
  • 11h10-11h30 : AMICHI-EYRAUD
    Unboxing Mutually Recursive Type Definitions in OCaml (JFLA)
• break
• PPDP, PLDI, réalisation
  • 11h40-12h : CHARIF-ZAVIEL
    Functional programming with lambda-tree syntax (PPDP)
  • 12h-12h20 : GUO-LI
    Toward Efficient Gradual Typing for Structural Types via Coercions (PLDI)
  • 12h20-12h40 : ABOU_HAIDAR-JEAN_BAPTISTE
    A Typed, Algebric Approach to Parsing (PLDI)
  • 12h40-13h : HONGXING-HUANG
    Data-Trace Types for Distributed Stream Processing Systems (PLDI)
  • 13h-13h20 : ALAOUI - ZAOUZAOUT
    Type-Level Computations for Ruby Libraries (PLDI)
  • 13h20-13h40 : HADJ_AISSA-HELLAL
    Bidirectional Type Checking for Relational Properties (PLDI)
  • 13h40-14h : BELAROUCI - CHERIF
    Nullable type inference (réalisation)

Ce document a été traduit de L^AT_EX par H^EV^EA