Concurrency and transactional memory in Dafny

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 1 of 4

Concurrency and transactional memory in Dafny

Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.

Transaction Management & Concurrency Control

Explores transaction management, concurrency control, ACID properties, anomalies, and conflict serializability in database systems.

Concurrency Control & Recovery in Databases

Delves into transaction management, concurrency control, and recovery in databases to ensure data integrity and system resilience.

Concurrency Semantics and Verification

Explores concurrency semantics, recursive functions, loops, interleaving modeling, and interpreter verification.

Hardware Verification using High-Level Design Languages

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

Transactions: Concepts and Implementations

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

Separation is all you need: Foundations for Modular Verification

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

The Power of Registers

Covers wait-free implementations of atomic objects, focusing on counters and snapshots, discussing key ideas for enforcing atomicity and wait-freedom.

Formal Verification and Program Synthesis

By the instructor Viktor Kuncak explores formal verification, program synthesis, and teaching activities at EPFL.

Scalable Synchronization Mechanisms for Manycore Operating Systems

Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.