Abstract: In 1987, Jim Gray and Gianfranco Putzolu introduced the five-minute rule for trading memory to reduce disk I/O using the then-current price-performance characteristics of DRAM and Hard Disk Drives... Read more »

Abstract: Formal verification of software has finally started to become viable: we have examples of formally verified microkernels, realistic compilers, hypervisors etc. These are huge achievements and we can expect... Read more »

Abstract: Large technology companies rely on collecting data from their users to understand their interests, and better customize the company's products. Increasingly, this must be done while preserving individual users' privacy. ... Read more »

Abstract: I will present an overview of some of the open challenges and opportunities for structured data management that are especially relevant for today’s world of Big Data and the... Read more »

Abstract: Many new and exciting things are coming for TensorFlow, to be announced at the Developer Summit on 3/30 in Mountain View. Since this event will have just finished by... Read more »

Abstract: What use is machine learning unless we can turn predictions into decisions? In this talk I'll explain how this idea motivates our strategy at PROWLER.io. I'll explain how different... Read more »

Title: Building Computer Vision Systems That Really Work Speaker: Andrew Fitzgibbon, Microsoft  Andrew Fitzgibbon has been shipping advanced computer vision systems for twenty years. In 1999, prize-winning research from Oxford... Read more »

Title: An IP provider’s perspective on functional safety Speaker: Pete Harrod, Director of Functional Safety at Arm, Cambridge. Royal Academy of Engineering Visiting Professor in Dependable Embedded Computing, Imperial In this talk, Pete will... Read more »

Title: Symbolic Repairs for GR(1) Specifications Speaker: Jan Oliver Ringert, Lecturer in Model-Based Software Development in the Department of Informatics at the University of Leicester Abstract: Reactive synthesis is an automated procedure to... Read more »

Title: Certifying Multicore Timing Analysis for Real-Time Systems Speaker: Dr Guillem Bernat, Rapita Systems Abstract: The potential for increased performance by using multicore processors is not in question. Their use offers a solution... Read more »