Porting Concurrent Applications between Architectures.
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.
 Robustness between Weak Memory Models. Soham Chakraborty. FMCAD 2021.
 Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl. TOPLAS 2017.
 Stability in Weak Memory Models. Jade Alglave, Luc Maranget. CAV 2011.
Contacts for the project
Supervisor(s): Soham Chakraborty
Posted: May 03, 2022