Speaker Title Abstract Dawud Hage QA in petal search: challenges, opportunities and future directions Modern search engines need to better understand what users are looking for rather than being a simple index of webpages. For the information seeking need, question answering plays an important role in fullfilling this need. In this talk I would like […]

The Programming Language Laboratory of the Huawei Edinburgh Research Centre are delighted to start a new research project with Prof. Phil Wadler from the University of Edinburgh on the topic of type systems for effect handlers.  The project will focus on simplifications static scoping of algebraic effect handlers and on developing gradual types for the […]

Huawei Edinburgh Lab December meeting 2021   Monday 13 December UK Time China time Topic/title Speakers 08:00-08:10 16:00-16:10 Informatics welcome, Huawei Welcome, Lab report Jane Hillston (UoE) 08:10-08:25 16:10-16:25 Development of Huawei Research Center in Edinburgh Li Bo/ Victor Zhang Xiaofeng (Huawei) 08:25-08:35 16:25-16:35 Workshop organisation Peter Buneman (UoE) 08:35-09:25 16:35-17:25 NLP Talk Mark Steedman […]

Abstract The recent development of IoT and smart spaces demand the availability of location context in every device and everywhere. However, improving the user’s experience under the “smart” schema contradicts the tedious calibration commonly operated to enable indoor positioning. Until now, modelling signal propagation, such as Bluetooth and WiFi, set the pillars for indoor positioning […]

OpenMP Taskloop Dependences Authors   Marcos Maroñas Bravo (Huawei Edinburgh RC, Programming Languages team) Xavier Teruel Vicenç Beltran Abstract Exascale systems will contain multicore/manycore processors with high core count in each node. Therefore, using a model that relaxes the synchronization, such as data-flow, is crucial to adequately exploit the potential of the hardware. The flexibility of the […]

Abstract Developing a new programming language, constructing a new domain-specific compiler, writing a new verification tool, optimizing a large application, designing a microprocessor, or verifying some of its components, all of these tasks require today a multi-year project. While most of the underlying problems are inherently hard and cannot be accelerated magically, we are additionally […]

About speaker: Martin Berger is a formal verification expert in the ISA research team. Before joining Huawei, he was a senior lecturer at the University of Sussex. He did his PhD at Imperial College London, and his undergraduate at Technical University Berlin. His academic work has been on formal methods in programming languages, in particular typing […]

Our new team member Giulio is giving an invited talk at LSFA, an FSCD-associated workshop. More details on the workshop web page: https://mat.unb.br/lsfa2021/pages/invited.html Understanding the lambda-calculus via (non-)linearity and rewriting.Abstract: The lambda-calculus is the model of computation underlying functional programming languages and proof assistants. Actually, there are many lambda-calculi, depending on the evaluation mechanism (e.g., […]

About the Speaker Professor Buneman is a research leader in extending databases to new data models, type systems, and languages. He chairs the Steering Committee for the University of Edinburgh – Huawei Distributed Data Management and Processing Research Laboratory. Abstract If we think of a database as an artifact for publishing data — and certainly […]

Speaker: Prof. Vincent Danos, Ecole Normale Paris Title: “Decentralised Finance the Old and the New” Date/Time: 2021/06/17 9:30 Recording: https://youtu.be/ysc5KSeDQOQ Abstract What is so special about decentralised finance? What kind of assets are traded and what is their fundamental value? What kind of basic financial primitives are available, and can they be combined? We will […]

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel