|
|
EPSRC Centre for Doctoral Training in
High Performance Embedded and Distributed Systems Dept of Computing, Dept of Electrical and Electronic Engineering, Imperial College London |
|
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 »
Title: Modernising Asychronous C++ Speaker: Lee Howes, Facebook Abstract: In C++11, C++ finally officially discovered concurrency. The advent of an official memory model and atomic operations made possible what had... Read more »
