STL - M2 - TEP 2012/2013
Liste des devoirs : au 08/10/2012
répartition au 15/10/2012
dernière modification au 17/10/2012
Choix d'un sujet
- Articles et documentations de logiciels
- POPL
- Access Permission Contracts for Scripting Languages. Authors:
Phillip Heidegger, Annette Bieniusa, and Peter Thiemann (University of
Freiburg)
(PDF)
===>aurelien LAVENTURE et Nahed CHAHINE
- Nested Refinements: A Logic for Duck Typing. Authors: Ravi Chugh, Patrick M. Rondon, and Ranjit Jhala (UC San Diego)
(PDF
)
===>Florian THIBORD + Loic GIRAULT
- The Ins and Outs of Gradual Type Inference. Authors: Aseem
Rastogi (SUNY Stony Brook) and Avik Chaudhuri and Basil Hosmer (Adobe
Advanced Technology Labs)
(PDF)
===>Maxime D'ENFERT
- ESOP 2012
- The Call-by-need Lambda Calculus, Revisited. Stephen Chang and Matthias Felleisen.
(PDF)
===>Zongtian WANG et Lee on KEI
- A Type and Effect System for Determinism in Multithreaded Programs. Yi Lu, John Potter, Chenyi Zhang and Jingling Xue.
(PDF)
==> Kevin POZDEREC et Fayçal ABKA
- PLDI 2012
- Fast and Precise Hybrid Type Inference for JavaScript
Brian Hackett1, Shu-yu Guo2
Mozilla Corporation, University of California, Los Angeles
PDF)
====>Hamouda RAIS et Moudhafer SALHI
- The Implicit Calculus: A New Foundation for Generic Programming
Bruno Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
Seoul National University, Universiteit Gent
PDF)
===>Tahar SI SERIR
- Self-Stabilizing Java
Yong hun Eom, Brian Demsky
University of California, Irvine
(PDF)
===> Eni BUNDO et Mickael MENU
- Deterministic Parallelism via Liquid Effects
Ming Kawaguchi, Patrick Rondon, Alexander Bakst, Ranjit Jhala
UC San Diego
(
PDF)
===> Yacine MALOUM + amine HALLOUCHE
- ICFP 2012
- Elaborating Intersection and Union Types
Joshua Dunfield (MPI-SWS)
()PDF)
- Practical Typed Lazy Contracts
Olaf Chitil (University of Kent)
(PDF)
===>Khedidja AOUKLI et Yao KOUADIO
- Equality proofs and deferred type errors (A compiler pearl)
Dimitrios Vytiniotis and Simon Peyton Jones (Microsoft Research Cambridge) and José Pedro Magalhães (Utrecht University)
(PDF)
====>Geoffroy CHOLLON et Ludovic GOUYOU
- Typing unmarshalling without marshalling types
Gregoire Henry (Univ Paris Diderot), Michel Mauny (ENSTA-ParisTech),
and Emmanuel Chailloux and Pascal Manoury (Universite Pierre et Marie
Curie)
(PDF version soumission)
===>Patrick POK et Guerline JEAN_BAPTISTE
- SPLASH/OOPSLA
- On the Benefits and Pitfalls of Extending a Statically Typed Language JIT Compiler for Dynamic Scripting Languages
Peng Wu, IBM research, United States
Jose Castanos, IBM research, United States
Priya Nagpurkar, IBM research, United States
David Edelsohn, IBM research, United States
Kazuaki Ishizaki, IBM research, Japan
Takeshi Ogasawara, IBM research, Japan
(PDF
)
===>Mario MATAR et Ahmed BENSAAD
- Dependent Types for JavaScript
Ravi Chugh, University of California, San Diego, United States
David Herman, Mozilla Research, United States
Ranjit Jhala, University of California, San Diego, United States
(PDF)
===>KHELLADI Djamel Eddine et TIGANU Sergiu
- Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation
Clemens Mayer, University Duisburg-Essen, Germany
Stefan Hanenberg, University Duisburg-Essen, Germany
Romain Robbes, University of Chile, Chile
Eric Tanter, University of Chile, Chile
Andreas Stefik, Southern Illinois University Edwardsville, United States
(PDF
===> Matthieu DELGADO - Baptiste OLIVIER
- Energy Types
Michael Cohen, SUNY Binghamton, United States
Haitao Steve Zhu, SUNY Binghamton, United States
Senem Ezgi Emgin, SUNY Binghamton, United States
Yu David Liu, SUNY Binghamton, United States
(SITE
)
==> Hakim SELLOU et Farid BEN OUIREN
- Réalisations
- pour programmeurs pédagogues : concevoir
- un évaluateur de lambda-termes sur micro-controleurs PIC (voir PSTL 2011/2012)
==> Joel HING et Maxence WO
- une application Web ou une applet d'évaluation de lambda-calcul avec la reprsésentation Alligator Eggs (lien) en utilisant Scala ou O'Browser
===>Vincent DOUANT et David INTHAVIXAY (O'Browser)
===>Marc GREGOIRE et Jouba TENSAOUT (Scala)
- 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
===>Daniel BOUR et Alex KHAMPHET (Scala)
===>Maxime BOZEC et Steven VERNEY (F#)
- une application Web ou une applet de typage d'un mini-ML fonctionnel et impératif en utilisant F#, Scala ou O'Browser
===>Clément PONCELET et Sébastien NICOLAS (Scala)
- une extension aux "class types" pour un mini-ML
Raphael AMIARD
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)