Concurrent Programming Courses and Certifications

ACM SIGPLAN

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization

Explore a formally-verified framework for fair and abortable synchronization, enabling efficient implementation of various primitives with modular proofs and improved performance.

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

ACM SIGPLAN

A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

Explore a novel proof recipe for linearizability in relaxed memory, using object modification order to simplify event reordering and enable proof reuse in concurrent libraries.

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

ACM SIGPLAN

Concurrent Mutation Must Go

Explore concurrent mutation challenges and solutions in programming languages, focusing on innovative approaches to enhance system reliability and performance.

• YouTube
• 19 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

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

Conference on Computer-Aided Verification

Context-Bounded Analysis for Systematic Testing of Concurrent Programs - CAV Award 2023

Discover groundbreaking research on context-bounded analysis and its impact on testing concurrent programs in this CAV Award 2023 presentation.

• YouTube
• 1 hour 45 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

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
• On-Demand
• Free Video

Concurrent Programming in Swift 5

This course will teach you why threaded development is important and how to implement concurrency in Swift.

• Pluralsight
• 1 hour 17 minutes
• On-Demand
• Free Trial Available

Master Java programming with hands-on projects, covering OOP, advanced techniques, and deployment. Gain practical skills for designing, coding, testing, and deploying cutting-edge Java software.

• Udacity
• 3 months 21 hours 16 minutes
• On-Demand
• Paid Course

Introduction to Operating Systems

2 reviews

Introduction to Operating Systems teaches the basic operating system abstractions, mechanisms, and their implementations.

• Udacity
• 8 weeks
• On-Demand
• Free Online Course

Advanced Java Programming Techniques

Enhance Java skills with functional programming, I/O, design patterns, reflection, and concurrency. Build a parallel web crawler in this hands-on, advanced programming course.

• Udacity
• 4 weeks, 4-5 hours a week
• On-Demand
• Paid Course