2015年SPLASH
2015年10月23日至30日,星期五美国宾夕法尼亚州匹兹堡

2015年SPLASH第六届编程语言和工具评估和可用性研讨会(PLATEAU)。研讨会将于10月26日星期一举行。

主题

编程语言的存在使程序员能够有效地开发软件。但是程序员编写软件的效率取决于他们所使用的语言和工具的可用性。本研讨会的目的是讨论评估语言和语言工具可用性的方法、度量和技术。这些语言和工具的假定好处涵盖了很大的空间,包括使程序更易于阅读、编写和维护;允许程序员编写更灵活、功能更强大的程序;并限制程序以使其更加安全。

PLATEAU汇集了编程语言、编程工具和人机交互社区的研究人员,分享他们的研究成果,并讨论编程语言和工具的评估和可用性的未来。

一些特别感兴趣的领域包括:

  • 程序设计语言的实证研究
  • 语言和工具评估背后的方法论和哲学
  • 软件设计度量及其与底层语言的关系
  • 语言特征和软件工程工具的用户研究
  • 理解编程语言的可视化技术
  • 编程范例的关键比较
  • 支持评估编程语言的工具
  • 程序设计心理学
  • 领域特定语言(例如数据库语言、安全/隐私语言、架构描述语言)可用性和评估

链接

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

10月26日周一

显示的时区:东部时间(美国和加拿大) 改变

08:30 - 10:00
欢迎辞和主题演讲高原格兰德车站5
主席:克雷格·安斯洛伦敦米德尔塞克斯大学
08:30
3000万
谈话
组织者的欢迎
高原

09:00
6000万
谈话
PLATEAU主题演讲:面向所有人的计算思维:扩展非程序计算的边界
高原
玛丽·贝斯·罗森宾夕法尼亚州立大学
附加的文件
10:30 - 12:00
工具高原格兰德车站5
主席:托马斯·拉托萨乔治·梅森大学
10:30
2000万
谈话
错误消息的频率分布
高原
戴维·普里查德加拿大滑铁卢大学
附加的文件
10:50
2000万
谈话
专业开发人员对DiaSuite工具集的评估
高原
米兰·卡瓦奇波尔多大学/Inria Bordeaux/LaBRI,尼克·沃兰斯基Inria波尔多,查尔斯·康塞尔波尔多大学
附加的文件
11:10
2000万
谈话
使用轻量级集成代码可视化帮助程序员
高原
附加的文件
11:30
1000万
谈话
面向可成型开发工具
高原
安德烈·奇什瑞士伯尔尼大学,都铎王朝tudorgirba.com,瑞士,奥斯卡·尼尔斯特拉斯瑞士伯尔尼大学
DOI程序预打印媒体已连接附加的文件
11:40
1300万
谈话
理解代码表示的效果
高原
附加的文件
13:30 - 15:00
编程语言论文高原格兰德车站5
主席:约书亚阳光卡内基梅隆大学
13:30
2000万
谈话
用于比较修改可执行多模式交互描述的编程效率的用户研究。特定于域的语言与等效的事件回调代码
高原
弗雷迪·昆卡哈塞尔大学-tUL-iMinds,简·范登伯格哈塞尔大学-tUL-iMinds,克里斯·卢伊滕哈塞尔大学-tUL-iMinds,卡林·科因克斯哈塞尔大学-tUL-iMinds
附加的文件
13:50
2000万
谈话
并发程序设计中最常见问题的研究
高原
古斯塔沃·平托UFPE公司,韦斯利·托雷斯伯南布哥州联邦大学,费尔南多·卡斯托UFPE公司
附加的文件
14:10
1000万
谈话
比较及物与不及物对象的不可变性
高原
迈克尔·科布伦兹卡内基梅隆大学,约书亚阳光卡内基梅隆大学,布拉德·迈尔斯卡内基梅隆大学,山姆·韦伯软件工程研究所,福雷斯特舒尔软件工程研究所
附加的文件
14:20
1300万
谈话
函数式编程更适合模块化吗?
高原
伊斯梅尔·菲格罗亚智利瓦尔帕拉索天主教大学,罗曼·罗布斯智利大学
附加的文件
14:33
1300万
谈话
编程语言中的运算符和优先级
高原
纳伊瓦尼·拉扎利惠灵顿维多利亚大学,詹姆斯·诺布尔惠灵顿维多利亚大学,斯图亚特·马歇尔惠灵顿维多利亚大学
附加的文件
14:46
1300万
谈话
用于验证的一些可用性假设
高原
大卫·J·皮尔斯惠灵顿维多利亚大学
附加的文件
15:30 - 17:00
小组讨论高原格兰德车站5
主席:克雷格·安斯洛伦敦米德尔塞克斯大学,托马斯·拉托萨乔治·梅森大学,约书亚阳光卡内基梅隆大学
15:30
2000万
谈话
关于需要为人类受试者的受控实验定义社区协议——一份讨论稿
高原
斯特凡·哈恩伯格杜伊斯堡-埃森大学,安德烈亚斯·斯特菲克拉斯维加斯内华达大学
附加的文件
15:50
7000万
谈话
小组讨论
高原

