编译技术

081202-计算机软件与理论

编译技术

   

硕士研究生

硕士

   

2017-11~现在, 中国科学院软件研究所, 高级工程师
2007-09~2017-11,中国科学院计算技术研究所, 工程师
2005-07~2007-09,互芯集成电路（北京）科技有限公司, 工程师

编译程序高级教程

   

（ 1 ） 基于SIMD库的自动测试方法及装置, 发明专利, 2023, 第 4 作者, 专利号: CN116594682A

（ 2 ） 一种基于思维导图的PDDL问题计算方法及系统, 发明专利, 2022, 第 4 作者, 专利号: CN115186635A

（ 3 ） 一种面向机械臂程序开发编程语言的调试器, 发明专利, 2020, 第 2 作者, 专利号: CN111618846A

（ 4 ） 一种面向机械臂程序开发编程语言的编译方法及系统, 发明专利, 2020, 第 2 作者, 专利号: CN111580825A

   

[1] 邢明杰, 宋威, 张科, 易秋萍. RISC-V技术及生态专题前言. 计算机系统应用[J]. 2023, 32(11): 1-2, [2] 王鹏, 陈影, 邢明杰. 基于LLVM的RISC-V自定义扩展指令支持方法. 计算机系统应用[J]. 2021, 30(11): 20-26, http://lib.cqvip.com/Qikan/Article/Detail?id=7106071483.
[3] 武延军, 李玲, 邢明杰. RISC-V技术及生态专题前言. 计算机系统应用[J]. 2021, 30(11): 1-2, http://lib.cqvip.com/Qikan/Article/Detail?id=7106071480.
[4] 陆旭凡, 胡海根, 邢明杰. 基于LLVM的RISC-V向量扩展栈帧布局优化. 计算机系统应用[J]. 2021, 30(11): 27-32, http://lib.cqvip.com/Qikan/Article/Detail?id=7106071484.

   

（ 1 ） RISC-V核心开发组件, 负责人, 中国科学院计划, 2022-11--2025-12
（ 2 ） 晶圆级芯片高效编译优化技术, 负责人, 国家任务, 2022-11--2025-10