TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 26222

Foundations of Disaggregated Memory and Heterogeneous Architectures

( May 25 – May 28, 2026 )

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/26222

Organizers
  • Brijesh Dongol (University of Surrey - Guildford, GB)
  • Michal Friedman (ETH Zürich, CH)
  • Ori Lahav (Tel Aviv University, IL)
  • Azalea Raad (Imperial College London, GB)

Contact

Motivation

Computing architectures are fundamentally changing with the advent of novel technologies such as disaggregated memory (that decouples memory from compute units), as well as heterogeneous architectures that integrate different types of processors (e.g., CPUs, GPUs, AI accelerators) and memory (e.g., DRAM and non-volatile memory) within a unified system. These architectures, enabled by technologies such as RDMA and CXL, provide many benefits from dynamic resource pooling to improved utilization and latency. However, they also introduce fundamental challenges that require rethinking of existing models and development of new design principles, programming paradigms, and notions of composability.

This Dagstuhl Seminar aims to convene leading researchers and practitioners from computer architectures, distributed systems, programming languages, and database systems to develop a research agenda for disruptive memory technologies and heterogeneous architectures. The seminar aims to (1) identify key challenges in semantics and verification, (2) explore practical solutions across layers of the compute stack, and (3) foster cross-community collaboration combining both practice and theory to shape the next generation of computing platforms.

The main aim of this Dagstuhl Seminar is to work towards providing rigorous formal foundations for provably correct distributed software over disaggregated and heterogeneous architectures. With this aim in mind, we address several research questions and challenges.

  1. Formal semantics and models. While RDMA and CXL each have their own industrial standards bodies that specify the behaviors of these architectures, there are gaps between the intended and actual specifications. How can we develop a full formal picture of disaggregated and heterogeneous architectures that are (a) an accurate reflection of real hardware yet (b) are usable by programmers?
  2. Composable abstractions and libraries. RDMA- and CXL-based systems provide opportunities to craft new abstractions that can in turn be used to construct classical distributed objects (e.g., key-value stores and online transaction processing systems). Can we produce composable developer-friendly abstractions and APIs in a principled fashion?
  3. Correct and efficient implementations. The advent of new hardware architectures raises immediate questions about efficient implementations, e.g., the optimized use of synchronizing instructions such as fence and flush or global synchronization operations. How can we minimize the synchronization overhead while providing strong correctness guarantees?
  4. Applications and use cases. Our final set of discussions will revolve around applications that can best take advantage of RDMA- and CXL-based systems with different memory tiers and disaggregation. We focus on classical extensions to in-memory databases, consensus protocols, data structures (e.g., queues and ring buffers), transaction processing systems, distributed file-systems, etc. Can the designs of such applications be modularized to decouple compute, memory, and storage?
Copyright Brijesh Dongol, Michal Friedman, Ori Lahav, and Azalea Raad

LZI Junior Researchers

This seminar qualifies for Dagstuhl's LZI Junior Researchers program. Schloss Dagstuhl wishes to enable the participation of junior scientists with a specialisation fitting for this Dagstuhl Seminar, even if they are not on the radar of the organizers. Applications by outstanding junior scientists are possible until Friday, November 28, 2025.


Related Seminars
  • Dagstuhl Seminar 21462: Foundations of Persistent Programming (2021-11-14 - 2021-11-17) (Details)

Classification
  • Distributed / Parallel / and Cluster Computing
  • Logic in Computer Science
  • Programming Languages

Keywords
  • Disaggregated Memory
  • Heterogeneous Architectures
  • System Design Principles
  • Formal Semantics
  • Weak Memory Models