MAIS

Seminar: Current Topics in Concurrency and Parallelism

Form:	Seminar - 3 CP (2 SWS)
Organizer:	Prof. Dr. Heiko Mantel
Dates:	Block seminar on 1 or 2 days, tentative dates: 07.07.16 and 08.07.16 in S2\|02 E302 (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:	15.04.2016, 13:00, room S2\|02 E202 (joint meeting for all labs and seminars at MAIS)

Material

The material for the seminar will be available in moodle.

Content

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.

Prerequisites

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

Last modified on 11 April 2016.