Loading Events

Past Events

Events Search and Views Navigation

Event Views Navigation

November 2017

HiPEDS Seminar: How can you trust formally verified software?

November 6, 2017 @ 12:00 pm - 1:00 pm
611 (Gabor Seminar Room), EEE Building

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

January 19, 2018 @ 12:00 pm - 1:00 pm
Huxley Building Room 218, Imperial College London
London, SW7 2AZ United Kingdom

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

March 16, 2018 @ 2:00 pm - 3:00 pm
Huxley Building, Room 217/218, Imperial College London
London, SW7 2AZ United Kingdom

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.

April 12, 2018 @ 4:00 pm - 5:00 pm
Huxley 140

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

May 30, 2018 @ 12:00 pm - 1:00 pm
RSM G41, Imperial College London
London, SW7 2AZ United Kingdom

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

November 2, 2018 @ 2:00 pm - 3:00 pm
Huxley 342

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

November 26, 2018 @ 4:00 pm - 5:00 pm
EEE Level 9 Seminar Room

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

February 15, 2019 @ 2:00 pm - 3:00 pm
Huxley Building, Room 217/218, Imperial College London
London, SW7 2AZ United Kingdom
+ Google Map

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

March 29, 2019 @ 12:00 pm - 1:00 pm
Huxley 217/218, 180 Queens Gate, Imperial College London
London, SW7 2AZ United Kingdom

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++

June 10, 2019 @ 3:00 pm - 4:00 pm
Huxley Building 144, Imperial College London
London, SW7 2AZ United Kingdom
+ Google Map

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 »
+ Export Events