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 |
| 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
|
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) |
Comments are closed
Comments to this thread have been closed by the post author or by an administrator.