Academic Journal
Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)
| العنوان: | Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051) |
|---|---|
| المؤلفون: | Balzer, Stephanie, Carbone, Marco, Kuhn, Roland, Thiemann, Peter |
| المساهمون: | Stephanie Balzer and Marco Carbone and Roland Kuhn and Peter Thiemann |
| بيانات النشر: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| سنة النشر: | 2024 |
| المجموعة: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| مصطلحات موضوعية: | behavioural types, concurrency, programming languages, session types |
| الوصف: | The emergence of new computing systems, like cloud computing, blockchains, and Internet of Things (IoT), replaces the traditional monolithic software hardware stack with a distributed heterogeneous model. This change poses new demands on the programming languages for developing such systems: compositionality, allowing decomposition of a system into smaller, possibly heterogeneous, parts and composition of the individually verified parts into a verified whole, security, asserting end-to-end integrity and confidentiality, quantitative reasoning methods, accounting for timing and probabilistic events, and, as a cross-cutting concern, certification of asserted properties in terms of independently verifiable, machine-checked proofs. Characteristics of this emerging computation model are distribution of the participating entities and message passing as the primary means of communication. Message passing is also the communication model underlying behavioral types and programming languages, making them uniquely fitted for this new application domain. Behavioral types explicitly capture the protocols of message exchange and have a strong theoretical foundation. Recent applications of behavioral types include smart contract languages, information flow control, and machine-checked proofs of safety properties. Although these early explorations are promising, the current state of the art of behavioral types and programming languages lacks a comprehensive account of the above-mentioned demands. This Dagstuhl Seminar aims to gather experts from academia and industry to discuss the use of programming languages tailored to tackle the challenges posed by today’s emerging distributed and heterogeneous computing platforms, e.g., by making use of behavioral types. It will focus on static and possibly dynamic mechanisms to support compositionality, security, quantitative reasoning, and certification. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | Is Part Of Dagstuhl Reports, Volume 14, Issue 1 (2024); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.108 |
| DOI: | 10.4230/DagRep.14.1.108 |
| الاتاحة: | https://doi.org/10.4230/DagRep.14.1.108 https://nbn-resolving.org/urn:nbn:de:0030-drops-204930 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.108 |
| Rights: | https://creativecommons.org/licenses/by/4.0/legalcode |
| رقم الانضمام: | edsbas.5660F453 |
| قاعدة البيانات: | BASE |
| DOI: | 10.4230/DagRep.14.1.108 |
|---|