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 and LLVM based tools for correct and optimal porting of concurrent programs written for one architecture to another.

[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


Porting Concurrent Applications between Architectures.

Supervisor(s): Soham Chakraborty
Posted: May 03, 2022