INF7641 - Compilation

Session d’hiver 2025

Documents

Ressources

Échéancier approximatif

Présentation d’articles (15%)

Vous pouvez choisir un article de la liste suggéré (premier arrivé, premier servi) ou proposer un article de votre choix (avec l’accord du professeur).

  • Préparer une présentation orale avec support visuel (diapositives en pdf)
  • 15 minutes + 5 minutes de questions
  • Contenu :
    • Mise en contexte : année, domaine de la conférence/ du journal
    • Problématique générale, état de l’art
    • Questions de recherche, cadre de la recherche (scope)
    • Méthodologie, réalisation, expérimentation
    • Validation
    • Résultats et discussion
    • Limites
  • Remettre les diapositives imprimées (3x2 pour économiser du papier)

Attributions

  • Philippe Grégoire : Logical Bytecode Reduction
  • Louis Vanier : Regular Expression Matching using Bit Vector Automata
  • André-Pierre Lamarche : A Modern Compiler for the French Tax Code
  • Hugo Genesse : Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
  • Mélissa Vallée : CoStar:A verified all(*) parser
  • Daria Merlier : Finding Typing Compiler Bugs

Travail de session (25%)

L’objectif du travail de session est de vous confronter avec des aspects pointus et récents des compilateurs (et interpréteurs). Un autre objectif est de vous initier un peu plus au travail de recherche.

Pour chaque travail, il est demandé de produire:

  • une analyse de la problématique (indépendamment du langage) : on regarde ce qui existe, on discute ce qui est bien ou pas bien.
  • une expérimentation qui consiste à utiliser/mettre en œuvre en pratique les propositions existantes pour se faire une idée plus précise.
  • une implémentation (ou juste un prototype) de développement (d’extension) d’un interpréteur ou compilateur : on propose quelque chose et on montre pourquoi c’est un bon choix.

En fonction du sujet, l’emphase pourra être plus portée sur certains points que sur d’autres.

Livrable 1 (intermédiaire, 5%)

  • Description du projet (une page)
  • État de l’art (une page)
  • État d’avancement (une page)

Livrable 2 (final, 10%)

  • Une dizaine de pages reprenant et complétant le premier livrable.

Présentation orale (10%)

  • 15 minutes + 5 minutes de questions
  • Remettre les diapositives imprimées (3x2 pour économiser du papier)

Quelques journaux et conférences de compilation

Principales

Autres