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

Concept

Analyse statique de programmes

Séances de cours associées (30)

Analyse des éléments finis: Mécanismes avancés en ingénierie

Fournit un aperçu de l'analyse des mécanismes avancés utilisant la méthode des éléments finis et l'analyse des éléments finis dans les applications d'ingénierie.

Optimisations de programme et idée d'interprétation abstraite

Couvre les optimisations de programmes, l'interprétation abstraite, les transformations algébriques et les analyses d'intervalles.

Calcul quantique : Analyse et applications

Explore l'analyse quantique du calcul, y compris la transformation quantique de Fourier et les applications de règles Born.

Multifonctionnalité : exemples et analyse

Explore la multifonctionnalité à l'aide de divers exemples et comment elle influe sur l'évaluation du cycle de vie.

Analyse statique pour Amy: Techniques et Implémentations

Explore les techniques d'analyse statique comme l'analyse basée sur l'AST et l'analyse des taints appliquée au langage Amy.

Sciences humaines numériques et études de jeux

Explore l'intersection entre les humanités numériques et les études de jeu, en mettant en évidence divers projets de recherche et en soulignant la nature interdisciplinaire de la recherche dans ces domaines.

Interprétation abstraite en acier inoxydable

Explore l'interprétation abstraite en acier inoxydable, démontrant son application dans la vérification du programme et discutant des orientations futures pour le projet.

Sécurité des logiciels - Tests de sécurité

Couvre les approches de test de sécurité logicielle et les mesures de couverture.

Tests automatisés : Fuzzing et sanitisation

Explore le flou, les oracles de bogues, les revues de codes et les techniques de test automatisé, soulignant l'importance de la désinfection pour détecter les défauts.

Analyse formelle: Classic Waffle Iron 3x3

Explore l'analyse formelle d'une évolution classique de la conception de gaufres en fer.

Propagation de la croyance : méthodes clés et analyse

Couvre la propagation de la croyance, une méthode clé pour l'analyse et l'algorithme.

Calcul quantique: Analyse distribuée

Couvre l'analyse des paires de calcul quantique et EPR distribuées.

Premiers pas avec Stainless

Introduit Stainless, un vérificateur pour Scala, mettant l'accent sur la prévention des bugs et l'accès à la bibliothèque.

Nouvelles technologies en matière de recrutement

Explore l'impact des nouvelles technologies sur le recrutement, en soulignant l'importance d'outils justes et précis.

Interprétation abstraite et domaine Octagon Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.

Raisonnement du programme d'aide à l'apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.

Physique avancée I Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre une introduction à la physique, à la mécanique, aux mesures et à la cinématique des particules ponctuelles.

Uneigentliche Integrale: Singularités et intervalles d'intégration infinis Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les intégrales incorrectes avec des singularités et des intervalles infinis.

Dérivé: approximation linéaire Connectez-vous à Mediaspace pour regarder cette vidéo

Explique la différenciation et l'approximation linéaire pour l'approximation de fonction près d'un point.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.