Évaluations
Échéancier des rendus
| Description | Pondération | Échéance |
|---|---|---|
| Résolution de problèmes | 60% | Toute la session |
| Participation active | 5% | Toute la session |
| Justification du choix d’article | 5% | Semaine 9 |
| Plan de présentation | 10% | Semaine 12 |
| Présentation orale | 20% | Semaine 15 |
Résolution de problèmes en classe (60%)
- Il y aura de onze à treize périodes de résolution de problème d’une quinzaine de minutes au cours de la session. Ces périodes de résolution auront lieu pendant les séances magistrales.
- Pour vous aider à vous préparer, quelques problèmes seront distribués les semaines qui précèdent les périodes de résolution de problèmes. Vous êtes fortement encouragés à discuter de ces problèmes (et du contenu du cours) avec vos pairs et avec l’enseignant.
- Lors de chaque période de résolution de problèmes, vous devrez résoudre par écrit et de façon individuelle un problème semblable à un des problèmes distribués la semaine précédente.
- Chaque problème résolu aura une pondération de 6% et les dix meilleures notes seront retenues pour une pondération totale de 65%.
- Puisque seules les dix meilleures notes seront retenues parmi les onze à treize notes attribuées, ce système de notation tient déjà compte de la possibilité d’absences, et aucune reprise ne sera possible.
Simulation de conférence
Il y aura une simulation de conférence la 15e semaine où vous présenterez un article qui est paru dans une conférence sur les langages de programmation.
Pour vous aider à trouver un article, voici quelques conférences et revues scientifiques qui pourraient vous intéresser.
Lorsqu’il y a un lien DBLP, voir les liens “[contents]” pour voir une liste des articles parus à la conférence, et l’icône 
pour télécharger l’article.
Certaines des conférences ou des revues ont des articles sur des sujets qui ne sont pas liés au cours.
SVP, veuillez vous assurer que l’article que vous proposerez a un lien avec le contenu du cours.
Choix d’article
La justification du choix d’article est à remettre la 9e semaine. Une grille d’évaluation sera disponible sous peu.
Conférences
- Principles of Programming Languages (POPL)
- International Conference on Functional Programming (ICFP)
- Programming Language Design and Implementation (PLDI)
- Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)
- Mathematical Foundations of Programming Semantics (MFPS), DBLP
- Types for Proofs and Programs (TYPES), DBLP
- European Symposium on Programming (ESOP), DBLP
- Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)
- Principles and Practice of Parallel Programming (PPoPP)
- Conference on Algebra and Coalgebra in Computer Science (CALCO), DBLP
Revues scientifiques
- Journal of Logical and Algebraic Methods in Programming (JLAMP), DBLP
- Journal of Functional Programming (JFP), DBLP
- ACM Transactions on Programming Languages and Systems (TOPLAS)
- ACM Transactions on Computational Logic (TOCL)
- Mathematical Structures in Computer Science (MSCS), DBLP
Autres listes
- Classic Papers in Programming Languages and Logic (Crary)
- Great Works in Programming Languages (Pierce)
- Great Works in Programming Languages (Foster et Nigam)
Plan détaillé de la présentation
Un plan détaillé de la présentation sera à remettre la semaine 12. Un gabarit ainsi qu’une grille d’évaluation seront disponibles sous peu.
La présentation
Les présentations seront d’une durée de 15 à 18 minutes, suivi de 5 minutes de questions par présentation.
Une grille d’évaluation sera disponible sous peu. Entre temps, SVP consulter les deux ressources suivantes pour vous aider à préparer votre présentation:
- How to Give a Great Research Talk, par Simon Peyton Jones
- How to Give Talks That People Can Follow, par Derek Dreyer