谈话录音已打开我们的YouTube频道.
编程对认知要求很高,而且太难了。活的是一个探索新用户界面的研讨会,可以提高编程的即时性、可用性和易学性。而损益研究传统上侧重于程序,LIVE更关注编程.
程序员不是凭空实现程序,而是用现有程序构造程序。与传统的PL会议相比,接受这一观点会使LIVE会议的重点有所不同。以下是我们关心的一些品质:
-
现场。实时编程系统在程序被编辑时为程序员提供关于程序输出的即时反馈,以流畅的编程体验取代了编辑-编译-调试循环。生动还意味着提供关于程序静态含义如何变化的反馈,例如其类型。
-
结构化的。即使在传统的无效状态下,程序也是高度结构化的,对程序员来说也是有意义的。“结构感知”编程环境理解并保留该结构,并允许在结构级别而非原始文本级别进行操作。
-
有形的。在传统的程序观中,执行是在幕后进行的,几乎没有记录所发生的事情。我们对使执行透明、有形和可探索的编程系统感兴趣。
-
混凝土。人们发现更容易从具体的例子开始,然后进行概括。为人们量身定制的编程工具将支持这种工作模式。
大多数LIVE提交文件都是对新型编程系统的演示。也欢迎技术论文、有见地且清晰阐述的经验报告、文献综述和立场文件。
主题演讲
| 00:20 - 01:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 02:20 - 03:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 04:20 - 05:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 06:20 - 07:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 08:20 - 09:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 10:20 - 11:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 12:20 - 13:00 | 惠灵顿早餐学生研究竞赛在溅水-I +12小时
-
杨艾丹,SOAR:开源API重构综合
-
加文·李,SASIL:一种用于模拟调度系统声明规范的领域专用语言
-
伊恩·麦科马克,物联网软件库模型
-
Mona Zhang和Jacob Gorenburg,渐进式校验器的设计与实现
-
拉斐尔·莫萨纳,机器学习简化对数据驱动编译器优化的理解
-
里德·奥伊,Psamathe:安全区块链资产的DSL
-
Sang Heon Choi,整合:一种提高人机界面许可性的技术
-
索菲亚·科拉克,通过深度学习检测性能模式
-
维塔利·罗曼诺夫,使用图神经网络预测Python函数返回类型时边类型的重要性评估
|
| | | |
| 海报 | | 学生研究竞赛 学生研究竞赛
|
| 14:20 - 15:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 16:20 - 17:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 18:20 - 19:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 20:20 - 21:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 22:20 - 23:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
请求提交
LIVE 2020研讨会邀请提交关于提高编程的即时性、可用性和可学习性的想法。实时编程在程序被编辑时为程序员提供关于程序行为的即时反馈,用流畅的编程体验取代了编辑-编译-调试循环。实时编程最著名的例子是电子表格,但还有很多其他的例子。
LIVE欢迎展示新颖的编程系统、经验报告、文献综述、历史系统演示和立场文件。感兴趣的主题包括:
- 实时编程环境
- 可视化编程
- 结构软件编辑器
- REPL、笔记本电脑和操场的进展
- 用键入的孔编程,交互式编程
- 通过示例/演示进行编程
- 双向编程
- 调试和执行可视化技术
- 语言学习环境
- 支持上述内容的替代语言语义或范式
- 描述实时编程技术或经验特性的框架
LIVE提供了一个论坛,早期工作将受到建设性的批评。提交的内容可能是短文、带有嵌入式视频的网络文章或演示视频。所有提交的材料都需要250字的书面摘要。视频应长达20分钟,论文应长达6页。用具体的例子来解释你的想法。编程系统的演示应注意将工作置于此类工具的历史范围内。
虽然LIVE欢迎早期工作和探索性工作,但作者可以选择将其工作纳入研讨会会议记录。(详细信息即将发布。)