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... 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... 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... 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... 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... 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... 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... 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... Read more »