Haas, Julian (2022)
Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud.
SPLASH Companion '22: 37th ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Auckland, New Zealand (06.12.2022)
doi: 10.1145/3563768.3565546
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The decentralized nature of local-first software paired with the unpredictability of interactions driven from the outside world impede reasoning about their correctness. Yet, existing solutions to develop local-first software do not provide safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. This is too much to ask of application developers, who are usually not experts in designing distributed systems. This work seeks to develop a programming model which facilitates the construction of local-first software and eradicates certain classes of safety and security problems by design. We do so by providing a dedicated local-first programming language and an accompanying automated verification procedure that can be integrated as part of the compilation process.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2022 |
| Autor(en): | Haas, Julian |
| Art des Eintrags: | Bibliographie |
| Titel: | Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud |
| Sprache: | Englisch |
| Publikationsjahr: | 1 Dezember 2022 |
| Verlag: | ACM |
| Buchtitel: | SPLASH Companion'22: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity |
| Veranstaltungstitel: | SPLASH Companion '22: 37th ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity |
| Veranstaltungsort: | Auckland, New Zealand |
| Veranstaltungsdatum: | 06.12.2022 |
| DOI: | 10.1145/3563768.3565546 |
| Kurzbeschreibung (Abstract): | Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such software typically involves interactions with users and the execution environment (the outside world). The decentralized nature of local-first software paired with the unpredictability of interactions driven from the outside world impede reasoning about their correctness. Yet, existing solutions to develop local-first software do not provide safety guarantees and instead expect developers to reason about concurrent interactions in an environment with unreliable network conditions. This is too much to ask of application developers, who are usually not experts in designing distributed systems. This work seeks to develop a programming model which facilitates the construction of local-first software and eradicates certain classes of safety and security problems by design. We do so by providing a dedicated local-first programming language and an accompanying automated verification procedure that can be integrated as part of the compilation process. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Distributed Systems Programming 20 Fachbereich Informatik > Softwaretechnik |
| Hinterlegungsdatum: | 30 Apr 2024 09:16 |
| Letzte Änderung: | 30 Apr 2024 09:16 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum