斯普拉什2023
2023年10月27日星期日至星期五葡萄牙卡斯凯斯

直播录制

多设备协作应用程序的语言

由于从智能手机到台式机的用户设备无处不在的连通性和廉价可用性,支持多设备和协作使用的应用程序变得越来越普遍,随着科罗纳疫情的爆发,这一趋势大大加快。

虽然我们现在看到的大多数分布式应用程序都是基于云的,但避免使用云可以为用户带来隐私和性能方面的好处,为公司和开发人员带来运营和成本方面的好处。按照这个想法,本地-第一软件在本地运行和存储其数据,同时仍然允许协作,从而保留了现有协作应用程序的优势,而不依赖于云。

已经存在许多特定的解决方案:操作转换、基于CRDT的最终一致复制的客户端数据库,甚至作为商业产品提供的服务进行同步,以及大量UI设计库。

然而,这些解决方案并没有与应用程序开发所用的编程语言集成。基于语言的解决方案与分布相关,例如描述协议的类型系统、可靠的参与者运行时、数据处理、机器学习等。,是为云而不是为松散连接的协作设备集而设计和优化的。本次研讨会旨在引起PL社区的注意,并加快为该领域制定合适的解决方案。

接受的捐款

标题
local-first真的可以在边缘缩放吗?
公共图书馆
教育领域的首次离线协作应用
公共图书馆
扩展自动合并:撤消、重做和移动
公共图书馆
如何在弱一致性数据库中实施和验证不变量
公共图书馆
主题演讲:感受当地第一只大象:路线图、隐藏的宝石和现场的新困惑
公共图书馆
Actyx的本地首秀
公共图书馆
本地第一:建造TypeCell的实验和经验教训
公共图书馆
本地首创实践:构建高性能本地首个音乐应用程序的学习
公共图书馆
与推进和ConOpY混合并验证一致性
公共图书馆
MVC、MVCC和因果树
公共图书馆
提案:版本化协作文档
公共图书馆

呼吁会谈和文件

捐款范围

我们正在寻求先进的技术来编程本地首个软件,即离线时对单个用户有用,但在连接时允许共享和协作的程序。示例主题包括:

  • 支持脱机使用的语言构造
  • 案例研究,考虑使用现有语言的优点和挑战
  • 考虑连接状态的UI技术
  • 作为语言构造的用户、身份和信任
  • 键入systems以跟踪脱机可用的功能
  • 易于使用的API用于(新的和现有的)高效数据同步算法
  • 缩小到单个脱机设备的动态放置技术

去年的主题演讲还提出了我们希望看到的九个问题领域的解决方案,这些问题是需要解决的有趣问题的例子:

  • 网络:40年后仍然有效的技术?
  • 模式:如何允许独立进化?
  • 安全与隐私:谁值得信任?
  • 版本控制:如何让用户访问和管理多个版本?
  • 索引和查询:如何将local-first扩展到内存容量之外?
  • 分散搜索:如何让每个人都可以访问非复制信息?
  • 可移植计算:如何复制-分发-应用程序执行?
  • 编码为(CRDT)数据:如何改进协作编码体验?
  • 编程模型:一切是如何组合在一起的,以及本次研讨会的核心问题。

供款类型

我们鼓励作出一系列贡献,以促进学术界和工业界之间的交流。具体而言,我们正在寻找:

  • 讨论最多1页的提案,总结如下:
    • 内容和范围
    • 背景(演讲者、公司、研究小组、大型项目等)
    • 如果可用,请包含更多信息的链接(现有已发表论文、之前的会谈、项目网站等)
  • 相关正在进行的研究论文:
    • 无格式或页面限制
      • 如果论文长度超过8页:包括一个摘要,一个或两个关键的贡献/部分,评审员应该关注
    • 这些将得到组委会的审查,重点是潜在的改进
    • 不会有正式出版的论文集,但如果作者同意,论文将在网站上列出

如果接受,两种提交类型的作者都会被分配一个对话槽。预计会谈时间约为20分钟+10分钟的问题和讨论(可能会因日程安排而改变)。此外,提交的材料将在网站上公布。

如果你有你认为相关的贡献,但这不符合20分钟的谈话风格,请仍然提交你的提案!我们正在考虑提供海报演示、闪电演讲和小团体工具演示的空间(取决于会场是否有合适的空间),我们很想知道是否有兴趣。

提交

使用右侧边栏顶部的提交链接,如果有任何不清楚的地方,或者您不确定您的提案如何适合研讨会,请随时发送电子邮件mogk@cs.tu-darmstadt.de–我们总是对讨论有趣的想法感兴趣!

对于谈话提案,您可以上传PDF,也可以将提案放在提交站点的“摘要”字段中。

对于超过8页的正在进行的论文,请在摘要中包含对审稿人应该关注的内容的描述。

工作坊晚宴

更新:不幸的是,没有一个地方可以容纳所有潜在的利益相关方——虽然会有一个演讲晚宴,但我们鼓励参与者自行组织成较小的小组。

全体会议
您正在不同于设备时区的时区中查看程序更改时区

10月24日星期二

显示的时区:里斯本 改变

10:30 - 11:00
咖啡休息时间餐饮画廊
11:00 - 12:30
巴勒斯坦解放阵线会谈1公共图书馆VI室
11:00
30米
谈话
教育领域的首次离线协作应用
公共图书馆
安妮特·比纽萨凯泽斯劳滕·兰道大学,克里斯托弗·蒂森凯泽斯劳滕·兰道大学
11:30
30米
谈话
本地第一:建造TypeCell的实验和经验教训
公共图书馆
12:00
30米
谈话
提案:版本化协作文档
公共图书馆
马修·韦德纳卡内基梅隆大学
12:30 - 14:00
午餐餐饮画廊
14:00 - 15:30
巴勒斯坦解放阵线会谈2公共图书馆VI室
14:00
30米
谈话
local-first真的可以在边缘缩放吗?
公共图书馆
卡洛斯·巴奎罗HASLab/INSC TEC&米荷大学
14:30
30米
谈话
Actyx的本地首秀
公共图书馆
罗兰·库恩Actyx股份公司,何塞·杜阿尔特Actyx股份公司
15:00
30米
谈话
扩展自动合并:撤消、重做和移动
公共图书馆
利奥·斯特温慕尼黑技术大学,马丁·科勒普曼慕尼黑工业大学,梁润达慕尼黑工业大学
15:30 - 16:00
咖啡休息时间餐饮画廊
16:00 - 17:30
巴勒斯坦解放阵线简短会谈公共图书馆VI室
16:00
2200万
谈话
如何在弱一致性数据库中实施和验证不变量
公共图书馆
迪娜·博雷戈里斯本诺瓦大学FCT诺瓦LINCS,卡拉·费雷拉里斯本诺瓦大学,努诺·普雷吉卡里斯本诺瓦大学FCT诺瓦LINCS
16:22
2200万
谈话
本地第一实践:构建高性能、本地第一音乐应用程序的经验
公共图书馆
16:45
2200万
谈话
MVC、MVCC和因果树
公共图书馆
17:07
2200万
谈话
与推进和ConOpY混合并验证一致性
公共图书馆
米尔科·科勒达姆施塔特工业大学,乔治·扎库尔圣加仑大学,帕斯卡·维森伯格圣加仑大学,吉多·萨尔瓦内奇圣加仑大学