Day 1 - July 5th | Dresden Research Center
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Ziang Hu | Huawei: opening speech | |
| 00:21:25 | Diogo Behrens | Enabling Performance on Modern Hardware with Practical Verification | [PDF] |
| 01:11:33 | Roland Meyer | Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation | [PDF] |
| 02:11:44 | Sanidhya Kashyap | Scalable Storage Stack for Persistent Memory | [PDF] |
| 02:58:22 | Baptiste Lepers | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel | [PDF] |
| 05:03:34 | Michael Roitzsch | M³ and Beyond: Secure Systems with Fast Enforcement | [PDF] |
| 05:53:26 | Lluis Vilanova | Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOS | |
| 06:43:00 | Jörg Rödel | Building Blocks of Confidential Computing | [PDF] |
Day 2 - July 6th |
Dresden Research Center & Edinburgh Bayes Center
Dresden Research Center & Edinburgh Bayes Center
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:50:06 | Alexei Starovoitov | The story of BPF | [PDF] |
| 01:41:43 | KP Singh | BPF LSM: Why and What's next? | [PDF] |
| 02:29:00 | Felipe Huici | Cut your Cloud Costs by Half with Unicraft | [PDF] |
| 03:31:40 | Miguel Ojeda | Rust for Linux: Overview and Status | [PDF] |
| 04:21:23 | Paolo Valente | The BFQ I/O scheduler: : a development journey from academia to industry | |
| 05:13:00 | Alex Benee | VirtIO HALs and other abstractions | [PDF] |
| 06:50:00 | David Robertson | Opening Speech - Coffee House | |
| 06:57:28 | Stratis Viglas | Opening for Data Analytics | |
| 07:08:19 | Peter Pietzuch | What can machine learning systems learn from data analytics? | [PDF] |
| 07:51:30 | Peter Triantafillou | Towards Learned Data Management | |
| 08:38:22 | Peter Buneman | The Providence of Provenance |
Day 3 - July 7th | Edinburgh Bayes Center
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:24:21 | Jeff Pan | Third Day Opening; Knowledge Graphs | |
| 00:30:40 | Christophe Gueret | Integrated HealthCare Datasets for Knowledge Discovery | [PDF] |
| 01:09:27 | Freddy Lecue | Uncovering the Semantics of Deep Neural Networks with Knowledge Graphs | [PDF] |
| 02:01:48 | Mark Steedman | Inference in Open-Domain Question-Answering | [PDF] |
| 03:00:24 | Dan Ghica | Opening for Compiler & PL | |
| 03:13:23 | Derek Dreyer | Scalable Foundations for Verified Systems Programming | [PDF] |
| 03:57:37 | Tomas Petricek | Rethinking data exploration tools | |
| 05:19:18 | Paul Kelly | Towards cross-domain domain-specific compiler architecture | [PDF] |
| 05:59:44 | Zheng Wang | Towards Autonomous Compiler Design Using Machine Learning | [PDF] |
| 06:42:48 | Alastair Donaldson | Low Fat Recipes for Reliable Programming Languages | [PDF] |
Day 3 - July 7th | Ireland Research Centre
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:15:30 | Derek Collins | Opening | |
| 00:17:26 | Meng Wang and Hanliang Zhang | Ownership and Lifetime Driven Synthesizer for Automatic C to Rust Translationn | [PDF] |
| 01:02:00 | Yijun Yu | Key Technology in the Trusted Programming | [PDF] |
| 02:06:13 | Brieuc Jeunhomme | Fast Fault Locating Technology for Complex Systems | [PDF] |
| 02:45:05 | Aleksandar Milenovic | Introduction to the Technology Research of System Autonomous Assurance Capability | [PDF] |
| 03:34:13 | Guohui Xiao | Virtual Knowledge Graphs - Applications and Tools | [PDF] |
| 05:15:54 | Ivana Dusparic and Pieter Barnard | Explainable Machine Learning for Optimization of Resource Use in Large-scale Heterogeneous Infrastructures | [PDF] |
| 05:52:04 | Tobias Alexander Franke | A New Gaming Eco-system for Huawei | [PDF] |
| 06:33:57 | Sourav Dutta | Huawei Multilingual NLP Tech in HMS | [PDF] |
