Back to the workshop page Adam Baker: Systems Research in Huawei Abstract This talk will give an overview of the newly established Systems Infrastructure Research (SIR) lab, part of the Edinburgh Research Centre. I will present our core research areas and describe current and future projects in distributed systems and operating systems. Bio Adam Barker […]

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 (Huawei) 08:25-08:40 16:25-16:40 Workshop organisation Peter Buneman (UoE) 08:40-09:30 16:40-17:30 Semantic Parsing for Conversational Question-Answering (Abstract/Bio) Mark […]

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 […]