@Article{deleon_et_al:DARTS.9.2.0, author = {de Le\'{o}n, Hern\'{a}n Ponce and Winter, Stefan}, title = {{Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}}, pages = {0:i--0:xii}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {de Le\'{o}n, Hern\'{a}n Ponce and Winter, Stefan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.0}, URN = {urn:nbn:de:0030-drops-182401}, doi = {10.4230/DARTS.9.2.0}, annote = {Keywords: Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee} } @Article{roth:DARTS.9.2.1, author = {Roth, Ori}, title = {{Python Type Hints Are Turing Complete (Artifact)}}, pages = {1:1--1:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Roth, Ori}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.1}, URN = {urn:nbn:de:0030-drops-182418}, doi = {10.4230/DARTS.9.2.1}, annote = {Keywords: nominal Subtyping with Variance, Python} } @Article{tan_et_al:DARTS.9.2.2, author = {Tan, Jinhao and Oliveira, Bruno C. d. S.}, title = {{Dependent Merges and First-Class Environments (Artifact)}}, pages = {2:1--2:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Tan, Jinhao and Oliveira, Bruno C. d. S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.2}, URN = {urn:nbn:de:0030-drops-182427}, doi = {10.4230/DARTS.9.2.2}, annote = {Keywords: First-class Environments, Disjointness, Intersection Types} } @Article{rumsevicius_et_al:DARTS.9.2.3, author = {Rumsevicius, Ugnius and Venkateshwaran, Siddhanth and Kidane, Ellen and Pina, Lu{\'\i}s}, title = {{Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact)}}, pages = {3:1--3:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Rumsevicius, Ugnius and Venkateshwaran, Siddhanth and Kidane, Ellen and Pina, Lu{\'\i}s}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.3}, URN = {urn:nbn:de:0030-drops-182431}, doi = {10.4230/DARTS.9.2.3}, annote = {Keywords: Internet browsers, dynamic software updating, multi-version execution} } @Article{demuijnckhughes_et_al:DARTS.9.2.4, author = {de Muijnck-Hughes, Jan and Vanderbauwhede, Wim}, title = {{Wiring Circuits Is Easy as \{0, 1, \omega\}, or Is It... (Artifact)}}, pages = {4:1--4:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {de Muijnck-Hughes, Jan and Vanderbauwhede, Wim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.4}, URN = {urn:nbn:de:0030-drops-182442}, doi = {10.4230/DARTS.9.2.4}, annote = {Keywords: Hardware Design, Linear Types, Dependent Types, DSLs, Idris, SystemVerilog, Netlists} } @Article{yee_et_al:DARTS.9.2.5, author = {Yee, Ming-Ho and Guha, Arjun}, title = {{Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact)}}, pages = {5:1--5:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Yee, Ming-Ho and Guha, Arjun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.5}, URN = {urn:nbn:de:0030-drops-182456}, doi = {10.4230/DARTS.9.2.5}, annote = {Keywords: Type migration, deep learning} } @Article{silver_et_al:DARTS.9.2.6, author = {Silver, Lucas and He, Paul and Cecchetti, Ethan and Hirsch, Andrew K. and Zdancewic, Steve}, title = {{Semantics for Noninterference with Interaction Trees (Artifact)}}, pages = {6:1--6:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Silver, Lucas and He, Paul and Cecchetti, Ethan and Hirsch, Andrew K. and Zdancewic, Steve}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.6}, URN = {urn:nbn:de:0030-drops-182465}, doi = {10.4230/DARTS.9.2.6}, annote = {Keywords: verification, information-flow, denotational semantics, monads} } @Article{ramos_et_al:DARTS.9.2.7, author = {Ramos, Frederico and Sabino, Nuno and Ad\~{a}o, Pedro and Naumann, David A. and Fragoso Santos, Jos\'{e}}, title = {{Toward Tool-Independent Summaries for Symbolic Execution (Artifact)}}, pages = {7:1--7:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Ramos, Frederico and Sabino, Nuno and Ad\~{a}o, Pedro and Naumann, David A. and Fragoso Santos, Jos\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.7}, URN = {urn:nbn:de:0030-drops-182478}, doi = {10.4230/DARTS.9.2.7}, annote = {Keywords: Symbolic Execution, Runtime Modelling, Symbolic Summaries} } @Article{silver_et_al:DARTS.9.2.8, author = {Silver, Lucas and Westbrook, Eddy and Yacavone, Matthew and Scott, Ryan}, title = {{Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact)}}, pages = {8:1--8:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Silver, Lucas and Westbrook, Eddy and Yacavone, Matthew and Scott, Ryan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.8}, URN = {urn:nbn:de:0030-drops-182485}, doi = {10.4230/DARTS.9.2.8}, annote = {Keywords: coinduction, specification, verification, monads} } @Article{barwell_et_al:DARTS.9.2.9, author = {Barwell, Adam D. and Hou, Ping and Yoshida, Nobuko and Zhou, Fangyi}, title = {{Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact)}}, pages = {9:1--9:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Barwell, Adam D. and Hou, Ping and Yoshida, Nobuko and Zhou, Fangyi}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.9}, URN = {urn:nbn:de:0030-drops-182492}, doi = {10.4230/DARTS.9.2.9}, annote = {Keywords: Session Types, Concurrency, Failure Handling, Code Generation, Scala} } @Article{castroperez_et_al:DARTS.9.2.10, author = {Castro-Perez, David and Yoshida, Nobuko}, title = {{Dynamically Updatable Multiparty Session Protocols (Artifact)}}, pages = {10:1--10:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Castro-Perez, David and Yoshida, Nobuko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.10}, URN = {urn:nbn:de:0030-drops-182505}, doi = {10.4230/DARTS.9.2.10}, annote = {Keywords: Multiparty Session Types, Correctness-by-construction, Concurrency, Golang} } @Article{haas_et_al:DARTS.9.2.11, author = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira}, title = {{LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)}}, pages = {11:1--11:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Haas, Julian and Mogk, Ragnar and Yanakieva, Elena and Bieniusa, Annette and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.11}, URN = {urn:nbn:de:0030-drops-182510}, doi = {10.4230/DARTS.9.2.11}, annote = {Keywords: Local-First Software, Reactive Programming, Invariants, Consistency, Automated Verification} } @Article{madsen_et_al:DARTS.9.2.12, author = {Madsen, Magnus and Starup, Jonathan Lindegaard and Lutze, Matthew}, title = {{Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact)}}, pages = {12:1--12:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Madsen, Magnus and Starup, Jonathan Lindegaard and Lutze, Matthew}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.12}, URN = {urn:nbn:de:0030-drops-182521}, doi = {10.4230/DARTS.9.2.12}, annote = {Keywords: restrictable variants, extensible variants, refinement types, Boolean unification} } @Article{henniger_et_al:DARTS.9.2.13, author = {Henniger, Simon and Amin, Nada}, title = {{The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact)}}, pages = {13:1--13:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Henniger, Simon and Amin, Nada}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.13}, URN = {urn:nbn:de:0030-drops-182532}, doi = {10.4230/DARTS.9.2.13}, annote = {Keywords: extensible languages, meta programming, macros, program generation, compilation} } @Article{kuhn_et_al:DARTS.9.2.14, author = {Kuhn, Roland and Melgratti, Hern\'{a}n and Tuosto, Emilio}, title = {{Behavioural Types for Local-First Software (Artifact)}}, pages = {14:1--14:5}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Kuhn, Roland and Melgratti, Hern\'{a}n and Tuosto, Emilio}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.14}, URN = {urn:nbn:de:0030-drops-182541}, doi = {10.4230/DARTS.9.2.14}, annote = {Keywords: Distributed coordination, local-first software, behavioural types, publish-subscribe, asynchronous communication} } @Article{nieto_et_al:DARTS.9.2.15, author = {Nieto, Abel and Daby-Seesaram, Arnaud and Gondelman, L\'{e}on and Timany, Amin and Birkedal, Lars}, title = {{Modular Verification of State-Based CRDTs in Separation Logic (Artifact)}}, pages = {15:1--15:5}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Nieto, Abel and Daby-Seesaram, Arnaud and Gondelman, L\'{e}on and Timany, Amin and Birkedal, Lars}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.15}, URN = {urn:nbn:de:0030-drops-182553}, doi = {10.4230/DARTS.9.2.15}, annote = {Keywords: separation logic, distributed systems, CRDT, replicated data type, formal verification} } @Article{suchert_et_al:DARTS.9.2.16, author = {Suchert, Felix and Zeidler, Lisza and Castrillon, Jeronimo and Ertel, Sebastian}, title = {{ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact)}}, pages = {16:1--16:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Suchert, Felix and Zeidler, Lisza and Castrillon, Jeronimo and Ertel, Sebastian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.16}, URN = {urn:nbn:de:0030-drops-182562}, doi = {10.4230/DARTS.9.2.16}, annote = {Keywords: concurrent programming, verification, scalability} } @Article{richter_et_al:DARTS.9.2.17, author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, title = {{A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact)}}, pages = {17:1--17:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.17}, URN = {urn:nbn:de:0030-drops-182573}, doi = {10.4230/DARTS.9.2.17}, annote = {Keywords: do-notation, parallelism, concurrency, effects} } @Article{jongmans_et_al:DARTS.9.2.18, author = {Jongmans, Sung-Shik and Ferreira, Francisco}, title = {{Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)}}, pages = {18:1--18:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Jongmans, Sung-Shik and Ferreira, Francisco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.18}, URN = {urn:nbn:de:0030-drops-182580}, doi = {10.4230/DARTS.9.2.18}, annote = {Keywords: behavioural types, multiparty session types, choreographies} } @Article{deporre_et_al:DARTS.9.2.19, author = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, title = {{VeriFx: Correct Replicated Data Types for the Masses (Artifact)}}, pages = {19:1--19:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {De Porre, Kevin and Ferreira, Carla and Gonzalez Boix, Elisa}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.19}, URN = {urn:nbn:de:0030-drops-182596}, doi = {10.4230/DARTS.9.2.19}, annote = {Keywords: distributed systems, eventual consistency, replicated data types, verification} } @Article{botelhoguerra_et_al:DARTS.9.2.20, author = {Botelho Guerra, Henrique and Ferreira, Jo\~{a}o F. and Costa Seco, Jo\~{a}o}, title = {{Hoogle⋆: Constants and \lambda-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact)}}, pages = {20:1--20:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Botelho Guerra, Henrique and Ferreira, Jo\~{a}o F. and Costa Seco, Jo\~{a}o}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.20}, URN = {urn:nbn:de:0030-drops-182609}, doi = {10.4230/DARTS.9.2.20}, annote = {Keywords: Type-directed, component-based, program synthesis, symbolic execution, unification, Haskell} } @Article{moeller_et_al:DARTS.9.2.21, author = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra}, title = {{Automata Learning with an Incomplete Teacher (Artifact)}}, pages = {21:1--21:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Moeller, Mark and Wiener, Thomas and Solko-Breslin, Alaia and Koch, Caleb and Foster, Nate and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.21}, URN = {urn:nbn:de:0030-drops-182612}, doi = {10.4230/DARTS.9.2.21}, annote = {Keywords: Finite Automata, Active Learning, SMT Solvers} } @Article{fan_et_al:DARTS.9.2.22, author = {Fan, Andong and Parreaux, Lionel}, title = {{super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact)}}, pages = {22:1--22:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Fan, Andong and Parreaux, Lionel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.22}, URN = {urn:nbn:de:0030-drops-182626}, doi = {10.4230/DARTS.9.2.22}, annote = {Keywords: Object-Oriented Programming, the Expression Problem, Open Recursion} } @Article{olivieri_et_al:DARTS.9.2.23, author = {Olivieri, Luca and Negrini, Luca and Arceri, Vincenzo and Tagliaferro, Fabio and Ferrara, Pietro and Cortesi, Agostino and Spoto, Fausto}, title = {{Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)}}, pages = {23:1--23:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Olivieri, Luca and Negrini, Luca and Arceri, Vincenzo and Tagliaferro, Fabio and Ferrara, Pietro and Cortesi, Agostino and Spoto, Fausto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.23}, URN = {urn:nbn:de:0030-drops-182633}, doi = {10.4230/DARTS.9.2.23}, annote = {Keywords: Static Analysis, Program Verification, Non-determinism, Blockchain, Smart contracts, DApps, Go language} } @Article{jin_et_al:DARTS.9.2.24, author = {Jin, Feiyang and Yu, Lechen}, title = {{Determinacy Race Detector for Promises (Artifact)}}, pages = {24:1--24:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Jin, Feiyang and Yu, Lechen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24}, URN = {urn:nbn:de:0030-drops-182649}, doi = {10.4230/DARTS.9.2.24}, annote = {Keywords: Race detection, Promise, Determinism, Determinacy-race} } @Article{harris_et_al:DARTS.9.2.25, author = {Harris, Sarah and Cooksey, Simon and Vollmer, Michael and Batty, Mark}, title = {{Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)}}, pages = {25:1--25:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Harris, Sarah and Cooksey, Simon and Vollmer, Michael and Batty, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.25}, URN = {urn:nbn:de:0030-drops-182650}, doi = {10.4230/DARTS.9.2.25}, annote = {Keywords: Compilers, Rust, Memory Safety, CHERI} } @Article{kuessner_et_al:DARTS.9.2.26, author = {Kuessner, Christian and Mogk, Ragnar and Wickert, Anna-Katharina and Mezini, Mira}, title = {{Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact)}}, pages = {26:1--26:4}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Kuessner, Christian and Mogk, Ragnar and Wickert, Anna-Katharina and Mezini, Mira}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.26}, URN = {urn:nbn:de:0030-drops-182668}, doi = {10.4230/DARTS.9.2.26}, annote = {Keywords: local-first, data privacy, coordination freedom, CRDTs, AEAD} }
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing