Lectures related to Parallelism and Concurrency

Related lectures (32)

Covers the basics of parallel programming, including exploiting parallelism in algorithms and the importance of avoiding race conditions.

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