BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//HiPEDS – EPSRC Centre for Doctoral Training - ECPv6.15.11//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:HiPEDS – EPSRC Centre for Doctoral Training
X-ORIGINAL-URL:https://wp.doc.ic.ac.uk/hipeds
X-WR-CALDESC:Events for HiPEDS – EPSRC Centre for Doctoral Training
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20170101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20180119T120000
DTEND;TZID=UTC:20180119T130000
DTSTAMP:20260418T150741
CREATED:20180420T140801Z
LAST-MODIFIED:20180420T140801Z
UID:1813-1516363200-1516366800@wp.doc.ic.ac.uk
SUMMARY:HiPEDS Seminar: Distributed Private Data Collection at Scale
DESCRIPTION:Abstract: \nLarge 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. \nBio: \nGraham Cormode a Professor in Computer Science at the University of Warwick in the UK\, where he work on research topics in data management\, privacy and big data analysis. Previously\, he was a principal member of technical staff at AT&T Labs-Research.  He is a University Liaison Director at the Alan Turing Institute\, and in 2017 he was the co-recipient of Adams Prize for Mathematics for his work on Statistical Analysis of Big Data.
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-distributed-private-data-collection-at-scale/
LOCATION:Huxley Building Room 218\, Imperial College London\, London\, SW7 2AZ\, United Kingdom
ORGANIZER;CN="Giannis Evagorou":MAILTO:g.evagorou15@imperial.ac.uk
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20180316T140000
DTEND;TZID=UTC:20180316T150000
DTSTAMP:20260418T150741
CREATED:20180420T150109Z
LAST-MODIFIED:20180420T150109Z
UID:1815-1521208800-1521212400@wp.doc.ic.ac.uk
SUMMARY:HiPEDS Seminar: Big Data and the Cloud: Implications for Structured Data Management
DESCRIPTION: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. \nBio: Surajit Chaudhuri is a Distinguished Scientist at Microsoft Research and leads the Data Management\, Exploration and Mining group. He also works closely with Microsoft’s Cloud and Enterprise Division. Surajit’s current areas of interest are Big Data platforms\, self-manageability\, and cloud database services. Working with his colleagues in Microsoft Research\, he helped incorporate the Database Engine Tuning Advisor and Data Cleaning technology in Microsoft SQL Server. Surajit is an ACM Fellow\, a recipient of the ACM SIGMOD Edgar F. Codd Innovations Award\, ACM SIGMOD Contributions Award\, a VLDB 10-year Best Paper Award\, and an IEEE Data Engineering Influential Paper Award.
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-big-data-and-the-cloud-implications-for-structured-data-management/
LOCATION:Huxley Building\, Room 217/218\, Imperial College London\, London\, SW7 2AZ\, United Kingdom
ORGANIZER;CN="Giannis Evagorou":MAILTO:g.evagorou15@imperial.ac.uk
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20180412T160000
DTEND;TZID=UTC:20180412T170000
DTSTAMP:20260418T150741
CREATED:20180420T150539Z
LAST-MODIFIED:20180420T150944Z
UID:1817-1523548800-1523552400@wp.doc.ic.ac.uk
SUMMARY:HiPEDS Seminar: What's new in TensorFlow? Updates from the Developer Summit.
DESCRIPTION: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 about Eager Execution and Keras. I can also go a little deeper (no pun) into important work being done on DeepLearn.js\, which may be valuable for researchers to create “instant demos” of their models\, running in a webpage\, with no installation necessary for users. \nLength: About 45 mins\, or less. Happy to do 1:1s after to go deeper into topics of interest. \nShort bio: Josh Gordon works on the TensorFlow team at Google\, and teaches Deep Learning at Pace University. He has over a decade of machine learning experience to share. You can find him on YouTube and Twitter.
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-whats-new-in-tensorflow-updates-from-the-developer-summit/
LOCATION:Huxley 140
ORGANIZER;CN="Riccardo Moriconi":MAILTO:r.moriconi16@imperial.ac.uk
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20180530T120000
DTEND;TZID=UTC:20180530T130000
DTSTAMP:20260418T150741
CREATED:20180518T112627Z
LAST-MODIFIED:20180522T142127Z
UID:1854-1527681600-1527685200@wp.doc.ic.ac.uk
SUMMARY:HiPEDS Seminar: Probabilistic models and principled decision making @ PROWLER.io
DESCRIPTION:Abstract: \nWhat 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. \nShort Bio: \nJames Hensman is the head of probabilistic modelling at PROWLER.io. He was previously a Lecturer at Lancaster University\, where he held a MRC fellowship in Biostatistics. He obtained his PhD from Sheffield University\, where he studied engineering. His interests are in statistical machine learning including Gaussian process models; he co-founded the GPy and GPflow packages.
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-probabilistic-models-and-principled-decision-making-prowler-io/
LOCATION:RSM G41\, Imperial College London\, London\, SW7 2AZ\, United Kingdom
ORGANIZER;CN="Nick Pawlowski":MAILTO:n.pawlowski16@imperial.ac.uk
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20181102T140000
DTEND;TZID=UTC:20181102T150000
DTSTAMP:20260418T150741
CREATED:20181031T090233Z
LAST-MODIFIED:20181031T090233Z
UID:1978-1541167200-1541170800@wp.doc.ic.ac.uk
SUMMARY:HiPEDS Seminar: Building Computer Vision Systems That Really Work
DESCRIPTION:Title: Building Computer Vision Systems That Really Work  \nSpeaker: Andrew Fitzgibbon\, Microsoft  [<– note not MS Research] \nAndrew 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 human body tracking in Kinect for Xbox 360\, and in 2015 he moved from Microsoft Research to the Windows division to work on Microsoft’s HoloLens\, an AR headset brimming with cutting-edge computer vision technology. In all of these projects\, the academic state of the art has had to be leapfrogged in accuracy and efficiency\, sometimes by several orders of magnitude. Sometimes that’s just raw engineering\, sometimes it means completely new ways of looking at the research. If he had to nominate one key to success\, it’s a focus on\, well\, everything: from cache misses to end-to-end experience\, and on always being willing to change one’s mind. \nBiography: Fitzgibbon is a partner scientist at Microsoft in Cambridge\, UK. He has published numerous highly-cited papers\, and received many awards for his work\, including ten “best paper” prizes at various venues\, the Silver medal of the Royal Academy of Engineering\, and the BCS Roger Needham award. He is a fellow of the Royal Academy of Engineering\, the British Computer Society\, and the International Association for Pattern Recognition. He studied at University College\, Cork\, and then did a Masters at Heriot-Watt University\, before taking up an RSE job at the University of Edinburgh\, which eventually morphed into a PhD. He moved to Oxford in 1996 and drove large software projects such as the VXL project\, and then spent several years as a Royal Society University Research Fellow before joining Microsoft in 2005. He loves programming\, particularly in C++\, and his recent work has included new numerical algorithms for Eigen\, and compilation of F# to a non-garbage-collected runtime. \nhttps://www.microsoft.com/en-us/research/people/awf/
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-building-computer-vision-systems-that-really-work/
LOCATION:Huxley 342
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20181126T160000
DTEND;TZID=UTC:20181126T170000
DTSTAMP:20260418T150741
CREATED:20181115T094602Z
LAST-MODIFIED:20181115T094602Z
UID:1983-1543248000-1543251600@wp.doc.ic.ac.uk
SUMMARY:An IP provider’s perspective on functional safety
DESCRIPTION:Title: An IP provider’s perspective on functional safety \nSpeaker: Pete Harrod\, Director of Functional Safety at Arm\, Cambridge. Royal Academy of Engineering Visiting Professor in Dependable Embedded Computing\, Imperial \nIn 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 on how an IP provider such as Arm can develop products that can be used in applications where safety is a key concern. By using ‘Connected and Highly Automated Vehicles’ (so-called self-driving cars) as an example\, he’ll explain how the design and verification process needs to proceed to meet the requirements of safety standards and discuss the types of faults that can occur and how they need to be handled. By describing one of the latest Arm CPUs that support functional safety\, he’ll show what can be achieved at the IP level. He’ll conclude with a look at future challenges and areas that are ripe for collaborative research. \nBiography:  Pete is one of the 12 founding engineers of Arm and is still there 28 years later\, having taken on a number of roles in design\, test\, debug and now in functional safety. He is one of the UK experts on the working group that develops the ISO 26262 standard for automotive functional safety and is now contributing to a forthcoming standard on the ‘Safety of the Intended Functionality (SOTIF)’. He has a PhD from UMIST \, is a Fellow of the IET and is on the steering committee of the European Test Symposium.
URL:https://wp.doc.ic.ac.uk/hipeds/event/an-ip-providers-perspective-on-functional-safety/
LOCATION:EEE Level 9 Seminar Room
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20190215T140000
DTEND;TZID=UTC:20190215T150000
DTSTAMP:20260418T150741
CREATED:20190214T155203Z
LAST-MODIFIED:20190214T155203Z
UID:2016-1550239200-1550242800@wp.doc.ic.ac.uk
SUMMARY:HiPEDS Seminar: Symbolic Repairs for GR(1) Specifications
DESCRIPTION:Title: Symbolic Repairs for GR(1) Specifications \nSpeaker: Jan Oliver Ringert\, Lecturer in Model-Based Software Development in the Department of Informatics at the University of Leicester \nAbstract: 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. \nUnrealizability is a major challenge for synthesis. Some works attempt to help engineers deal with unrealizability by generating counter-strategies or computing an unrealizable core. Other works propose to repair the unrealizable specification by suggesting repairs in the form of automatically generated assumptions. \nWe present two novel symbolic algorithms for repairing unrealizable GR(1) specifications. The first algorithm infers new assumptions based on the recently introduced JVTS. The second algorithm infers new assumptions directly from the specification. Both algorithms are sound. The first is incomplete but can be used to suggest many different repairs. The second is complete but suggests a single repair. Both are symbolic and therefore efficient. \nJoint work with Shahar Maoz and Rafi Shalom within the ERC StG SYNTECH project that addresses challenges related to the change from writing code to writing specifications\, and the development of tools to support a specification-centric rather than a code-centric development process. http://smlab.cs.tau.ac.il/syntech/ \nBiography: Jan Oliver Ringert joined the Department of Informatics of the University of Leicester\, Leicester\, UK in February 2018 as a Lecturer in Model-Based Software Development. Previously\, he was a PostDoc in the Software Modeling group of Shahar Maoz at the School of Computer Science\, Tel Aviv University\, Israel (12/2013-01/2018). Before\, he worked in the Software Engineering group of Bernhard Rumpe at RWTH Aachen University\, Germany (10/2008-11/2013). He received his Computer Science diploma (Dipl.-Inform.) from TU Braunschweig\, Germany (2003-2008). \nHis research interests include model-based software engineering with a focus on software evolution and the software engineering aspects of synthesis of reactive systems.
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-symbolic-repairs-for-gr1-specifications/
LOCATION:Huxley Building\, Room 217/218\, Imperial College London\, London\, SW7 2AZ\, United Kingdom
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20190329T120000
DTEND;TZID=UTC:20190329T130000
DTSTAMP:20260418T150741
CREATED:20190321T164209Z
LAST-MODIFIED:20190321T164209Z
UID:2022-1553860800-1553864400@wp.doc.ic.ac.uk
SUMMARY:HiPEDS seminar: Certifying Multicore Timing Analysis for Real-Time Systems
DESCRIPTION:Title: Certifying Multicore Timing Analysis for Real-Time Systems \nSpeaker: Dr Guillem Bernat\, Rapita Systems \nAbstract: 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. \nIn 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 specified time (commonly called the worst-case execution time or WCET). Approaches to calculate WCET on single-core systems are not directly transferrable to multicore systems\, however\, requiring the use of novel technologies. \nIn this presentation\, we demonstrate a practical approach for calculating WCET on multicore platforms that is applicable to the DO-178B/C environment. This involves using high-quality timing analysis tools to understand the timing behaviour of the CPU by using “micro benchmarks”\, and assessing the impact of interference from multicore resource contention by applying carefully-constructed “adversaries” that force high levels of contention. \nBiography: Dr Guillem Bernat is the CEO and a founder of Rapita Systems. He received his PhD in Computer Science from the Universitat de les Illes Balears in Spain\, in 1998 and then took a lecturing position at the Real-Time Systems Group at the University of York in the UK. In 2004 he founded Rapita Systems to commercialise technology for measurement based worst-case execution time analysis technology. Rapita Systems has grown to provide a set of software verification tools for safety critical systems including timing analysis\, WCET analysis and structural code coverage to satisfy DO-178B/C and ISO26262 objectives. Dr. Bernat has more than 70 published papers in international conferences and Journals\, has lectured extensively in real-time systems and is a frequent speaker at international conferences.
URL:https://wp.doc.ic.ac.uk/hipeds/event/hipeds-seminar-certifying-multicore-timing-analysis-for-real-time-systems/
LOCATION:Huxley 217/218\, 180 Queens Gate\, Imperial College London\, London\, SW7 2AZ\, United Kingdom
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=UTC:20190610T150000
DTEND;TZID=UTC:20190610T160000
DTSTAMP:20260418T150741
CREATED:20190606T123720Z
LAST-MODIFIED:20190606T123720Z
UID:2048-1560178800-1560182400@wp.doc.ic.ac.uk
SUMMARY:Seminar: Modernising Asychronous C++
DESCRIPTION:Title: Modernising Asychronous C++ \nSpeaker: Lee Howes\, Facebook \nAbstract: 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 define concurrency abstractions and a wider set of parallel algorithms. In this talk I’ll give a little history\, some idea of why I and why Facebook cares about moving C++ into the future\, and some idea of where we may take it. \nBiography: Lee Howes did his undergraduate degree in DoC\, and a PhD with Professor Paul Kelly in programming models for parallel computing. He spent 6 years working on the boundary of hardware and software\, defining software acceleration standards in the Khronos Group and HSA Foundation\, at various times editing the OpenCL and SYCL specifications and defining memory consistency models for GPUs and building cache architecture. He currently leads Facebook’s C++ language and libraries team\, helping Facebook advance a vision of native compilation for large scale distributed\, heterogeneous systems.
URL:https://wp.doc.ic.ac.uk/hipeds/event/seminar-modernising-asychronous-c/
LOCATION:Huxley Building 144\, Imperial College London\, London\, SW7 2AZ\, United Kingdom
END:VEVENT
END:VCALENDAR