Talks & Seminars
Title: Relaxed Memory Concurrency and Compiler Correctness
Dr. Soham Chakraborty, Max Planck Institute, Germany
Date & Time: April 15, 2019 09:30
Venue: Dept. of CSE, Room No. 109, 01st Floor, New CSE/CC Bldg.
In most analysis/verification techniques, the behavior of concurrent programs is understood in terms of thread interleavings, a model formally known as sequential consistency (SC). For performance reasons, modern hardware implementations allow some executions which cannot be explained by thread interleavings. Similarly, standard compiler optimizations can affect the outcome of a concurrent programs in ways that cannot be understood by SC. Therefore, to program concurrent systems correctly and effectively, it is important to come up with a programming language semantics that accounts for all the non-SC behaviors that hardware and compilers produce. Defining such a "relaxed" memory model is challenging due to conflicting requirements: the model should not only enable efficient compilation, but also provide programmability guarantees. In this talk I will introduce relaxed memory consistency and present our work on formally defining a good concurrency model for C/C++. As an application of our model, I will also present a translation validator for the optimizations of LLVM, a state-of-the-art C/C++ compiler. The validator has exposed bugs in LLVM concerning the compilation of concurrent C/C++ programs and has revealed interesting differences between the C/C++ and LLVM concurrency semantics.
Speaker Profile:
He is a doctoral student at the Max Planck Institute for Software Systems under the supervision of Dr. Viktor Vafeiadis. He obtained his MS from CSE Department, IIT Kharagpur, India and have worked in various industrial research positions for 5 years before starting PhD. His broad research interests are programming language and software engineering. He is currently focused on relaxed memory concurrency and compiler correctness. More details are available at : https://people.mpi-sws.org/~sohachak/
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback