系统软件前沿进展
NASAC
系统软件是计算系统中连接底层硬件、应用软件和用户的核心基础软件，是IT生态的核心环节，涵盖了操作系统、编程语言、编译器、运行时环境、集成开发环境等。随着移动计算、物联网、云计算、人工智能、开源软件、开源指令集等领域的飞速发展，相关的软硬件都迎来了新的发展机遇。近十多年来，传统操作系统已经衍生出移动操作系统、物联网操作系统、智能操作系统等，同时也涌现出了很多新的编程语言和编译器，为用户提供了更高效、更高质量的开发和运行支持。此外，开源软件成为软件行业的重要发展模式，正在重塑软件产业格局，但安全可靠并没有得到很好解决。最后，以RISC-V为代表的开放指令集崛起，也给系统软件带来了新的机遇和挑战。
该论坛主要包括2020年10月发表在《软件学报》“系统软件前沿进展”专题上的论文。内容涵盖操作系统、集成开发环境、开源软件、人工智能、RISC-V开源指令集等领域。
论坛组织委员会：
武延军（中国科学院软件研究所特聘研究员、副总工、主任，博导）
陈海波（上海交通大学教授、所长、主任，杰青、ACM杰出科学家）
包云岗（中国科学院计算技术研究所研究员、所长助理、主任，博导）
李 玲（中国科学院软件研究所研究员，博导）
论坛主持人：
武延军（中国科学院软件研究所特聘研究员、副总工、主任，博导）
李 玲（中国科学院软件研究所研究员，博导）
日程安排：
时 间：2020年11月20日（星期五）09:00-12:30
地 点：重庆富力假日酒店 宴会厅1
论坛议程：
时 间
主 题
讲 者
09:00-09:10
开幕致辞
武延军，中科院软件所
09:10-09:30
Carraybound：基于污点分析的数组越界缺陷的静态检测方法
高凤娟，王豫，陈天骄，司徒凌云，王林章，李宣东，南京大学
09:30-09:50
面向移动终端智能的自治学习系统
徐梦炜，刘渊强，黄康，刘譞哲，黄罡，北京大学
09:50-10:10
FPGA加速系统开发工具设计：综述与实践
刘焰强，戚正伟，管海兵，上海交通大学
10:10-10:30
在离线混部作业调度与资源管理技术研究综述
王康瑾，贾统，李影，北京大学
10:30-10:50
茶 歇
10:50-11:10
软件方式的抗电路板级物理攻击的操作系统防御技术研究
张倩颖，赵世军，首都师范大学
11:10-11:30
一种适应GPU的混合访问缓存索引框架
张鸿骏，武延军，张珩，张立波，中科院软件所
11:30-11:50
面向操作系统可靠性保障的开源软件供应链
梁冠宇，武延军，吴敬征，赵琛，中科院软件所
11:50-12:10
一种神经网络指令集扩展与代码映射机制
娄文启，王超，宫磊，周学海，中国科学技术大学
12:10-12:30
利用跨虚拟机零下陷通信的加速器虚拟化框架
李鼎基，糜泽羽，吴保东，陈逊，赵永望，丁佐华，陈海波，上海交通大学