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

Home

Lecture

Safe Mutation in Practice

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (41)

Optimal Stopping Problems: Theory and Applications Log in to Mediaspace to watch this video

Covers optimal stopping problems in applied probability and stochastic processes, focusing on theory and practical applications.

Big-step semantics: Defining arithmetic expressions and commands Log in to Mediaspace to watch this video

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Cache Coherence: Basics and Protocols Log in to Mediaspace to watch this video

Explores cache coherence challenges, protocols, and directory-based solutions in multi-core systems.

Programming Models: Overview and Examples Log in to Mediaspace to watch this video

Explores programming models for big data processing, including Spark's RDDs and optimizations.

Polymorphism in Coq: Data Structures and Functions Log in to Mediaspace to watch this video

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Concurrent Programming: Theory to Practice Log in to Mediaspace to watch this video

Explores concurrent programming theory and practice, covering system models, cache coherence, and graph processing.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Purely Functional Priority Queue Log in to Mediaspace to watch this video

Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.

Numerics for Fluids, Structures and Electromagnetics: Projects Rules Log in to Mediaspace to watch this video

Students in 'Numerics for Fluids, Structures and Electromagnetics' must complete projects individually or in pairs, following specific rules and evaluation criteria.

Smart Composites: Materials and Applications Log in to Mediaspace to watch this video

Covers the concept, types, and applications of smart composites, including self-sensing H2 storage vessels and active skis.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

High-Order Functions: Unification Theory Log in to Mediaspace to watch this video

Covers high-order functions, parser, and type checker concepts.

File Management and Exception Handling in Python Log in to Mediaspace to watch this video

Focuses on file management and exception handling in Python programming.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Foundations of Information Systems: Course Overview and Key Concepts Log in to Mediaspace to watch this video

Introduces the course on information systems, covering its structure, objectives, and foundational concepts essential for understanding data management and decision-making.

Needleman-Wunsch Algorithm: Sequence Alignment Log in to Mediaspace to watch this video

Covers the Needleman-Wunsch algorithm for optimal protein sequence alignment using dynamic programming and scoring methods.

LabVIEW Programming Essentials Log in to Mediaspace to watch this video

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.

Distributed Algorithms: Project Implementation and Evaluation Log in to Mediaspace to watch this video

Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.

Data Structures: Tuples, Lists, Sets, Dicts Log in to Mediaspace to watch this video

Introduces Python data structures like tuples, lists, sets, and dictionaries, emphasizing manipulation and conversion techniques.

Page 2 of 3