Events Search and Views Navigation
November 2017
HiPEDS Seminar: How can you trust formally verified software?
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 to see even more impressive results in the future but the correctness proofs depend on a number of assumptions about the Trusted Computing Base that the software depends on. Two key questions to ask are: Are the specifications of the Trusted Computing Base correct? And do the implementations match the…
Find out more »January 2018
HiPEDS Seminar: Distributed Private Data Collection at Scale
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. Recently, techniques based on radomization and data sketching have been adopted to provide data collection protocols which optimize the privacy accuracy trade-off. In this talk, I'll discuss methods deployed by Google and Apple to collect frequency information, and our recent work to monitor information on correlations in the data. Bio: Graham…
Find out more »March 2018
HiPEDS Seminar: Big Data and the Cloud: Implications for Structured Data Management
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 Cloud. In the second half of the talk, I will discuss in depth one of the opportunities - approximate query processing - and reflect on why this technology is not mainstream in today’s data platforms. Bio: Surajit Chaudhuri is a Distinguished Scientist at Microsoft Research and leads the Data Management,…
Find out more »April 2018
HiPEDS Seminar: What’s new in TensorFlow? Updates from the Developer Summit.
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 the time I make it out the UK, I thought it'd be helpful to give a quick summary / overview of these new features and opportunities, then dive a little deeper into the topics that are most relevant to you. My focus is on usability, in particular - I'm excited…
Find out more »May 2018
HiPEDS Seminar: Probabilistic models and principled decision making @ PROWLER.io
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 research teams at the company are attacking different parts of decision theory, and focus on outputs from the probabilistic modelling team. I'll show how probabilistic models are used for forecasting in smart cities, and examine some of the machine learning advances we've made to achieve this. Short Bio: James Hensman…
Find out more »November 2018
HiPEDS Seminar: Building Computer Vision Systems That Really Work
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 University was spun out to become the Emmy-award-winning camera tracker “boujou”, which has been used to insert computer graphics into live-action footage in pretty much every movie made since its release, from the “Harry Potter” series to “Bridget Jones’s Diary”. In 2007, he was part of the team that delivered…
Find out more »An IP provider’s perspective on functional safety
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 briefly tell you something about himself, his time at Arm and what he does there now – and introduce his role as a part-time Visiting Professor and what he hopes to achieve in the 3 years that he will be doing this. But the focus of the talk will be…
Find out more »February 2019
HiPEDS Seminar: Symbolic Repairs for GR(1) Specifications
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 obtain a correct-by-construction reactive system from a given specification. Examples include GR(1), an expressive assume-guarantee fragment of LTL, that enables efficient synthesis of the software controllers of robotic systems. Unrealizability is a major challenge for synthesis. Some works attempt to help engineers deal with unrealizability by generating counter-strategies or computing…
Find out more »March 2019
HiPEDS seminar: Certifying Multicore Timing Analysis for Real-Time Systems
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 to break the memory, power and instruction level parallelism (ILP) walls that prevent single-core platforms from meeting the increasing demands of modern embedded avionics software. In the aerospace industry, adherence to safety guidelines such as DO-178B/C is expected. To adhere, applicants must show that software always completes operations within a…
Find out more »June 2019
Seminar: Modernising Asychronous C++
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 earlier relied on implementation-defined behaviour. In C++17, C++ acquired parallel algorithms - a very basic subset of what OpenMP offers, but a start towards parallelism in the C++ standard. C++20 will get coroutines - finally in-language async/await syntax. The last few years has been a long mission in trying to…
Find out more »