Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Compilateur

Séances de cours associées (32)

Compilation et C++ Basics Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la compilation et de la programmation C ++, y compris les variables, les fonctions, les boucles et le débogage.

Language Server Protocol: Implémentation pour le compilateur IME Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'implémentation du protocole Language Server pour le compilateur IME, en se concentrant sur des fonctionnalités telles que l'auto-complétion et les assistants de signature.

Machine virtuelle WASM : Groupe 13 Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.

Multithreading : génération de code et vérification de type Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le multithreading, la génération de code et la vérification de type dans l'implémentation du compilateur.

Compilation séparée: Linker / Loader; Marque Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la compilation séparée, les modules de liaison, le rôle du chargeur et l'utilisation du makefile.

C Backend : Structure du compilateur et types de données abstraits Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la structure d'un compilateur C et les types de données abstraits.

Représentations intermédiaires : CPS/L3 Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

Évolution du code de l'héritage Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la conception de référence, le cache, la latence, les bogues, l'année bissextile Excel, la refacturation et l'évolution du code hérité.

Compilateurs : défis avec les processeurs de signaux numériques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les défis de la compilation pour les processeurs de signaux numériques en raison de leurs caractéristiques architecturales uniques et des irrégularités.

Interface de fonction étrangère à JavaScript Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'implémentation d'une interface de fonction étrangère à JavaScript dans Scala, en se concentrant sur des fonctionnalités telles que l'ouverture et la lecture de fichiers.

MLIR: Compiler l'infrastructure Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Concurrence et mémoire transactionnelle en Dafny Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.