系统软件前沿进展
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 |
利用跨虚拟机零下陷通信的加速器虚拟化框架 |
李鼎基,糜泽羽,吴保东,陈逊,赵永望,丁佐华,陈海波,上海交通大学 |