会议之眼B类,CCF C类,第17届亚洲编程语言和系统研讨会APLAS 2019于12月2日至4日在巴厘岛努沙杜瓦举行。APLAS旨在介绍编程语言和系统中的最新成果以及交流思想,从而推进对编程语言的研究。
APLAS 2019对提交的论文采用双盲审制。征集的论文主题包括语义学、基础计算、编译器、软件安全、并发与并行、程序派生、合成和转换、逻辑、概率等。论文提交截止日期为2019年6月14日,通知时间为8月12日。大会研讨会于12月1日举行,学术论文会议于12月2日至4日召开。APLAS 2019共录取了22篇论文,并已发表在了Springer的LNCS系列期刊中。录用论文会在为期三天的学术论文会议上以口头演示的形式被展示。
相较于即将到来的NeurIPS,APLAS 2019着实暗淡了许多。不只是会议等级和规模的原因,而是随着算力提升和信息智能化的普及,香饽饽诸如“人工智能”、“大数据”、“物联网“等计算机应用学科受到了前所未有的瞩目。而它们也确实在很大程度上改善了人们的生活体验。而作为最重要的计算机基础学科之一的编程语言(Programming Language,PL)则慢慢淡出了人们的视线。
根据PL研究主要内容可以将其分为三个领域:关注语言本身设计和拓展、类型系统、语言语义和程序逻辑的纯PL研究;关注编译器和运行时技术的PL支持环境研究;关注程序分析、验证和合成的PL应用研究。纯PL圈子的研究