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).
- Dozent*in: Görkem Kilinc
- Dozent*in: Markus Tasch