Programme des soutenances du lundi 12.11.18 (TYpage et Analyse Statique)

Vous avez 10 minutes de présentation suivies de 5 minutes de questions. Apportez votre portable pour vidéo-projeter.

• amphi 56B - articles ECOOP-OOPSLA-POPL
  • 8h30-8h45 : AMOUZOU-FARES DJAMAA
    KafKa: Gradual Typing for Objects (ECOOP)
  • 8h45-9h : GREVOZ-HEBIRI
    Collapsible Contracts: Fixing a Pathology of Gradual Typing (OOPSLA)
  • 9h-9h15 : MOUHRI-NGOYI
    Gradual Liquid Type Inference (OOPSLA)
  • 9h15-9h30 : DRAME-SAFRAOU
    Migrating Gradual Types (POPL)
  • 9h30-9h45 : DIALLO-ZHANG
    Julia Subtyping: a Rational Reconstruction (OOPSLA)
  • 9h45-10h: DUPAS-LIN
    FHJ: A Formal Model for Hierarchical Dispatching and Overriding (ECOOP)
  • 10h-10h15 : SABRIE-ULLIAC
    Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (ECOOP)
• salle STL - articles PLDI - POPL - ECOOP - ICFP - JFLA
  • 10h45-11h : CHARTON-RUDAT
    Inferring Type Rules for Syntactic Sugar (PLDI)
  • 11h-11h15 : CHOUTEAU-FEKIR
    Towards Automatic Resource Bound Analysis for OCaml (POPL)
  • 11h15-11h30 : COPIN-SERGEANT
    Typed First-Class Traits (ECOOP)
  • 11h30-11h45 : AIACH + CHOUGUI
    Linear Haskell: practical linearity in a higher-order polymorphic language (POPL)
  • 11h45-12h : LOUAHDI
    Parametricity versus the Universal Type (POPL)
  • 12h-12h15 : BUSSCHAERT-DOUSSOT
    réalisation d’une inférence types nullables (JFLA)
  • 12h15-12h30 : JEUDY-TA
    Safe Transferable Regions (ECOOP)
  • 12h30-12h45 : GHERSA-THEIRY
    Static typing of complex presence constraints in interfaces (ECOOP)
  • 12h45-13h : CHOULLIT-MANADI
    Session-Typed Concurrent Contracts (ESOP)

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