Concurrent Programming Courses and Certifications

ACM SIGPLAN

Effective Stateless Model Checking for C/C++ Concurrency

Explore an innovative stateless model checking algorithm for verifying concurrent programs under RC11, featuring direct execution graph processing and improved efficiency for C/C++ memory models.

• YouTube
• 24 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Data-Centric Dynamic Partial Order Reduction

Explore a novel dynamic partial-order reduction method for concurrent program verification that introduces observation equivalence, offering significant improvements over traditional Mazurkiewicz-based approaches.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections

Discover polynomial-time monitoring algorithms for concurrent collection data structures, focusing on sound and complete linearizability verification for stacks, queues, sets, and maps.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Transactions in Relaxed Memory Architectures

Explore the integration of transactions into hardware relaxed memory architectures, examining implementation frameworks across SC, TSO, ARMv8, and PPC models while considering abort mechanisms and execution patterns.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Progress of Concurrent Objects with Partial Methods

Explore new progress properties for concurrent objects with partial methods, focusing on PSF and PDF patterns, refinement principles, and verification logic for concurrent programming.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Simons Institute

Combining and Aggregating for Fast Synchronization

Discover advanced techniques for combining and aggregating operations to achieve efficient synchronization in parallel computing systems and manage concurrent processes effectively.

• YouTube
• 42 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities

Explore dynamic capability enforcement in concurrent programming through Dala language's six-axis design framework for safe object flavors and runtime systems.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Lilo - A Higher-Order, Relational Concurrent Separation Logic for Liveness

Discover Lilo, a higher-order relational concurrent separation logic that verifies liveness properties in non-terminating programs with modular reasoning and Iris-style invariants.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Borrowing From Session Types - A Novel API for Modular and Composable Functional Session Type Systems

Explore a novel borrowing-based API for session types that enables modular, composable code while ensuring type safety and deadlock freedom in concurrent programming.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Exploring the Design Space for Runtime Enforcement of Dynamic Capabilities

Explore dynamic capability enforcement in concurrent programming through Dala language's six-axis design framework for safe object flavors and runtime systems.

• YouTube
• 32 minutes
• Self-Paced
• Free Video

Revisit Multi-Reader Synchronizations for Scalable Applications

Explore multi-reader synchronization techniques for building scalable applications, focusing on performance optimization and efficient resource management in concurrent systems.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

ACCU Conference

Introduction to Lock/Wait Free Algorithms - Defining and Understanding the Terms

Explore lock/wait-free algorithms: understand definitions, motivations, and applications in concurrent programming. Gain insights into hardware design and synchronization challenges.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

Trevor Sullivan

Message Passing With Rust MPSC Channels - Rust Tutorial

Learn to use Rust's MPSC channels for efficient inter-thread communication. Explore sending and receiving messages, handling timeouts, and implementing closures in this practical tutorial.

• YouTube
• 31 minutes
• Self-Paced
• Free Video

Kernel Recipes

Case Study: Concurrent Counting - Kernel Recipes 2024

Explore fundamental concurrency issues through scalable counting on multicore systems, covering design, coding, and validation challenges.

• YouTube
• 36 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Petrification: Software Model Checking for Programs with Dynamic Thread Management

Explore software model checking for programs with dynamic thread management through the petrification transformation technique and its implementation in C programs using pthreads API.

• YouTube
• 18 minutes
• Self-Paced
• Free Video