Seminar: Current Topics in Concurrency and Parallelism

Moderator: Formal Methods for Information Security

Beiträge: 98
Registriert: 14. Jan 2015 17:25

Seminar: Current Topics in Concurrency and Parallelism

Beitrag von FlorianD »

In the winter term 2020/2021, the MAIS group offers the seminar "Current Topics in Concurrency and Parallelism" (3CP, TUCaN Id: 20-00-0960-se).

Modern computing hardware offers multiple processor cores to complete tasks. Since a single processor core only increases ever so slightly year over year, more and more software makes use of multiple processor cores. However, developing and analyzing parallel software is a challenging task.

In this seminar, we look at scientific publications that address the creation and analysis of parallel software. The topics include:
- dependency analysis and dependency representations
- modeling and effects of weak-memory behavior
- semantics of concurrent systems
- static and dynamic analysis of concurrent systems
- automated parallelization


Seminar-CTCP-WS20.png (190.25 KiB) 376 mal betrachtet

Zurück zu „Formal Methods for Information Security“