Successfully registered.
You'll receive a confirmation email soon with more information.
You'll receive a confirmation email soon with more information.
Huawei is committed to bring digital to every person, home and organization for a fully-connected intelligent world. To harness the true benefits of 5G, AI, and Cloud, the basic software that underpins the foundation of these technologies must successfully resolve the challenges that arise from the need to support a rich variety of business scenarios on thousands of heterogeneous devices. Huawei aims to foster the open-minded discussion of industry challenges with its academic and industrial partners.
Huawei European Research Institute and Central Software Institute together invite collaboration partners and the research community to join the three-day open access conference focusing on the latest research and development in Operating Systems, Data Analytics, Compiler, Programming Language, Software Autonomy Trustworthy Technology & Cloud Service Technology and related topics – innovations which will build the future mission-critical systems.
The scope of the summit is based on publicly available information and the presentations are open to all participants (external experts and Huawei colleagues). The attendees will include professors and experts from our global partners and employees from Huawei Co., Ltd.
Huawei European Research Institute and Central Software Institute together invite collaboration partners and the research community to join the three-day open access conference focusing on the latest research and development in Operating Systems, Data Analytics, Compiler, Programming Language, Software Autonomy Trustworthy Technology & Cloud Service Technology and related topics – innovations which will build the future mission-critical systems.
The scope of the summit is based on publicly available information and the presentations are open to all participants (external experts and Huawei colleagues). The attendees will include professors and experts from our global partners and employees from Huawei Co., Ltd.
Time Schedule
All dates and times are in UTC+1 (London).
Change timezone to Beijing (UTC+8).
Change timezone to Beijing (UTC+8).
Time | Topic | Speaker |
---|---|---|
07:00-07:20 | Opening Speech - Summit Opening | Ziang Hu |
07:20-08:10 | Enabling Performance on Modern Hardware with Practical VerificationView Details | Diogo Behrens |
08:10-09:00 | Pointer Life Cycle Types for Lock-Free Data Structures with Memory ReclamationView Details | Roland Meyer |
Coffee Break (10 minutes) | ||
09:10-10:00 | Scalable Storage Stack for Persistent MemoryView Details | Sanidhya Kashyap |
10:00-10:50 | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux KernelView Details | Baptiste Lepers |
Lunch Break (1 hour) | ||
12:00-12:50 | M³ and Beyond: Secure Systems with Fast EnforcementView Details | Michael Roitzsch |
12:50-13:40 | Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOSView Details | Lluis Vilanova |
13:40-14:30 | Building Blocks of Confidential ComputingView Details | Jörg Rödel |
Time | Topic | Speaker |
---|---|---|
07:00-07:50 | The story of BPFView Details | Alexei Starovoitov |
07:50-08:40 | BPF LSM: Why and What's next?View Details | KP Singh |
08:40-09:30 | Cut your Cloud Costs by Half with UnicraftView Details | Felipe Huici |
Coffee Break (10 minutes) | ||
09:40-10:30 | Rust for Linux: Overview and StatusView Details | Miguel Ojeda |
10:30-11:10 | The BFQ I/O scheduler: a development journey from academia to industryView Details | Paolo Valente |
11:10-12:00 | VirtIO HALs and other abstractionsView Details | Alex Benee |
Lunch Break (1 hour) | ||
13:00-13:10 | Opening Speech - Coffee HouseView Details | David Robertson |
13:10-13:20 | Opening for Data AnalyticsView Details | Stratis Viglas |
13:20-14:00 | Towards Learned Data ManagementView Details | Peter Triantafillou |
14:00-14:40 | What can machine learning systems learn from data analytics?View Details | Peter Pietzuch |
14:40-15:20 | The Providence of ProvenanceView Details | Peter Buneman |
Time | Topic | Speaker |
---|---|---|
08:00-08:10 | Third Day OpeningView Details | Jeff Pan |
08:10-08:50 | Inference in Open-Domain Question-AnsweringView Details | Mark Steedman |
08:50-09:30 | Uncovering the Semantics of Deep Neural Networks with Knowledge GraphsView Details | Freddy Lecue |
09:30-10:10 | Integrated HealthCare Datasets for Knowledge DiscoveryView Details | Christophe Gueret |
Coffee Break (20 minutes) | ||
10:30-10:40 | Opening for Compiler & PLView Details | Dan Ghica |
10:40-11:20 | Scalable Foundations for Verified Systems ProgrammingView Details | Derek Dreyer |
11:20-12:00 | Rethinking data exploration toolsView Details | Tomas Petricek |
Lunch Break (1 hour) | ||
13:00-13:40 | Towards cross-domain domain-specific compiler architectureView Details | Paul Kelly |
13:40-14:20 | Towards Autonomous Compiler Design Using Machine LearningView Details | Zheng Wang |
14:20-15:00 | Low Fat Recipes for Reliable Programming LanguagesView Details | Alastair Donaldson |
Time | Topic | Speaker |
---|---|---|
08:00-08:10 | Third Day Opening | Derek Collins |
08:10-08:50 | Ownership and Lifetime Driven Synthesizer for Automatic C to Rust TranslationnView Details | Meng Wang |
08:50-09:30 | Key Technology in the Trusted ProgrammingView Details | Yijun Yu |
Coffee Break (20 minutes) | ||
09:50-10:30 | Fast Fault Locating Technology for Complex SystemsView Details | Brieuc Jeunhomme |
10:30-11:10 | Introduction to the Technology Research of System Autonomous Assurance CapabilityView Details | Aleksandar Milenovic |
11:10-12:00 | Virtual Knowledge Graphs - Applications and ToolsView Details | Guohui Xiao |
Lunch Break (1 hour) | ||
13:00-13:40 | Explainable Machine Learning for Optimization of Resource Use in Large-scale Heterogeneous InfrastructuresView Details | Ivana Dusparic Pieter Barnard |
13:40-14:20 | A New Gaming Eco-system for HuaweiView Details | Tobias Alexander Franke |
14:20-15:00 | Huawei Multilingual NLP Tech in HMSView Details | Sourav Dutta |