27. – 31. Oktober 2019, Dagstuhl-Seminar 19442

Programming Languages for Distributed Systems and Distributed Data Management


Carla Ferreira (New University of Lisbon, PT)
Philipp Haller (KTH Royal Institute of Technology – Stockholm, SE)
Volker Markl (TU Berlin, DE)
Guido Salvaneschi (TU Darmstadt, DE)
Cristina Videira Lopes (University of California – Irvine, US)

Auskunft zu diesem Dagstuhl-Seminar erteilen

Annette Beyer zu administrativen Fragen

Michael Gerke zu wissenschaftlichen Fragen


Gemeinsame Dokumente


Developing distributed systems is a well-known, decades-old problem in computer science. Despite significant research effort dedicated to this area, programming distributed systems remains challenging. The issues of consistency, concurrency, fault tolerance, as well as (asynchronous) remote communication among heterogeneous platforms naturally show up in this class of systems, creating a demand for proper language abstractions that enable developers to tackle such challenges.

Over the last years, language abstractions have been a key for achieving the properties above in many industrially successful distributed systems. For example, MapReduce takes advantage of purity to parallelize task processing, complex event processing adopts declarative programming to express sophisticated event correlations, and Spark leverages functional programming for efficient fault recovery via lineage. In parallel, there have been notable advances in research on programming languages for distributed systems, such as conflict-free replicated data types, distributed information flow security, language support for safe distribution of computations, as well as programming frameworks for mixed IoT/cloud development.

However, the researchers that have been carrying out these efforts are scattered across different communities that include programming language design, type systems and theory, database systems and database theory, distributed systems, systems programming, data-centric programming, and web application development. This Dagstuhl Seminar aims to bring researchers from these different communities together.

The seminar aims to focus on answering the following major questions in addition to those raised by participants:

  • Which abstractions are required in emergent fields of distributed systems, such as mixed cloud/edge computing and IoT?
  • How can language abstractions be designed in a way that they provide a high-level interface to programmers and still allow fine-grained tuning of low-level properties when needed, possibly in a gradual way?
  • Which compilation pipeline (e.g., which intermediate representation) is needed to address the (e.g., optimization) issues of distributed systems?
  • Which research issues must be solved to provide tools (e.g., debuggers, profilers) that are needed to support languages that target distributed systems?
  • Which security and privacy issues come up in the context of programming languages for distributed systems and how can they be addressed?
  • What benchmarks can be defined to compare language implementations for distributed systems?

Motivation text license
  Creative Commons BY 3.0 DE
  Philipp Haller, Volker Markl, Guido Salvaneschi, and Cristina Videira Lopes


  • Data Bases / Information Retrieval
  • Operating Systems
  • Programming Languages / Compiler


  • Distributed programming
  • Big data processing
  • Distributed computing
  • Distributed data management
  • Cloud computing


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.