In this seminar we will discuss research articles on different aspects of concurrency and parallelism. Exemple topics include:

  • concurrency semantics
    (interleaving semantics, multicore semantics, weak memory models),
  • parallel architectures
    (principles of parallel architectures, symmetric multiprocessing, massively parallel computing),
  • parallel programming
    (parallel programming models, communication, synchronization),
  • parallelization and compilation
    (fully-/semi-automatic parallelization, data dependencies, load balancing),
  • verification of concurrent programs
    (separation logic, rely/guarantee reasoning).