接受的论文

标题
使用轻量级集成代码可视化帮助程序员
高原
附加的文件
专业开发人员对DiaSuite工具集的评估
高原
附加的文件
并发程序设计中最常见问题的研究
高原
附加的文件
用于比较修改可执行多模式交互描述的编程效率的用户研究。特定于域的语言与等效的事件回调代码
高原
附加的文件
比较及物与不及物对象的不可变性
高原
附加的文件
错误消息的频率分布
高原
附加的文件
函数式编程更适合模块化吗?
高原
附加的文件
关于需要为人类受试者的受控实验定义社区协议——一份讨论稿
高原
附加的文件
编程语言中的运算符和优先级
高原
附加的文件
PLATEAU主题演讲:面向所有人的计算思维:扩展非程序计算的边界
高原
附加的文件
用于验证的一些可用性假设
高原
附加的文件
面向可成型开发工具
高原
DOI程序预打印媒体已连接附加的文件
理解代码表示的效果
高原
附加的文件

文件征集

提交截止日期延长至8月16日.

PLATEAU鼓励提交三种类型的论文:

研究和立场文件:我们鼓励根据研讨会的主题和目标或相关主题描述工作成果或最近完成的工作,报告获得的经验,质疑公认的智慧,提出具有挑战性的公开问题,或提出推测性的新方法。我们将接受两种类型的论文:长度不超过8页的研究论文;并放置长达2页的论文。

假设论文:假设论文明确确定了研究社区或软件行业关于编程语言、编程语言功能或编程语言工具如何影响编程实践的信念。假设可以从邮件列表、博客帖子、论文介绍、开发人员论坛或访谈中收集。论文应明确记录每个假设的来源,并讨论这些假设在研究或实践中的重要性、用途和相关性。此外,我们邀请语言设计师分享一些影响他们工作的可用性推理。这将是我们理解语言设计如何支持程序员的重要第一步。论文也可能(但不要求)审查支持或反对所确定假设的证据。假设论文长度可达4页。

提交地点:高原大学论文应通过Easy椅子.

格式:提交应使用SIGPLAN程序格式,10磅字体。请注意,默认情况下,SIGPLAN Proceedings Format以9磅字体生成论文。如果使用LaTeX格式化纸张,则需要在\documentclass命令中设置10pt选项。如果您使用Word格式化论文,您可能希望使用提供的支持此字体大小的Word模板。请在提交的材料中包括页码。在LaTeX\documentclass命令中设置预打印选项将生成页码。此外,请确保您提交的文件在黑白打印机上打印时清晰可见。特别是,请检查颜色是否保持清晰,字体大小是否清晰。

所有类型的论文将由作者自行决定在ACM数字图书馆出版。