Couvre MLIR, une infrastructure de compilateur pour le calcul spécifique au domaine, soulignant l'importance de niveaux d'abstraction multiples et de sémantique de niveau supérieur.
Couvre les sujets de construction avancés du compilateur sur les techniques d'optimisation telles que l'élimination du code mort, le pliage constant et l'allocation des registres.
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
