Page 480 - 《软件学报》2025年第5期

2380 软件学报 2025 年第 36 卷第 5 期

j.issn.1672-2337.2016.03.015]
[15] 蒋晓华, 李付海, 祁波. SPARC 体系的 S698 系列 SoC 及其应用. 单片机与嵌入式系统应用, 2007, 7(8): 84–85. [doi: 10.3969/
j.issn.1009-623X.2007.08.028]
[39] 马智, 乔磊, 杨孟飞, 李少峰. 面向 SPARC 处理器架构的操作系统异常管理验证. 软件学报, 2021, 32(6): 1631–1646. http://www.jos.
org.cn/1000-9825/6241.htm [doi: 10.13328/j.cnki.jos.006241]

苏浩然(2000－), 男, 硕士生, 主要研究领域为操 臧斌宇(1965－), 男, 博士, 教授, 博士生导师,
作系统, 系统安全. CCF 会士, 主要研究领域为操作系统, 计算机体
系结构.

李文泰(1996－), 男, 博士生, 主要研究领域为操 陈海波(1982－), 男, 博士, 教授, 博士生导师,
作系统, 系统可靠性. CCF 杰出会员, 主要研究领域为操作系统, 并行
与分布式系统, 虚拟化, 系统安全.

古金宇(1994－), 男, 博士, 助理研究员, CCF 专 管海兵(1971－), 男, 博士, 教授, 博士生导师,
业会员, 主要研究领域为操作系统, 系统安全. CCF 杰出会员, 主要研究领域为虚拟化, 云计算,
分布式计算.