What’s this about?
Developing distributed systems is a well-known, decades-old problem in Computer Science. Despite significant research effort has been dedicated to this area, developing distributed systems remains challenging.
Programming languages are a fundamental tool to face the complexity of such a scenario. In comparison, however, these have seen modest improvements. Arguably, many ideas for supporting distribution adopted in production languages date back to the early ’90s with CORBA/RMI, and even earlier with the Actor model and concurrent objects.
In recent years, there have been, notable advances in research on programming languages for distributed systems (e.g, CRDTs, lineage in Spark, functional programming in MapReduce, verification of distributed algorithms, language integrated queries). However, the researchers that have been carrying out these efforts are scattered across different communities that include verification and formal methods in general, programming language design, database theory, distributed systems, systems programming, data-centric programming, and web application development.
Join us on Twitter with #PL4DS!
Recent PL4DS Events
-
Dagstuhl Seminar
October 27 - 31, 2019 at Schloss Dagstuhl, GermanyOrganized by Carla Ferreira, Philipp Haller, and Guido Salvaneschi.
Meeting Page Presentations -
Shonan Seminar
May 27 - 30, 2019 in Shonan Village Center, Kamiyamaguchi, JapanOrganized by Philipp Haller, Guido Salvaneschi, Takuo Watanabe, and Gul Agha.
Meeting Page Presentations -
Meeting in Darmstadt
February 23, 2019 in Darmstadt, GermanyOrganized by Guido Salvaneschi, Mira Mezini, and Philipp Haller.
Presentations