Workshop on Principles, theory, and practice for decentralized applicationsPLAID 2024
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.
Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:30 - 12:00 | |||
10:30 10mDay opening | Opening remarks PLAID Alceste Scalas Technical University of Denmark | ||
10:40 50mKeynote | Runtime Instrumentation for Reactive Components PLAID Duncan Paul Attard University of Glasgow | ||
11:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | 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:
-
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.)
-
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.