Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Titles and Abstracts of the Talks at the Huawei Edinburgh Workshop in December 2021

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 is the Director of the Systems Infrastructure Research (SIR) lab in the Huawei Edinburgh Research Centre and a Professor of Computer Systems at the School of Computer Science, University of St Andrews. Adam’s core research focuses on distributed systems, he has published over 80 peer-reviewed papers and his research is supported by over £3 Million in grant income from a variety of sources including the EPSRC and Royal Society. Adam has spent large portions of his career in industry and has worked as a Research Scientist at Google in the Bay Area on two separate occasions where he contributed to Borg and Google Cloud Platform (GCP).

Back to the workshop page

Dawud Hage: QA in petal search: challenges, opportunities and future directions

Abstract

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 to present QA systems that we build as well as the challenges and future directions that we want to explore to further improve the need of our users.

Bio

Dawud leads the Language Understanding team at the Huawei research center in Amsterdam. The team focusses on question answering, information extraction and recently conversational systems. Prior to Huawei he worked at trivago on multiple machine learning projects from search to recommender systems.

Back to the workshop page

Glynn Winskel:  Making Concurrency Functional

Abstract

The talk will introduce a mathematical theory of distributed games and strategies and show how several paradigms of functional programming and logic arise automatically from special cases.  
Traditionally in understanding and analysing a large system whether it be in computer science, physics, biology or economics, the system’s behaviour is thought of as going through a sequence of actions as time progresses.  This is bound up with our experience of the world as individuals; in our conscious understanding of the world we experience and narrate our individual history as a sequence, or total order, of events, one after the other.  However, a complex system is often much more than an individual agent. It is better thought of as several or many agents interacting together and distributed over various locations. In which case it can be fruitful to abandon the view of its behaviour as caught by a total order of events and instead think of the events of the system as comprising a partial order.  The partial order expresses the causal dependency between events, how an event depends on possibly several previous events. The view that causal dependency should be paramount over an often incidental temporal order has been discovered and rediscovered in many disciplines: in physics in the understanding of the causal structure of space time; in biology and chemistry in the description of biochemical pathways; in computer science, originally in the work of Petri on Petri nets, and later in the often more mathematically amenable event structures.  An event structure consists of a partial order of events with an additional conflict relation to express when certain events exclude others; they appear naturally in describing the behaviour of a system of distributed agents.  In many contexts it is fruitful to view interacting systems as strategies. A system operates in an unknown environment so often a prescription for its intended behaviour can be expressed as a strategy in which the system is Player against (an unpredictable) Opponent, standing for the environment.  Through a form of distributed/concurrent game, based on event structures, it will be shown how several paradigms of functional programming and logic arise automatically from special cases of distributed games.  

 

Bio

