Concurrency Courses and Certifications

ACM SIGPLAN

Optimal Reads-From Consistency Checking for C11-Style Memory Models

Explore optimal consistency checking algorithms for C11-style memory models, improving efficiency in concurrency testing and model checking for various C/C++ variants.

• YouTube
• 15 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Putting Weak Memory in Order via a Promising Intermediate Representation

Explore an in-order shared-memory concurrency model for C/C++, supporting non-atomic accesses and compiler optimizations while maintaining soundness between source and intermediate representation.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic

Explore AxSL, a separation logic for Arm-A's relaxed memory model, enabling fine-grained reasoning for high-performance systems code. Discover its mechanization, key examples, and soundness proof.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Denotational Approach to Release/Acquire Concurrency - GALOP'24

Explore denotational semantics for Release/Acquire concurrency, focusing on trace semantics and game-like interpretations of program-environment interactions in shared-state languages.

• YouTube
• 23 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Coarser Equivalences for Causal Concurrency

Explore relaxations of trace equivalence in concurrent programs, focusing on grain equivalence for efficient causal concurrency analysis while maintaining algorithmic advantages.

• YouTube
• 20 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Some Things I Wish I Hadn't Seen - Challenging Concurrency Patterns in Code

Explore complex concurrency patterns in code bases, examining challenging examples that push the boundaries of theoretical understanding and practical implementation.

• YouTube
• 21 minutes
• On-Demand
• Free Video

ACM SIGPLAN

In-Order Execution Nails Every Weak Memory Behavior

Explore in-order execution's comprehensive coverage of weak memory behaviors, unveiling its significance in modern computing systems.

• YouTube
• 22 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Peter, the May and the Must, and Lacework

Explore Peter O'Hearn's contributions to program analysis and verification, focusing on the "may" and "must" concepts and Lacework's impact.

• YouTube
• 24 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Can We Reason About the Security of Concurrent Systems Code?

Explore challenges and possibilities in reasoning about security in concurrent systems code with expert Peter Sewell.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Termination in Concurrency, Revisited - PPDP23

Explore termination in concurrent programming, comparing type systems for mobile processes and examining session types, weight-based systems, and Curry-Howard correspondence.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Concurrency in Go

740 ratings at Coursera

Explore Go's concurrent programming with goroutines and channels. Develop practical skills through hands-on activities, covering topics from basic concepts to advanced synchronization techniques.

• Coursera
• 8 hours 49 minutes
• On-Demand
• Free Online Course (Audit)

Mastering Redis Transactions and Efficiency with Python

Master Redis transactions and Python integration through atomic operations, pipelines, Lua scripting, and efficient data handling for building robust concurrent applications.

• CodeSignal
• On-Demand
• Free Certificate

Introduction to Java Concurrency

Master essential Java multithreading concepts, from thread creation to lock-free programming, while learning to build robust concurrent applications using synchronization and atomic variables.

• CodeSignal
• On-Demand
• Free Certificate

Java Concurrency Foundations

Master advanced Java concurrency concepts, from memory visibility and synchronization to lock-free programming, while learning to prevent deadlocks and optimize thread coordination.

• CodeSignal
• On-Demand
• Free Certificate

Data Engineering with Rust

33 ratings at Coursera

Leverage Rust for efficient, safe data processing. Master data structures, concurrency, libraries, and system design. Build robust data engineering solutions with hands-on projects.

• Coursera
• 2 days 15 hours 36 minutes
• On-Demand
• Free Online Course (Audit)