编程语言设计者寻求提供强大的工具来帮助开发人员对他们的程序进行推理。例如,形式化方法社区寻求使开发人员能够证明其代码的正确性属性,而类型系统设计人员寻求从程序中排除不良行为的类。安全社区创建工具来帮助开发人员实现其安全目标。为了使这些方法对开发人员尽可能有效,最近的工作将人机交互研究的方法集成到编程语言设计中。本研讨会汇集了编程语言、软件工程、安全性和人机交互研究人员,研究如何使语言为程序员和软件工程师提供更强大的安全属性。
我们有两个目标:(1)为讨论和反馈早期方法提供场所,使人们能够更有效地在项目中实现更强的安全特性;(2) 促进对参与者感兴趣的相关主题的讨论。
HATRA对两种不同的贡献感兴趣。首先,扩展摘要,总结与研讨会主题相关的现有工作;这些演示有助于让社区熟悉已经存在的工作,社区可能是多种多样的。其次,研究论文描述了空间中的一个新想法、方法或假设,并为作者提供了一个获得社区反馈和社区从他人那里寻求灵感的机会。
这一天将分为两部分。在第一部分中,接受论文的作者将介绍他们的工作。在第二部分中,我们将举行一次“不一致”式的会议。通过让参与者推动议程,我们希望将重点放在能够提供激励和启发性讨论的主题上。
文件征集
HATRA欢迎两种提交:
- 对社区感兴趣的现有出版作品进行总结的扩展摘要。
- 研究建议,立场文件、和早期成果文件.这些进来了短的(最多四页,外加无限参考)和长的(最多八页,加上无限参考)种类。这些可以描述假设、研究思路或早期结果。目的是为作者提供一个从社区获得反馈的机会,并帮助激励参与者确定和澄清自己的研究方向。为了鼓励提交将来可能在其他场所发表的想法,论文将不会在ACM数字图书馆发表。
感兴趣的主题包括但不限于:
- 类型系统设计
- 编程语言评估
- 编程语言和工具设计方法
- 交互式定理证明器
- 轻型规范工具
- 验证工程
- 编程心理学
HATRA将使用可选的双盲审查流程。理想情况下,作者应省略论文中的识别信息,并以第三人称引用自己的相关工作。然而,如果这是不切实际的,可能是因为你提交了一份扩展的摘要,你可以在你的提交中包含作者信息。
扩展摘要可以是一页的“sigconf”格式,也可以是两页的“ACM Small”格式。其他提交文件应采用“ACM小型”风格。论文应在2021年8月6日前使用HotCRP提交:https://hatra21.hotcrp.com