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 »

Speaker: Professor Ruby B. Lee Abstract: Cloud computing provides computing resources to cloud customers on demand. It should also be able to provide different types and levels of security on demand, at different costs to the customers. But how does the customer know that he is getting the security services he paid for? Towards this... Read more »