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 »

Speaker name: Prof. Steve Furber Abstract: The SpiNNaker project, now offered as one of two neuromorphic platforms supported by the European Union ICT Flagship Human Brain Project, is a digital many-core computer incorporating a million mobile phone processors optimised for real-time brain-modelling research applications. The design of the machine is very much influenced by the biological... Read more »

Speaker name: Dr. Paolo Costa Abstract: Data centers are the infrastructure providing access to online services such as Amazon, Google Search, Facebook, and Office 365 for hundreds of millions of users around the world. They comprise hundreds of thousands of servers interconnected by a fast network fabric. The network is therefore a critical component of... Read more »

Speaker name: Dr. Benedict Gaster Abstract Internet of Things is an area of active interest, some people predicting a million unique devices in the next 5 years, all sharing a common lineage low-power and censoring the world. If this is really the case, then these devices must be designed and built by more than professional programmers and system architects! In... Read more »

S-REPLS Seminar Slides Speaker name: Dr. John Wickerson Abstract A memory consistency model (MCM) is the part of a programming language or computer architecture specification that defines which values can legally be read when a thread in a concurrent program reads from a shared memory location. Because MCMs have to take into account various optimisations employed... Read more »

Speaker: Steven Hutt Seminar title: Deep Learning Financial Market Data Abstract: An introduction to learning patterns in financial market data Slides

Speaker name: Nikolaos Aletras Abstract: Automatically inferring user demographics in social networks is useful for both social science research and a range of downstream applications in marketing and politics. Our main hypothesis is that language use in social networks is indicative of user attributes. This talk presents recent work on inferring a new set of... Read more »