STL - M2 - TEP 2010/2011

Liste des devoirs : au 17/10/2010

italique : demande de sujet

nom en gras : choix validé

---

Choix d'un sujet

• Articles et documentations de logiciels
  
  • pour programmeurs typés statiquement et dynamiquement
    
    • Integrating Typed and Untyped Code in a Scripting Language
      Wrigstad, Nardelli, Lebresne, OStlung, Vitek
      POPL 2010 (PDF)
    • Profile-Guided Static Typing for Dynamic Scripting Languages
      Furr, An, Foster
      OOPSLA 2009 (PDF)

      L. WANG - Z. WANG --> OK

    • Implementing statically typed object-oriented programming languages.
      Ducournau
      ACM Computing Surveys, 2010 (PDF)

    • Coloring, a Versatile Technique for Implementing Object Oriented Languages
      Ducournau
      Software Practice & Experience, 2010 (PDF)

      DEHAIS --> OK

      BOUTABAA - ABOU HAYDAR --> OK

    
    
  • pour les programmeurs et systèmes de types
    • Let Should Not Be Generalised
      Vytiniotis, Peytons Jones, Schrijvers
      TLDI 2010 (PDF) BROGGI - KAGHAT --> OK

    • Mixing Type Checking and Symbolic Execution
      Phang, Chang, Foster
      PLDI 2010 (PDF)

    • Constrained Types for Object-Oriented Languages
      Nystrom, Saraswat, Palsberg, Grothoff
      OOPSLA 2008 (PDF)

      CHAMOREAU - EMIRI --> OK

    • Efficient Local Type Inference
      Bellamy, Avgustinov, de Moor, Sereni
      OOPSLA 2008 (PDF)
    
    
  • pour les programmeurs Java et .NET
    • Self Type Constructors
      Saito, Igarashi
      OOPSLA 2009 (PDF)

      FETTOUM - ZERROUKI --> OK

    • Whiteoak: Introducing Structural Typing into Java
      Gil, Maman
      OOPSLA 2008 (PDF)

      LAI - RABEHANTA ---> OK

      CHAU --> OK

    • Safer Unsafe Code for .NET
      Ferrara, Logozzo, Fahndrich
      OOPSLA 2008 (PDF)

      BAZZI - MILOJEVIC --> OK

    • Generics of a Higher Kind
      Moors, Piessens, Odersky
      OOPSLA 2008 (PDF)

      CUPSA - DAYRES --> OK

      BESSUGES - SUZUKI --> OK

    • Java Type Inference Is Broken: Can We Fix It?
      Smith, Cartwright
      OOPSLA 2008 (PDF)

      DUFOUR --> OK

    • Adding Type Constructor Parameterization to Java.
      Cremet, Altherr.
      Journal of Object Technology, vol. 7, no. 5 (PDF)

      GIBERT - RETY --> OK

    
    
  • pour les programmeurs modèles
    • The Visitor Pattern as a Reusable, Generic, Type-Safe Component
      Oliveira, Wang, Gibbons
      OOPSLA 2008 (PDF)

      HOUZIAUX - ZAMAN --> OK

    
    
  • pour programmeurs contractants
    • Contracts for Higher-Order Functions
      Findler, Felleisen
      ICFP 2002 (PDF)
      

      PICHOT - LUU --> OK

    
    
  • pour les programmeurs liés
    • Enforcing type-safe linking using inter-package relationships
      Dogguy, Glondu, LE Gall, Zacchiroli
      JFLA 2010 (PDF)
    
    
  • pour les programmeurs parallèles
    • Parallel Concurrent ML
      Reppy, Russo, Xiao
      ICFP 09 ( PDF)
    
    
  • pour les programmeurs à multi-coeurs
    • Runtime support for Multicore Haskell
      Marlow - Peyton Jones - Singh
      ICFP 09 (PDF)
    
    
• Tests d'environnements et langages
  
  • pour programmeurs réactifs
    • Reactive ML
      Mandel
      article TSI (PDF)
      
    
    
  • pour les programmeurs de BD typées
    • Macaque: interrogation sûre et flexible de base de données depuis OCaml
      Scherer, Vouillon
      JFLA 2010 (PDF)

      BENSMAINE - DIOUF --> OK

    
    
  • pour les programmeurs Web
    • Experience Report: Ocsigen, a Web Programming Framework
      Balat, Vouillon, Yakobowski
      IFCP 09 (PDF)

      BERKANE - OUNNARE --> OK

    
    
  • pour programmeurs XML :
    • XML et typage, la proposition OCamlDuce
      ICFP06 (PDF)

      BIGOT- SREKELY --> OK

    
    
  • pour les programmeurs d'analyse statique
    • Experience Report: OCaml for an Industrial-strength Static Analysis Framework
      Cuoq, Jensen
      ICFP 09 (PDF)
    
    
  • pour les programmeurs couverts
    • Experience Report: Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework
      Pagabo, Andrieu, Moniot, Canou, Chailloux, Wang, Manoury, Colaco
      ICFP 09 (PDF)
    
    
• Réalisations
  
  • pour l'élégance du lambda-calcul pur, concevoir
    • une applet d'évaluation des lambda-termes utilisant O'Browser
      

      DUPPERON - RIGNAULT --> OK

    • en Scala, une application d'évaluation des lambda-termes avec interface graphique
    
    
  • pour programmeurs pédagogues : concevoir
    • une application Web ou une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) :
      en Java, C#, F#, Scala, ou en utilisant O'Browser
      

      MIDUCI (C#) ---> ??

      K. WANG (C#) --> OK

      AGANGBE (??) --> ??

    • une application Web ou une applet de typage d'un mini-ML fonctionnel et impératif en utilisant F# ou O'Browser
      
    • une application de simulation d'algorithmes de résolution de la surcharge pour un mini-java (langage libre)

      POTDEVIN - VAUGON --> OK en O'Caml avec compilation Zam

    • une application de simulation de l'inférence de types du polymorphisme borné des génériques pour un mini java (langage libre).
    
    

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 1/11/2010.

---

Page maintenue par Emmanuel Chailloux, dernière modification le 17/10/2010