The talk will introduce the C11 weak memory model that defines the semantics of concurrent C/C++ programs, and will answer two key questions regarding the model: (1) What high-level principles can programmers use to reason about their programs? (2) What source-to-source transformations can optimising compilers soundly perform?