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

Concept

Bootstrap (compilateur)

Séances de cours associées (31)

Préfixe, Infix, Postfix et génération de code

Explore les notations de préfixe, d'infixe et de postfixe dans les expressions et leur rôle dans la génération de code.

Compilation des objectifs Scala Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le processus de compilation de Scala Lens et l'utilisation de collections itérables pour les résultats de rembourrage.

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.

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.

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.

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.

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.

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.

Architectures VLIW: Compilateurs et parallélisme de niveau d'instruction Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les architectures et les compilateurs VLIW, en se concentrant sur le parallélisme de niveau d'instruction et les techniques d'optimisation.

Crypto Wallet pour DeFi: MetaMask Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre MetaMask, un portefeuille crypto pour les applications blockchain, mettant l'accent sur la sécurité du portefeuille et la protection des comptes.

Optimisation et modèles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation dans le code C ++, les idées algorithmiques, le profilage de code et la méta-programmation de modèles.