HiPEDS Seminar: Distributed Private Data Collection at Scale

Huxley Building Room 218 Imperial College London, London, 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. ... Read more »

An IP provider’s perspective on functional safety

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

HiPEDS Seminar: Symbolic Repairs for GR(1) Specifications

Huxley Building, Room 217/218 Imperial College London, London, United Kingdom

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 »

HiPEDS seminar: Certifying Multicore Timing Analysis for Real-Time Systems

Huxley 217/218 180 Queens Gate, Imperial College London, London, 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... Read more »

Seminar: Modernising Asychronous C++

Huxley Building 144 Imperial College London, London, United Kingdom

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 »