Concurrent Programming Courses and Certifications

Python Parallel and Concurrent Programming Part 1

Write more effective programs that execute multiple instructions simultaneously. Learn the fundamentals of parallel and concurrent programming in Python.

• LinkedIn Learning
• 2-3 hours
• On-Demand
• Free Trial Available

Programming the Internet - C4 Public Lecture

Explore the evolution of programming for internet-scale applications, addressing challenges in distributed computing, concurrency, and scalability through innovative methodologies and infrastructure changes.

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

ChariotSolutions

The Future of the JVM - Panel Discussion on Emerging Technologies

Explore the future of JVM with industry experts discussing emerging technologies, hardware affinity, memory barriers, and concurrent programming trends.

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

ChariotSolutions

Engineering Concurrent Library Components

Explore concurrent algorithms, hardware trends, and Java Memory Model intricacies for engineering robust library components in multi-threaded environments.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Association for Computing Machinery (ACM)

The Art of Concurrency in Go

Explore Go's concurrency through hands-on coding of a network utility. Learn best practices, avoid pitfalls, and gain practical understanding of Go's powerful concurrency mechanisms.

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

JetBrains

Virtual Threads in Action - Helidon 4 and Java 21

Explore virtual threads in Java 21, their impact on resource usage, and how Helidon 4 leverages them for improved performance in microservices frameworks, with insights from an Oracle developer.

• YouTube
• 1 hour 23 minutes
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• Free Video

ACM SIGPLAN

Programmers Love Mind-Bogglingly Complicated Weak Memory Models

Explore mind-boggling complexities of weak memory models in programming, delving into their intricacies and implications for software development.

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

ACM SIGPLAN

Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification

Explore a novel approach to concurrent program verification using consistency-preserving propagation, improving efficiency in SMT solving.

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

ACM SIGPLAN

Model Checking for a Multi-Execution Memory Model

Explore advanced multi-execution memory models, their challenges in model checking, and the introduction of Weakestmo2 for improved reasoning and performance in concurrent programming.

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

ACM SIGPLAN

A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation - PLDI 2024

Explore Crystalline, a novel family of non-blocking memory reclamation schemes addressing high performance, memory efficiency, and wait-freedom challenges in concurrent programming.

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

ACM SIGPLAN

Compositional Development of Certified System Software

Explore compositional development of certified system software, focusing on CertiKOS project's approach to specifying, programming, and compiling large-scale heterogeneous systems.

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

ACM SIGPLAN

Weak Memory Demands Model-based Compiler Testing

Explore compiler bugs arising from relaxed hardware memory models and their implications for testing, using an LLVM toolchain bug as a case study.

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

ACM SIGPLAN

Compositional Verification of Concurrent C Programs with Search Structure Templates

Explore compositional verification of concurrent C programs using search structure templates, separating concurrency-control and data-structure components for modular proof combination.

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