STL - M2 - TEP 2012/2013
Liste des devoirs : au 08/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)
- Nested Refinements: A Logic for Duck Typing. Authors: Ravi Chugh, Patrick M. Rondon, and Ranjit Jhala (UC San Diego)
(PDF
)
- 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)
- ESOP 2012
- The Call-by-need Lambda Calculus, Revisited. Stephen Chang and Matthias Felleisen.
(PDF)
- A Type and Effect System for Determinism in Multithreaded Programs. Yi Lu, John Potter, Chenyi Zhang and Jingling Xue.
(PDF)
- PLDI 2012
- Fast and Precise Hybrid Type Inference for JavaScript
Brian Hackett1, Shu-yu Guo2
Mozilla Corporation, University of California, Los Angeles
PDF)
- 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)
- Self-Stabilizing Java
Yong hun Eom, Brian Demsky
University of California, Irvine
(PDF)
- Deterministic Parallelism via Liquid Effects
Ming Kawaguchi, Patrick Rondon, Alexander Bakst, Ranjit Jhala
UC San Diego
(
PDF)
- ICFP 2012
- Elaborating Intersection and Union Types
Joshua Dunfield (MPI-SWS)
()PDF)
- Practical Typed Lazy Contracts
Olaf Chitil (University of Kent)
(PDF)
- 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)
- 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)
- 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
)
- 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)
- 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
)
- 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
)
- Réalisations
- pour programmeurs pédagogues : concevoir
- un évaluateur de lambda-termes sur micro-controleurs PIC (voir PSTL 2011/2012)
- une application Web ou une applet d'évaluation de lambda-calcul avec la reprsésentation Alligator Eggs (lien) en utilisant Scala ou O'Browser
- 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
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)