Planning des soutenances de lundi 5.11.12 
version 2 du 4.11.12  


le matin en salle 13-14 109 

l'après-midi en salle 313 bâtiment 41



8h30-10h
--------

Laventure-Chahine :     Access Permission Contracts for Scripting Languages
Girault-Thibord :  The Ins and Outs of Gradual Type Inference.
Lee-Wang :  The Call-by-need Lambda Calculus, Revisited.
Abka-Pozderec :   A Type and Effect System for Determinism in Multithreaded Programs.
Douant-Inthavixay : une application Web ou une applet d'évaluation de lambda-calcul avec la reprsésentation Alligator Eggs 


10h15-11h45
-----------

Rais-Salhi : Fast and Precise Hybrid Type Inference for JavaScript 
Si Serir : The Implicit Calculus: A New Foundation for Generic Programming
Bundo-Menu : Deterministic Parallelism via Liquid Effects 
Poncelet-Nicolas : une application Web ou une applet de typage d'un mini-ML fonctionnel et impératif en utilisant Scala
Hing-Wo : un évaluateur de lambda-termes sur micro-controleurs PIC 

12h-13h30
---------

Jean_Baptiste-Pok : Typing unmarshalling without marshalling types
Aoukli-Kouadio : Practical Typed Lazy Contracts
D'Enfer : The Ins and Outs of Gradual Type Inference.
Amiard : une extension aux "class types" pour un mini-ML
Khelladi-Tiganu : Dependent Types for JavaScript


14h-16h30
---------

Chollon-Gouyou : Equality proofs and deferred type errors (A compiler pearl) 
Bensaad-Matar : On the Benefits and Pitfalls of Extending a Statically Typed Language JIT Compiler for Dynamic Scripting Languages
Hallouche-Maloum : Deterministic Parallelism via Liquid Effects 
Delgado-Olivier : Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation 
Ben_Ouiren-Sellou : Energy Types 
Gregoire-Tensaout : une application Web ou une applet d'évaluation de lambda-calcul avec la reprsésentation Alligator Eggs en utilisant O'Browser
Bour-Kamphet : une application Web ou une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) en Scala
Bozec-Verney : une application Web ou une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) en F#