由于从智能手机到台式机的用户设备无处不在的连通性和廉价可用性,支持多设备和协作使用的应用程序变得越来越普遍,随着科罗纳疫情的爆发,这一趋势大大加快。
虽然我们现在看到的大多数分布式应用程序都是基于云的,但避免使用云可以为用户带来隐私和性能方面的好处,为公司和开发人员带来运营和成本方面的好处。按照这个想法,本地-第一软件在本地运行和存储其数据,同时仍然允许协作,从而保留了现有协作应用程序的优势,而不依赖于云。
已经存在许多特定的解决方案:操作转换、基于CRDT的最终一致复制的客户端数据库,甚至作为商业产品提供的服务进行同步,以及大量UI设计库。
然而,这些解决方案并没有与应用程序开发所用的编程语言集成。基于语言的解决方案与分布相关,例如描述协议的类型系统、可靠的参与者运行时、数据处理、机器学习等。,是为云而不是为松散连接的协作设备集而设计和优化的。本次研讨会旨在引起PL社区的注意,并加快为该领域制定合适的解决方案。
接受的捐款
呼吁会谈和文件
我们正在寻求先进的技术来编程本地首个软件,即离线时对单个用户有用,但在连接时允许共享和协作的程序。示例主题包括:
- 支持脱机使用的语言构造
- 案例研究,考虑使用现有语言的优点和挑战
- 考虑连接状态的UI技术
- 作为语言构造的用户、身份和信任
- 键入systems以跟踪脱机可用的功能
- 易于使用的API用于(新的和现有的)高效数据同步算法
- 缩小到单个脱机设备的动态放置技术
去年的主题演讲还提出了我们希望看到的九个问题领域的解决方案,这些问题是需要解决的有趣问题的例子:
- 网络:40年后仍然有效的技术?
- 模式:如何允许独立进化?
- 安全与隐私:谁值得信任?
- 版本控制:如何让用户访问和管理多个版本?
- 索引和查询:如何将local-first扩展到内存容量之外?
- 分散搜索:如何让每个人都可以访问非复制信息?
- 可移植计算:如何复制-分发-应用程序执行?
- 编码为(CRDT)数据:如何改进协作编码体验?
- 编程模型:一切是如何组合在一起的,以及本次研讨会的核心问题。
我们鼓励作出一系列贡献,以促进学术界和工业界之间的交流。具体而言,我们正在寻找:
- 讨论最多1页的提案,总结如下:
- 内容和范围
- 背景(演讲者、公司、研究小组、大型项目等)
- 如果可用,请包含更多信息的链接(现有已发表论文、之前的会谈、项目网站等)
- 相关正在进行的研究论文:
- 无格式或页面限制
- 如果论文长度超过8页:包括一个摘要,一个或两个关键的贡献/部分,评审员应该关注
- 这些将得到组委会的审查,重点是潜在的改进
- 不会有正式出版的论文集,但如果作者同意,论文将在网站上列出
如果接受,两种提交类型的作者都会被分配一个对话槽。预计会谈时间约为20分钟+10分钟的问题和讨论(可能会因日程安排而改变)。此外,提交的材料将在网站上公布。
如果你有你认为相关的贡献,但这不符合20分钟的谈话风格,请仍然提交你的提案!我们正在考虑提供海报演示、闪电演讲和小团体工具演示的空间(取决于会场是否有合适的空间),我们很想知道是否有兴趣。
使用右侧边栏顶部的提交链接,如果有任何不清楚的地方,或者您不确定您的提案如何适合研讨会,请随时发送电子邮件mogk@cs.tu-darmstadt.de–我们总是对讨论有趣的想法感兴趣!
对于谈话提案,您可以上传PDF,也可以将提案放在提交站点的“摘要”字段中。
对于超过8页的正在进行的论文,请在摘要中包含对审稿人应该关注的内容的描述。
更新:不幸的是,没有一个地方可以容纳所有潜在的利益相关方——虽然会有一个演讲晚宴,但我们鼓励参与者自行组织成较小的小组。