Page 6 - 《软件学报》2020年第10期

2982 Journal of Software 软件学报 Vol.31, No.10, October 2020

综述类包括:
论文“FPGA 加速系统开发工具设计:综述与实践”综述了 FPGA 硬件及硬件加速系统开发工具的发展,并设
计实现了一种基于高级硬件描述语言的 FPGA 加速系统开发框架.
论文“在离线混部作业调度与资源管理技术研究综述”从性能干扰模型、作业调度、资源隔离与资源动态
分配等方面对离线混部技术进行了综述,探讨了离散混部关键技术在企业级混部管理系统中的应用及效果,并
对未来的研究方向进行了展望.
论文“抗电路板级物理攻击的操作系统防御技术研究”分析了软件方式抗电路板级物理攻击的操作系统防
御技术的研究进展,总结了技术优势和不足,讨论了技术的发展趋势.
本专题面向系统软件的研究人员和工程人员,内容涵盖操作系统、集成开发环境、开源软件、人工智能、
RISC-V 开源指令集等领域,反映了我国学者在相关领域的高水平研究成果.感谢《软件学报》编委会、CCF 系
统软件专委会对专题工作的指导和帮助,感谢专题全体评审专家及时、耐心、细致的评审工作,感谢踊跃投稿
的所有作者.希望本专题能够对系统软件的科研工作有所促进.

武延军(1979－),男,博士,中国科学院软件研究所特聘研究员、副总工、智能软件研究中心主任,博士生导
师,CCF 高级会员.主要研究领域为操作系统和系统安全.曾主持中国科学院知识创新工程、中国科学院先导专
项、国家科技重大专项等重点/重大任务.连续 4 年获得腾讯公司高校合作计划资助.曾获中国科学院优秀毕业
生、北京市科技新星、中国科学院青促会优秀会员等荣誉称号.已发表论文 50 多篇,含 ASPLOS、EuroSys、
ICSE、IJCAI、AAAI 等国际知名会议,申请专利及软件著作权 30 余项.

陈海波(1982－),男,博士,上海交通大学教授、并行与分布式系统研究所所长,教育部领域操作系统工程研究中
心主任,国家杰出青年基金获得者,ACM 杰出科学家,CCF 杰出会员与杰出演讲者,主要研究领域为操作系统和
系统安全.曾获教育部技术发明一等奖(第一完成人)、全国优秀博士学位论文奖、CCF 青年科学家奖.目前担
任 ACM SIGOPS ChinaSys 主席、CCF 系统软件专委会副主任、ACM 旗舰杂志《Communications of the ACM》
中国首位编委与 Special Sections 领域共同主席、《ACM Transactions on Storage》编委.曾任 ACM SOSP 2017
年大会共同主席、ACM CCS 2018 系统安全领域主席、ACM SIGSAC 奖励委员会委员.研究工作也获得华为
最高个人贡献奖、Google Faculty Research Award、IBM X10 Innovation Award、NetApp Faculty Fellowship
等企业奖励.
包云岗(1980－),男,博士,中国科学院计算技术研究所研究员、所长助理、先进计算机系统研究中心主任,中国
科学院大学岗位教授,博士生导师,中国开放指令生态(RISC-V)联盟秘书长,CCF 高级会员.主要研究领域为计
算机系统结构,包括数据中心体系结构、处理器芯片敏捷设计、开源芯片生态等.主持研制多款达到国际先进
水平的系统,相关技术已在华为、阿里、Intel 等国内外企业应用.多次受邀担任 ASPLOS、ISCA、MICRO、
SC 等 CCF-A 类国际顶级会议程序委员会委员,担任 IEEE MICRO 专刊特邀客座编辑、国际顶级论坛 Dagstuhl
Seminar 共同主席.曾获“CCF-Intel 青年学者”奖,ARM2018 全球研究峰会 45 分钟特邀大会报告、中国科学院

青年创新促进会优秀会员,获“CCF-IEEE CS”青年科学家奖、共青团中央“全国向上向善好青年”荣誉称号.

李玲(1982－),女,博士,中国科学院软件研究所研究员,博士生导师,CCF 高级会员.主要研究领域为智能计算和
视频处理.在相关领域发表多篇 CCF A 类的期刊和会议论文,获得了 CCF A 类会议 MICRO’14 的最佳论文奖
(该会议 50 年来唯一一次美国以外国家获此奖).作为负责人主持过多项国家自然科学基金项目、国家重点研
发计划课题、中国科学院先导专项课题等.