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

Home

Lecture

Concurrency Semantics and Verification

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (35)

Theoretical Foundations for Emerging Multiprocessor Technologies: RDMA and NVRAM Log in to Mediaspace to watch this video

Explores theoretical foundations for RDMA and NVRAM in multiprocessor technologies, covering contention, concurrency control, and fault tolerance.

Concurrency and Mutual Exclusion Log in to Mediaspace to watch this video

Covers the importance of concurrency, atomic operations, and mutual exclusion using locks.

Transactions & Concurrency Control: Pessimistic CC Log in to Mediaspace to watch this video

Explores transactions, concurrency control, deadlock handling, and challenges in dynamic databases.

Shared Work Systems: Optimization Log in to Mediaspace to watch this video

Covers query engines, shared work systems, and data processing optimization strategies.

Architecture of CockroachDB Log in to Mediaspace to watch this video

Explores the architecture of CockroachDB, focusing on transaction management, concurrency control, and scalability.

Transactions: Concepts and Implementations Log in to Mediaspace to watch this video

Explores the significance and challenges of transactions, emphasizing ACID properties and the practical implications of using transactional memory for concurrency control.

Device Management in Operating Systems: Chaperones and Persistence Log in to Mediaspace to watch this video

Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.

Concurrency Control: Lock-Based Protocols Log in to Mediaspace to watch this video

Covers lock-based concurrency control protocols and various transaction models.

Lock-Free Synchronization: Performance and Scalability Log in to Mediaspace to watch this video

Explores lock-free synchronization for performance and scalability in distributed systems, covering unique identifier generation, messaging queues, and atomic RDMA reads.

Transactions and Concurrency Control Log in to Mediaspace to watch this video

Delves into transactions, ACID properties, schedules, locking protocols, and concurrency control in database systems.

Distributed Transactions: Principles and Protocols Log in to Mediaspace to watch this video

Explores distributed transactions, covering principles, protocols, concurrency control, commit, and replication.

Multi-Version Concurrency Control: Optimistic Approaches Log in to Mediaspace to watch this video

Explores Multi-Version Concurrency Control with optimistic approaches to enhance transaction processing systems.

Formally Verified Chisel Designs Log in to Mediaspace to watch this video

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

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.

Inductive Propositions: Reasoning and Evaluation Techniques Log in to Mediaspace to watch this video

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Page 2 of 2