ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria

1st Workshop on Principles, theory, and practice for decentralized applications

Today’s modern decentralized applications are expected to integrate a wide range of autonomous devices that dynamically connect and disconnect over time. These devices have vastly different characteristics. Edge devices have limited resources, frequent connectivity loss, and are highly dynamic, whereas data centers offer unlimited resources, strong connectivity guarantees, and stability. Although developing applications for data center-oriented environments is simpler, modern distributed applications are increasingly shifting towards edge resources. This shift highlights the need to address the complexities of building these edge-centric applications. In this context, our workshop aims to explore theoretical and practical approaches addressing the complexities of developing decentralized applications in today’s computing ecosystems.

Our workshop aims to bring together researchers and practitioners focused on decentralized systems, to discuss design principles, development methods, static and dynamic verification techniques, security and safety, case studies, best practices, and experience reports. The goal is to explore theoretical and practical approaches that can address the challenges of developing decentralized applications in today’s computing ecosystems.

This workshop is organized in the context of TaRDIS (Trustworthy and Resilient Decentralized Intelligence for Edge Systems) a Horizon Europe project.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 10:30
10:30 - 12:00
10:30
10m
Day opening
Opening remarks
PLAID
Alceste Scalas Technical University of Denmark
10:40
50m
Keynote
Runtime Instrumentation for Reactive Components
PLAID
Duncan Paul Attard University of Glasgow
11:30
30m
Talk
CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering
PLAID
Ruijie Gong The University of Hong Kong, Hong Kong, Haoze Song The University of Hong Kong, Hong Kong, Heming Cui University of Hong Kong
12:00 - 13:30
13:30 - 15:00
13:30
30m
Talk
Local Projections of DCR Choreographies with Data and Spawn
PLAID
Eduardo Geraldo , Bruno Braga NOVA University Lisbon, Nuno Fernandes NOVA University Lisbon, Diogo Ye NOVA University Lisbon, João Costa Seco NOVA-LINCS; Nova University of Lisbon
14:00
30m
Talk
Compositional Verification of Swarm Protocols
PLAID
Florian Furbach Technical University of Denmark, Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
14:30
30m
Talk
Library Based Choreographies in Lean
PLAID
Simon Daniel TU Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
15:00 - 15:30
15:30 - 17:00
15:30
30m
Talk
Modal Crash Types for Intermittent Computing
PLAID
Myra Dotzel Carnegie Mellon University, Farzaneh Derakhshan Illinois Institute of Technology, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
16:00
30m
Talk
Less is More Revisited: Global Specification and Local Verification Approaches
PLAID
Nobuko Yoshida University of Oxford, UK, Ping Hou University of Oxford, Iona Kuhn University of Oxford
16:30
30m
Talk
Fair Join Pattern Matching for Actors
PLAID
Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
DOI

Call for Papers

Today’s modern decentralized applications are expected to integrate a wide range of autonomous devices that dynamically connect and disconnect over time. These devices have vastly different characteristics. Edge devices have limited resources, frequent connectivity loss, and are highly dynamic, whereas data centers offer unlimited resources, strong connectivity guarantees, and stability. Although developing applications for data center-oriented environments is simpler, modern distributed applications are increasingly shifting towards edge resources. This shift highlights the need to address the complexities of building these edge-centric applications. In this context, our workshop aims to explore theoretical and practical approaches addressing the complexities of developing decentralized applications in today’s computing ecosystems. Our workshop aims to bring together researchers and practitioners focused on decentralized systems, to discuss design principles, development methods, static and dynamic verification techniques, security and safety, case studies, best practices, and experience reports. The goal is to explore theoretical and practical approaches that can address the challenges of developing decentralized applications in today’s computing ecosystems. This workshop is organized in the context of TaRDIS (Trustworthy and Resilient Decentralized Intelligence for Edge Systems) a Horizon Europe project.

Submission Guidelines

Contributions are not restricted to talks presenting original results but are open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects.

We encourage a range of contributions to facilitate exchange between academia and industry. Specifically, we are looking for submissions under two categories:

  1. Talk proposals of at most 1 page. These submissions must provide:

    • the context (speaker, company, research group, larger project, etc.),
    • the content and scope of the talk,
    • links to further info if available (e.g., to existing published papers, prior talks, project websites, etc.)
  2. Relevant in-progress research papers without page limit. If the paper is longer than 8 pages, it must include a summary of one or two key contributions/sections the reviewers should focus on. These submissions will receive reviews by the programming committee focused on potential improvements. There will be no officially published proceedings, but papers will be listed on the website if the authors agree.

If accepted, authors of both submission types are assigned a talk slot of roughly 20 minutes + 10 minutes of questions and discussion (depending on scheduling constraints).

If you have a contribution you consider relevant but that does not fit the 20-minute talk style, please still submit your proposal! We are considering offering poster demonstrations, lightning talks, and space for tool demonstrations in smaller groups (depending on the availability of suitable space at the venue) and would very much be interested to know if there is interest.

Questions? Use the PLAID contact form.