INF564 : Compilation

Enseignant responsable : Jean-Christophe Filliâtre

Année 2017-18 (promotion X2015)

Présentation

Ce cours est une introduction à la compilation. On y explique les techniques et outils utilisés dans les différentes phases d'un compilateur, jusqu'à la production de code assembleur optimisé. Un compilateur pour un fragment du langage C vers l'assembleur x86-64 est réalisé en TD.

Cours

En PC 21 (14:00-16:00).

Note : Une copie des transparents sera distribuée à chaque cours. Il est donc inutile d'imprimer les PDF ci-dessous.

TD

En salle info 32 (16:15-18:15).

Modalités de rendu et d'évaluation du projet

Le projet est à rendre pour le dimanche 18 mars 18h00.

Il doit être envoyé par email à l'enseignant responsable du cours, sous la forme d'une archive compressée contenant le code, accompagné d'un court fichier README pour aider à la lecture du code, si besoin.

Le projet sera évalué sur la base de la lecture du code, d'une part, et d'une soutenance de 30 minutes, d'autre part. Le premier point ne signifie pas pour autant qu'il faille commenter le code à outrance ; un code bien écrit se suffit à lui-même.

Des tests du projet seront réalisés, à des fins d'information, mais ne préjugeront en rien de la note qui sera attribuée au projet. Ainsi, un projet pourra passer tous les tests et ne pas obtenir la note maximale pour autant ; de même qu'un projet pourra ne passer aucun test et pour autant ne pas obtenir une note catastrophique.

La soutenance se décompose en 15 minutes de présentation et 15 minutes de questions. La présentation est libre (explication des choix techniques, du code, du partage du travail, démonstration, etc.).

Examen

Le contrôle écrit (non classant) aura lieu le 19 mars, de 14h à 17h, en T6.

Archives :

Liens / Bibliographie

Outils

Cartes de référence

Ouvrages en rapport avec le cours

Ces trois ouvrages sont disponibles à la BCX. Le cours ci-dessus ne suit pas vraiment ces ouvrages. Néanmoins, se sont de très bons ouvrages, conseillés pour aller plus loin.

For foreign students not yet fluent in French


Merci à Léon Gondelman et Mário Pereira pour leur aide pendant la préparation de ce cours.

Note : Ce cours a été assuré entre 2005-06 et 2015-16 par François Pottier. Le matériel de ce cours est archivé ici.


Page officielle dans le catalogue