Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Correct Compilation of Relaxed Memory Concurrency
Speaker:Soham Chakraborty
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Proposal
We use this to send out email in the morning.
Level:Public Audience
Date, Time and Location
Date:Thursday, 16 November 2017
Duration:60 Minutes
Compilation of shared memory concurrent programs faces
many challenges in the presence of relaxed memory models.
On the one hand, relaxed memory models enable multiple
transformations on shared memory accesses and fences.
On the other hand, not all transformations which are correct
for sequential programs are correct in the concurrent setting.
Thus, compiler writers have to perform careful analysis to
determine which transformations are correct.

In my thesis, I explore the correctness of the multiple steps
during the compilation of concurrent C/C++ programs (termed
C11). First, I consider the correctness of C11 source to source
transformations. Next, I study the compilation of C11 programs
by LLVM, a state-of-the-art optimizing compiler. LLVM performs
a number of optimizing transformations before generating the
target code for architectures such as X86 and PowerPC. To
perform these transformations, LLVM follows an informal
refinement of C11 concurrency semantics. I formalize the
LLVM concurrency semantics and study at the abstract level
the correctness of various LLVM transformations. Finally,
I develop a validator to check if LLVM optimizations are
indeed performing only transformations that are correct
according to the LLVM and/or the C11 model.
Video Broadcast
Video Broadcast:YesTo Location:Saarbr├╝cken
To Building:E1 5To Room:029
Meeting ID:
Tags, Category, Keywords and additional notes
Attachments, File(s):
Maria-Louise Albrecht/MPI-KLSB, 11/02/2017 03:37 PM
Last modified:
Maria-Louise Albrecht/MPI-KLSB, 11/02/2017 03:42 PM
  • Maria-Louise Albrecht, 11/02/2017 03:42 PM -- Created document.