May 31st | Dresden Research Center - Operating System
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Shaowei Liu | Opening remarks | |
| 00:09:43 | Guilei Xie | Opening speech | |
| 00:18:16 | Jonas Oberhauser | From the roots to the sky: end to end concurrency verification in DresdenRC | [PDF] |
| 00:56:23 | Paul E. McKenney | Cautionary Tales on Implementing the Software That People Want | [PDF] |
| 01:40:17 | Adam Lackorzynski | Safe and Secure Heterogeneous Compute with L4Re | [PDF] |
| 02:24:37 | Umang Mathur | Timestamping through a Data-Structure Lens | [PDF] |
| 02:57:24 | Bo Zhao | Scalable and Sustainable Data-Intensive Systems | [PDF] |
| 03:40:26 | Christof Fetzer | Governance and Remote Confidential Computing with SCONE | [PDF] |
| 04:19:44 | Jörg Rödel | The COCONUT Secure VM Service Module | |
| 05:01:37 | Alex Kogan | Improving Inference Performance of Machine Learning with the Divide-and-Conquer Principle | [PDF] |
| 05:40:11 | Andrey Rybalchenko | Network Verification for Improving Azure Reliability |
June 1st | Dresden Research Center - Operating System
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Hernan Luis Ponce de Leon | Fantastic beasts and where to find them: Advances and open problems in automatic verification of concurrent applications | [PDF] |
| 00:41:38 | Viktor Vafeiadis | Effective bounded verification of concurrent programs | [PDF] |
| 01:23:56 | Jade Alglave | Extending Arm’s consistency model to account for Arm’s Virtual Memory System Architecture | [PDF] |
| 02:00:13 | Baptiste Lepers | Johnny Cache: the End of DRAM Cache Conflicts in Tiered Main Memory Systems | [PDF] |
| 02:37:45 | Pedro Ramalhete | Design tradeoffs in Memory Reclamation | [PDF] |
| 03:17:45 | Onur Mutlu | Memory-Centric Computing | [PDF] |
June 1st | Edinburgh Bayes Coffee House - Distributed & Operating Systems
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Adam Barker | Summit Opening Speech | [PDF] |
| 00:09:10 | David Robertson | White Paper Reveal | [PDF] |
| 00:16:26 | Leandro Soares Indrusiak | Digital Evil Twin - identification of worst-case behaviours in real-time systems | [PDF] |
| 00:59:16 | Prof. Boris Grot | Enabling Serverless Research with the vHive Open-Source Ecosystem | [PDF] |
| 01:39:38 | Antonio Barbalace | Rethinking Systems Software for Emerging Data Center Hardware | [PDF] |
| 02:22:34 | Lluis Vilanova | Rethinking service isolation to reduce the cloud tax | [PDF] |
| 03:04:43 | Stephen McGough | Predicting the performance of systems through Deep Learning | [PDF] |
| 03:41:28 | Denis Barthou | Automatic Parallelization for large AI models | |
| 04:26:18 | William Jalby | The Long and Winding Road Towards Efficient High-Performance Computing | [PDF] |
| 04:59:12 | Serge Petiton | Challenges for Extreme Scale Computational Science and Machine Learning |
June 2nd | Edinburgh Bayes Coffee House - Knowledge Computing, Programming Language & Compiler
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Jeff Pan | Opening Speech- Knowledge Computing | [PDF] |
| 00:05:35 | Steve Clark | Hybrid Recurrent Architectures for Quantum-Classical NLP | [PDF] |
| 00:45:18 | Edward Grefenstette | Going beyond the benefits of scale by reasoning about data | [PDF] |
| 01:30:10 | Mark Steedman | Inference in the time of GPT | [PDF] |
| 02:10:27 | Luke Zettlemoyer | Nonparametric Language Models: Trading Data for Parameters (and Compute) in Large Language Models | |
| 02:50:27 | Steve Clark Edward Grefenstette Mark Steedman Luke Zettlemoyer Edoardo Ponti | Round Table Discussion | [PDF] |
| 03:37:50 | Dan Ghica | Introduction - Programming Language & Compiler | |
| 03:40:08 | Yaoqing Gao | Opening Speech- Programming Language & Compiler | |
| 03:42:48 | Leo White | Names and modalities for typing effect handlers | [PDF] |
| 04:23:31 | Bob Coecke | From quantum picturalism to interpretable quantum AI | [PDF] |
| 05:05:24 | Michael O’Boyle | Rethinking how we build compilers: synthesis and neural machine translation | [PDF] |
| 05:43:11 | Don Syme | AI and Code: Two Projects from GitHub Next | [PDF] |
June 2nd | Ireland Research Center - Software Autonomy Trustworthy Technology & Cloud Service Technology
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Derek Colins | Opening Speech | |
| 00:04:05 | Benoit Claise | Decomposing Autonomous Driving Networks: Get out of the Loop, be Ready for Closed Loop | |
| 00:53:27 | Alan Smeaton | Online Information Seeking: Preparing for the Big Shake-Up | |
| 01:44:18 | Diego Calvanese | Semantic Technologies for Industry Digital Twins | |
| 02:27:35 | John Breslin | Cognitive Digital Twins for Industry 4.0 | |
| 03:15:16 | Ananth Shrinivas Srinath | Reliability Challenges in Large Distributed Systems | |
| 03:57:32 | Mingming Liu | Graph Neural Networks for Micro Service Based Cloud Application | |
| 04:32:34 | Lingxiao Jiang | Harnessing Deep Learning Models for Automated Generation of Program Transformation Rules | |
| 05:05:55 | Yijun Yu | Research Prospect of Rust Open Source Root Technology and Language Engineering |
