Speaker: Viktor Vafeiadis The talk will discuss recent work on checking the correctness of LLVM compiler optimisations on C11 programs as far as concurrency is concerned. We have built a validator checks that optimisations performed by the compiler do not change memory accesses in ways disallowed by the C11 and/or LLVM memory models. Although the LLVM... Read more »

Speaker name: Prof. Thomas E. Nichols Abstract: A fundamental goal in "brain mapping" with functional Magnetic Resonance Imaging (fMRI) is localising the parts of the brain activated by a task.  The standard tool for making this inference has been Random Field Theory (RFT), a collection of results for Gaussian Processes of the null statistic image (implemented in... Read more »