Porting Concurrent Applications between Architectures.
Master Project

Project description

Title: Porting Concurrent Applications between Architectures.

Translating programs from one architecture to another is a challenging problem as far as concurrency is concerned [1,2,3]. A concurrent program may exhibit different behaviors on different architectures such as x86, ARM, RISCV, PowerPC. It is because these architectures follow different concurrency models which affect the behaviors of a given program.

In this project we will develop techniques for correct and optimal porting of concurrent programs written for one architecture to another.

Related work

[1] Robustness between Weak Memory Models. Soham Chakraborty. FMCAD 2021.

[2] Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl. TOPLAS 2017.

[3] Stability in Weak Memory Models. Jade Alglave, Luc Maranget. CAV 2011.

Contacts for the project

• Soham Chakraborty (TU Delft)