soutenances des devoirs - Typage et Analyse Statique 
version du 28.10 midi


Amphi Astier
----------

8h30 - 8h50 : FLISSATE-TABOSA  : Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
8h50 - 9h10 : COURTOIS : Analyse statique d’une feuille de calcul de type « Excel » pour la détection d’opération à risque sur les types.
9h10-9h30 :LE_NESTOUR-TELERA :  Static Analysis of Event-Driven Node.js JavaScript Applications

9h40-10h :  CHITIMBO - LARBI YOUCEF : Safe and Efficient Gradual typing for TypeScript
10h-10h20 : BERGER - TESTARD : TYpage de Damas-Milner avec le systèmes de types génériques HM(X)

Salle STL
-------
 
10h30-10h50 : BAYASSI-FEKIH : XQuery and Static Typing: Tackling the Problem of Backward Axes-
10h50-11h10 : AFFES-KOBROSLI : Functional Pearl: A Smart View on Datatypes
11h10-11h30 : CALDERON - LANG : Évaluation de lambda-calcul avec la représentation Alligator Eggs (OCAML + js_of_ocaml)

11h40-12h : EL_HARAOUI-T'FEILL : KJS A complete formal semantics of JavaScript
12h-12h20 : ZEGDAHOUI-ZELMAT : Automatic Static Cost Analysis for Parallel Programs
12h20-12h40 :  BONNET - LEOTURE : une application Web ou une applet de typage d'un mini-ML fonctionnel et impératif

12h50-13h : NGUYEN-RAHAULT : LEARNING REFINEMENT TYPE
13h10-13h30 : KULISHEV-SHAVGULIDZE : Customizable Gradual  Polymorphic Effects for Scala
13h30-13h50 : BEN EL OUAHMA - BOUDJOUDI : une application Web ou une applet/application d’evaluation de lambda-calcul avec la représentation Alligator Eggs (Scala)