Glynn Winskel is emeritus professor of computer science at the University of Cambridge.  He is currently chief scientist at the Huawei Research Centre in Edinburgh, alongside being professor (part-time) at the universities of Strathclyde and Copenhagen.  He rejoined the University of Cambridge as professor of computer science in 2000. This followed 12 years as professor of computer science at Aarhus University. There he was one of a small number of researchers in Denmark to be awarded funding to head a research centre, in Basic Research in Computer Science (BRICS). He originally read mathematics at Cambridge and mathematical logic at Oxford before turning to computer science for his PhD at Edinburgh (completed 1980). This was followed by a period as a Royal Society postdoctoral fellow, when he was invited by Dana Scott to join his new group at Carnegie Mellon University. In 1984 he left Pittsburgh to take up a lectureship at the Cambridge, becoming reader in 1987, leaving for a professorship in Aarhus in 1988. His book `The Formal Semantics of programming languages’ (MIT Press) is used internationally and available in Italian, Chinese and Japanese. He sees his research as developing the mathematics with which to understand and analyse computation, its nature, power and limitations. He is probably best known for his work generalising the methodology of domain theory and denotational semantics to concurrent computation, and as the main developer of event structures. He was awarded an advanced grant by the European Research Council “Events, Causality and Symmetry—the next generation semantics” (ECSYM, 2011-17). He is a member of the Academia Europaea.

Back to the workshop page

Jeff Pan: Knowledge Graphs and Search: Past, Present and Future

Abstract

Knowledge Graphs can help search engines  to find the right things, get the best summary and many more. In this talk, I will share some thoughts on the past, present and future of knowledge graphs and search, including some related challenges that we might look into in the Knowledge Graphs Lab at the Edinburgh Research Centre.

Bio

Jeff Pan is the Director of the Knowledge Graphs Lab at the Huawei Edinburgh Research Centre. He is a Reader in the School of Informatics at the University of Edinburgh. He helps chair the Knowledge Graphs Group at the Alan Turing Institute. He is a receiver of the Changjiang Scholar Award (2019).

Back to the workshop page

Maciej Zembrzuski: Petal Maps: challenges, opportunities and future directions

Abstract

Natural language processing and understanding is a crucial part of the Huawei Petal Map Search with a wide impact on the product from language identification to spelling error correction. The quality expectations are high because users want nothing but a product that is better compared to our top competitors.  This imposes great challenges for us in developing solutions that must demonstrate both exceptional performance and execution speed.

Bio

Maciej Zembrzuski leads Mas Search team in Huawei R&D center in Amsterdam. He created several NLP solutions which have been productionized by Huawei and in the past by other industry leaders. His interest covers wide range of NLP tasks with particular focus on end-to-end multilingual solutions. He takes pride in combining development with research.

Mark Steedman: Semantic Parsing for Conversational Question-Answering

Abstract

Semantic parsing is the process of building interpretable structure from spoken or written natural language input, for purposes such open-domain question-answering from text and querying data-bases and knowledge-graphs. For the latter tasks, the approach has shifted in recent years from tree-bank-derived rule-based statistical parsers to sequence-to-sequence neural-computational transducers, of a kind originally developed for neural machine translation. The move to sequence-to-sequence has two motivations. First, there is an impedance mismatch between the kind of semantics that is natural to tree-bank parsers and the syntax and semantics of query languages like SQL and SPARQL. Second, sequence-to-sequence transduction is less brittle when faced with variation and deviance on the language side. Problems inherent in end-to-end semantic parsing in comparison to rule-based parsing are: expense of obtaining natural language/database language pairs for training; weak compositional generalization to seen components in unseen combinations; reduced ability to handle long-range dependency constructions like relativization. The talk will describe some work on these problems at Edinburgh and elsewhere. The talk will also describe some recent work on extending end-to-end alignment with explicit models of discourse context in conversational or multiple query-answering.

 

Bio

Mark Steedman is a Professor in the School of Informatics at the University of Edinburgh. His research is at the interdisciplinary interface of computer science and cognitive science in natural language processing (NLP) and Artificial Intelligence (AI). He has pioneered the application of computational techniques to the analysis of natural language syntax and semantics, and to the analysis of music

His most widely recognised invention is Combinatory Categorial Grammar (CCG), a computationally practical theory of natural language grammar and processing (Steedman 1985b, 1987a, 1996a, 2000a, 2012a). His work has been recognized in its linguistic aspect by a Fellowship of the British Academy, and in its applied aspect, by Fellowships of the American Association for Artificial Intelligence (AAAI), the Association for Computational Linguistics (ACL), and the Cognitive Science Society. In 2018, Steedman received the Lifetime Achievement Award of the ACL. His students are employed at Google, Facebook, DeepMind, Apple, and Amazon, as well as on the faculties of the world’s leading universities.

 

Back to the workshop page

Roberto Ierusalimschy:  ​ Lua and Pallene  

Abstract

Lua is a scripting language widely uses in several fields, with strong niches in games and embedded systems. Pallene is a companion language for Lua, that is, a system language specifically designed to interoperate with Lua in a scripting architecture.

The first part of this talk will present the main features of Lua, in particular those that set it apart from other scripting languages, in particular portability, simplicity, and embeddability. The second part will discuss Pallene and the concept of a companion language, which brings together ideas from scripting, jit compilation, and gradual typing, focusing on a design that aims to bring more performance for Lua programs.

 

Bio

Roberto Ierusalimschy is a professor at the Pontifical Catholic University of Rio de Janeiro and the leading architect of the Lua programming language. Currently he is visiting the University of Edinburgh under the Informatics-Huawei Distinguished Visitor Scheme.

 

Back to the workshop page

Shubhabrata Roy: Challenges and research opportunities of Natural Scene Text Recognition: A use case of automatic POI name extractions for Petal Maps

Abstract

Points Of Intersts (POI) are key features of any modern map platform. They improve user experience in terms of navigation, place search etc. In Huawei we currently acquire POI data from different providers, but we also want to build capability to extract POI information from images and videos. In this talk we would present the challenges like text attribute decision, occlusion etc. of Natural Scene Text Recognition for extracting POI information in the wild.

Bio

Back to the workshop page

Talaat Khalil: MT in petal search: challenges and opportunities

Abstract

Translation technology is an integral part in Huawei search environment. Direct applications are diverse and range from open domain input like translation box and web translation to domain specific applications like the application to the shopping vertical. Moreover, the input itself can be dependent on other systems like OCR or ASR. This poses a lot of challenges regarding accuracy, robustness, language scalability and serving performance which we would like to present about.

Bio

Back to the workshop page

Yang Cao: Querying Distributed and Shared Data

Abstract

The need for querying shared data has been increasingly evident due to the many data sharing initiatives from e-government, healthcare, finance and the AI industry, among other things. Shared data typically comes in the form of distributed datasets. Different from conventional homogeneous distributed databases, shared data however is heterogeneous in terms of data models and communication patterns. In this talk, we will discuss approaches to querying shared data with both types of heterogeneities. We will cover a model that captures heterogeneous communication restrictions and costs in query processing, a method for linking relations and graphs, and an extension to SQL with the added capacity of querying relational and graph datasets within the same system or even in a single query. If time allows, we will also briefly cover the database research at Edinburgh in a broad sense that is relevant to the Jointlab and Huawei.

Bio

Yang Cao is a Chancellor’s Fellow at the University of Edinburgh. He has been working on database query processing, graph querying, and systems and theory of data management in general. He holds a number of awards and fellowships, including the RAEng research fellowship (2020), SIGMOD Research Highlight award (2018), and SIGMOD best paper award (2017).

 

Back to the workshop page

Mike O’Boyle: Rethinking optimizing compiler technology

Abstract

Moore’s Law has been the main driver behind the extraordinary success of computer systems. However, with the technology roadmap showing a decline in transistor scaling, computer systems are increasingly specialised and diverse. As it stands, software will simply not fit and current compiler technology is incapable of bridging the gap. We need to fundamentally rethink the role of the compiler. This talk describes some novel approaches to automatic optimization of legacy softwarewith minimal user involvement. It also provide an overview of ongoing work at Edinburgh in compiler technology and computer architecture.

Bio

Michael O’Boyle is a professor of computer science at the University of Edinburgh. He is best known for his work in incorporating machine learning into compilation and parallelization. He has published over 150 papers, receiving six best paper and two Test of Time awards. He is an EPSRC established career fellow and a fellow of the BCS.

Back to the workshop page

 

Jinyun (Joey) Ye:  Challenges in Huawei Compiler

Abstract

Huawei pushes the boundary of how compiler can better serve the purpose of improving productivity, security and performance of programming. In this front we are facing many technical challenges from frontend, codegen, optimization to debugging, . In this talk I will introduce some of these challenges and seek help from academia to break through them.

Bio

Joey Ye leads the Huawei UK Compiler lab, aiming to deliver high performance compiler products and exploring innovative compiler techniques. His interest covers MLIR, LLVM and Flang. Prior to Huawei he worked for Arm and Intel for 15+ years on several close-source and open-source compiler projects.
.

Back to the workshop page

Philip Wadler:  GATE: Gradual Algebraic Effect Types

Abstract

Two recent exciting trends in programming languages are gradual types and algebraic effect handlers.  Several steps are required to bring algebraic effect handlers to wider use, one of the most important being the development of a suitable gradual type system.

Bio

https://homepages.inf.ed.ac.uk/wadler/bio.html

Back to the workshop page

Nikos Ntarmos: (Graph) Database Challenges @ Huawei ERC: Past, Present and Future

Abstract

This talk will provide a high-level overview of the research problems tackled by the Database Lab at Huawei’s Edinburgh RC over the past couple of years, as well as an outlook of what lies ahead. In doing so, it will also attempt to list areas of interest and, hopefully, solicit further discussions for possible future collaborations.

Bio

Dr Nikos Ntarmos is the Director of Database Lab at the Edinburgh Research Centre and a Senior Lecturer at the School of Computing Science, U. of Glasgow. His research interests lie in the area of large-scale distributed data management systems, with current research work focusing on issues pertaining to storage, indexing and query processing in distributed data stores, (graph) database systems, geo-distributed data management infrastructures, and joint in-rest and streaming data processing.

Back to the workshop page

 

Dan Ghica: Terms, diagrams, graphs — a syntactic trinity

Abstract

Syntax is a data structure that comes in many shapes and forms. Humans prefer its serialized representation, which we call “text”, but this form is not ideal for reasoning about its properties, nor for processing it algorithmically. Compilers have long used graph-like data structures to represent syntax (ASTs) and related concepts, especially data flow and control flow graphs, but the connection with the textual form was not made systematic enough. In this talk I will introduce the third and lesser known member of the syntactic trinity, “string diagrams”, and show how they serve as a bridge between the textual and graph representations. Moreover, string diagrams help us derive an improved graph-like representation for syntax which we call “hierarchical hypergraphs” (or “hypernets”), with applications to analysis, optimisation, and transformation of intermediate code in compilers.

Bio

Dan R. Ghica is the Director of the Programming Languages Laboratory in the Huawei Edinburgh Research Centre, since April 2020. He is also a Professor of Semantics of Programming Languages at the University of Birmingham. His principal area of research is semantic-directed approaches to programming language verification and compilation, in particular using game semantics and sub-structural type systems, with applications to high level synthesis (making circuits out of functional programs) and heterogeneous compilation.

Back to the workshop page

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