Group colloquium: Model checking LLVM IR in the context of relaxed memory models

When: Dec. 13, 2018, 15:45-16:45

Where: Cubicus B101

Who: Freark van der Berg

During this week's colloquium I aim to introduce you into the
world of model checking software in the context of relaxed memory
models. I will describe the problem and how model checkers can be used
to mitigate this. Existing solutions have limitations that I want to
overcome with my work. A comparison is made between the tools and I will
describe what I want to do to tackle the problem.