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.

January 2023 Workshop Schedule

Huawei Edinburgh Lab January 2023 Workshop Schedule

 (11th – 13th, Jan, 8:30am – 1pm. Details to be filled soon)


Wednesday 11 January – Informatics G.03

UK Time China time Topic/title Speakers/Panelists
08:00-08:30 16:00-16:30 Coffee
08:30-09:00 16:30-17:00 Introduction and Brief Survey Peter Buneman (UoE)
09:00-09:45 17:00-17:45 Database Research at Huawei
Nikos Ntarmos (Huawei)
09:45-10:15 17:45-18:15 Building a Compiled Query Engine in Python
Hesam Shahrokhi (UoE)
10:15 – 10:45 18:15-18:45 Coffee break
10:45-11:30 18:45-19:30 Caching meets Transactions
Yang Cao (UoE)
11:30-12:00 19:30 -20:00 Scalable Data Systems for Machine Learning Clusters Luo Mai (UoE)
12:00-13:00 20:00-21:00  Round table discussion and short presentations  

Milos Nikolic
Kobby Nuamah
Antonio Barbalace
Boris Grot
Amir Shaikhha
Antreas Antoniou

13:00-14:00 Lunch
14:00-17:00 Following up meetings



Thursday 12 January – Informatics G.03

UK Time China time Topic/title Speakers
08:00-08:30 16:00-16:30 Coffee
08:30-08:45 16:30-16:45  Introduction and Welcome Jeff Pan (Huawei/UoE)
08:45-09:30 16:45-17:30 Combined Logical and Language-model-based
Inference for QA
Mark Steedman
09:30-09:40 17:30-17:40 EoI short presentation
Kobi Gal (UoE)
09:40-10:10 17:40-18:10 Scenarios and Challenges in Huawei Petal Search
Zhonghua Li (Huawei)
10:10-10:30 18:10-18:30 Coffee break
10:30-11:15 18:30-19:15 Task-specific Pre-training and Prompt Decomposition for Knowledge Graph Population with Language Models Tianyi Li (Huawei/UoE)
11:15-12:00 19:15-20:00 Argument Mining for Argumentation based decision making
Nadin Kokciyan (UoE)
12:00-13:20 20:00-21:20  Round table discussion on the coming call

  • each speaker  has 8 minutes for presentation on their EoIs and
  • 4 minutes for discussions
Liane Guillou (UoE)
Nadin Kokciyan (UoE)
Pasquale Minervini (UoE)
Björn Ross (UoE)
Rik Sarkar (UoE)
Stefano V. Albrecht (UoE)
Chris Xiaoxuan Lu (UoE)
13:20-14:00 Lunch
14:00-17:00 Following up meetings



Friday 13 January – Informatics G.03

UK Time China time Topic/title Speakers
08:00-08:30 16:00-16:30 Coffee
08:30-08:45 16:30-16:45 Introduction and welcome Dan Ghica (Huawei)
08:45-9:10 16:45-17:10 UMI for Rust Xueying Qin (UoE/Huawei)
9:10-9:35 17:10-17:35 Reverse automatic differentiation using string diagrams Mario Alvarez Picallo (Huawei)
9:35-10:00 17:35-18:00 Control flow as a contour of data flow Malin Altenmueller (UoG/Huawei)
10:00-10:25 18:00-18:25 Gradual typing for effect handlers
Li-yao Xia (UoE)
10:25-11:00 18:25-19:00 Coffee break
11:00-11:25 19:00-19:25 Effect handlers for C++
Sam Lindley (UoE/Huawei)
11:25-11:50 19:25-19:50 Implementing effect handlers efficiently
Daniel Hillerstrom (UoE)
11:50-12:15 19:50-20:15  Effect handlers for the CHERI Ian Stark (UoE)
12:15-12:40 20:15-20:40  Automatically briding the gap between legacy code and heterogeneous hardware Mike O’Boyle (UoE)
12:40-13:00 20:40-21:00  Compiler fuzzing Liam O’Connor (UoE)
13:00-14:00 Lunch
14:00-17:00 Following up meetings



Projects and Posters


Project Investigator(s) Poster
The Other Side of Big Graphs: Dependency Theory, Practice and Applications Wenfei Fan poster 
Building and Interrogating Knowledge Graphs from Text Mark Steedman poster (new)
McDoC – Many-Core In-Memory Database on a Chip Björn Franke
Towards Multi-Service and Multi-Operator Softwarized 5G Mobile Networks Mahesh Marina poster
EdgeBoost: Data-driven Traffic Engineering and Configuration Verification Mahesh Marina poster  (new)
Deep Learning in Dynamic, Constrained and Embedded Systems Amos Storkey poster(new)
Splitchain Prahmod Bhatotia
Joint Inference Multi-Task Networks Hakan Bilen poster
Performance optimisation of distributed trusted middleware system Tiejun Ma poster (new)
Parallel Graph Computations: Foundation and Practice Wenfei Fan poster
Huawei Data-Centric Parallelisation Björn Franke
Probalistic Property-Based Testing James Cheney/Vaishak Belle poster (new)
Asterism/Quicksilver: A Pattern Aware Parallel Compiler and Runtime Toolchain Björn Franke/Volker Seeker poster
Semantic Parsing and Dialog for Knowledge-Graph Query Mark Steedman poster
JIT Compilation as a Service Björn Franke
Data Sharing: Querying and Linking Distributed and Autonomous Data Yang Cao
Kobby Nuamah
poster (new) poster(FRANK) (new)
Efficient Training of Giant Neural Networks Luo Mai poster(new)
In-Database Universal Analytics Using Compilation Amir Shaikhha poster (new)
Learning Structured Decompositions of Data for Interpretability Siddharth Narayanaswamy poster (new)
Argument Mining for Argumentation based decision making Nadin Kokciyan poster (new)

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.