Current Topics in Concurrency and Parallelism

Form: Seminar - 3 CP (2 SWS)
Organizer: Prof. Dr. Heiko Mantel
Contact: Dr. Görkem Kılınç
Dates: Block seminar on 1 or 2 days,
tentative dates: 14-15 June in S2|02 A126
(please reserve both days, the exact schedule will be determined depending on the actual number of participants)
Language: English
Registration: via TUCaN, course id 20-00-0960-se
Max. participants: 20
Literature: will be announced during the preparation meeting
Preparation Meeting: April 16, 16:15-17:55 in S2|02 A313


The material for the seminar will be available in moodle.


In this seminar we will discuss research articles on different aspects of concurrency and parallelism. Exemplary 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).



Picture (modified): Argonne National
Laboratory (CC BY-SA 2.0)

Learning Objectives

After successfully participating in this course, you will be able to discuss developments in concurrency and parallelism. Furthermore, you will have improved your skills in reading and understanding scientific articles and in presenting, discussing, and comparing scientific results.


Knowledge of Computer Science equivalent to the first four semesters in the Computer Science Bachelor program.

Last modified on 29 March 2018.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang