Analysis and Testing for Weak Memory Concurrency
Master Project

Project description

In the multicore era shared memory concurrency has emerged as a key programming paradigm. These programming models follow weak memory models to exploit the performance of the multicores. In consequence the programs may exhibit additional executions which cannot be explained by thread interleaving or sequential consistency.

Ensuring correctness is a well known problem in concurrency considering the large number of possible executions. The number of executions are exponential under sequential consistency due to possible interleavings and the weak memory models proliferate the challenge further.

To address this problem, we will develop analysis and testing approaches for weak memory concurrent programs.

** We have multiple thesis projects.

Related work

• C11Tester: a race detector for C/C++ atomics. Luo et. al. ASPLOS 2021.

Contacts for the project

• Soham Chakraborty (TU Delft)