STL - M2 - TEP 2011/2012

Liste des devoirs : au 06/10/2011

répartition au 13/10/2011

Choix d'un sujet

• Articles et documentations de logiciels
  
  • ACM Computing Survey
    • Implementing statically typed object-oriented programming languages.
      Ducournau - ACM Computing Surveys, 2010 (PDF)
      --> ADRIEN - REGUIG
  • ESOP
    • From Exponential to Polynomial-time Security Typing via Principal Types
      Sebastian Hunt and David Sands - ESOP 2011 (PDF)
    • Polymorphic Manifest Contracts
      Joao Belo, Michael Greenberg, Atsushi Igarashi and Benjamin Pierce, ESOP 2011 (PDF)
    • Typing Local Control and State Using Flow Analysis
      Arjun Guha, Claudiu Saftoiu and Shriram Krishnamurthi - ESOP 2011 (PDF)
  • ICFP
    
    • Runtime support for Multicore Haskell
      Marlow - Peyton Jones - Singh - ICFP 09 (PDF)
      --> GUO-YANG
    • Parallel Concurrent ML
      Reppy, Russo, Xiao - ICFP 09 ( PDF)
      --> NGUYEN-ZNEIKA
    • Making Standard ML a Practical Database Programming Language
      Atsushi hori and Katsuhiro Ueno (Tohoku University)
      ICFP 2011 (PDF)
      --> CRESPIN - MOUSSOUNI
    • Pushdown Flow Analysis of First-Class Control
      Dimitrios Vardoulakis and Olin Shivers (Northeastern University) ICFP 2011 (PDF)
    • An Efficient Non-Moving Garbage Collector for Functional Languages
      Katsuhiro Ueno, Atsushi Ohori, and Toshiaki Otomo (Tohoku University) ICFP 2011 (PDF)
      --> OUERIEMMI-OURRAD
    • Nameless, Painless.
      Nicolas Pouillard, ICFP 2011 (PDF)
      --> AFARI - DJOUDI
    • A Semantic Model for Graphical User Interfaces
      Neelakantan R. Krishnaswami and Nick Benton (Microsoft Research)
      ICFP2011 (PDF)
      --> CHEN-WANG
    • Secure Distributed Programming with Value-Dependent Types
      Nikhil Swamy, Juan Chen, and Cedric Fournet (Microsoft Research), Pierre-Yves Strub (MSR-INRIA),
      Karthikeyan Bhargavan (INRIA), and Jean Yang (MIT) - ICFP 2011 (PDF)
    • Lightweight Monadic Programming for ML
      Nikhil Swamy (Microsoft Research), Nataliya Guts (University of Maryland, College Park),
      Daan Leijen (Microsoft Research), and Michael Hicks (University of Maryland, College Park) - ICFP 2011 (PDF)
      --> Deharbe-Salvucci
  • JFLA
    • Enforcing type-safe linking using inter-package relationships
      Dogguy, Glondu, Le Gall, Zacchiroli - JFLA 2010 (PDF)
  • PLDI
    • Mixing Type Checking and Symbolic Execution
      Phang, Chang, Foster - PLDI 2010 (PDF)
  • POPL
    • Integrating Typed and Untyped Code in a Scripting Language
      Wrigstad, Nardelli, Lebresne, OStlung, Vitek - POPL 2010 (PDF)
      --> ALI - TURKI
    • Practical Affine Types
      Tov, Pucella POPL 2011 (PDF)
    • Dynamic Inference of Static Types for Ruby
      An, Chaudhuri, Foster, Hicks POPL 2011 (PDF)
      --> KETTAK-MALBRANQUE
    
    
  • SPLASH/OOPSLA
    • Efficient Local Type Inference
      Bellamy, Avgustinov, de Moor, Sereni - OOPSLA 2008 (PDF)
      --> HUA_WERNER
    • Gradual Typing for Generics
      Lintaro Ina, Atsushi Igarashi OOPSLA 2011 (PDF)
    • Virtual Values for Language Extension
      Thomas H. Austin Tim Disney Cormac Flanagan OOPSLA 2011 (PDF)
      --> BENATTAR-COUILLEC
    • A Theory of Substructural Types and Control
      Tov, Pucella OOPSLA 2011 (PDF)
    • Declaratively Programming the Mobile Web with Mobl
      OPPSLA 2011
      • conflit :
        --> DITARANTO-SIPASSEUTH
    • Type-Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance
      Allen, Hillburn, Kilpatrick, Luchangco, yu, Chase and Steele OPPSLA 2011 (PDF)
      --> BOINA - CHHET
    • A Syntactic Type System for Recursive Modules
      Im, Hyeonseung, Nakata, Keiko, Garrigue, Jacques, and Park, Sungwoo OOPSLA 2011
    • Freedom Before Commitment : A Lightweight Type System for Object Initialisation
      Summers - Muller OOPSLA 2011 (PDF)
      --> DANILA-MICHALON
    
    
  
  

• Réalisations
  
  • pour programmeurs pédagogues : concevoir
    • une application Web ou une applet d'évaluation de lambda-calcul avec interface graphique en utilisant F#, Scala ou O'Browser
      • en Scala : --> GOEPFERT-WANG
      • en O'Browser (ou F#) : --> SRAZULLA-VAKULENKO
    • une application Web ou une applet d'évaluation de lambda-calcul avec la reprsésentation Alligator Eggs (lien) en utilisant F#, Scala ou O'Browser
      
      • en F# : --> ARADJ - BAUCHER
    • une application Web ou une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) :
      , F#, Scala, ou en utilisant O'Browser
      
    • une application Web ou une applet de typage d'un mini-ML fonctionnel et impératif en utilisant F#, Scala ou O'Browser
      
    • une application de simulation d'algorithmes de résolution de la surcharge pour un mini-java (langage libre)
    • une application de simulation de l'inférence de types du polymorphisme borné des génériques pour un mini java (langage libre).
      --> CHAMPION-HEBERT
      --> HUANG
    
    

Rendu

Il est demandé un court rapport clair et concis (moins de 10 pages sans les annexes) présentant la problématique du sujet en guidant le lecteur par un exemple pertinent. On peut ajouter des annexes à ce document (en particulier les listings ou des exemples plus complets). Ce document doit etre rendu AVANT les soutenances.

Evaluation

L'evaluation du projet comprend :

• le rapport du projet et une archive des implantations (note commune au binome)
• une soutenance de 15 minutes par projet (note individuelle)

Les rapports sont à rendre au plus tard le 03/11/2011.

---

Page maintenue par Emmanuel Chailloux,