基本信息

• 职称：教授（硕士生导师、博士生导师）

• 研究方向：计算机体系结构、并行与高性能计算、代码分析与优化、大模型推理优化。

• 邮箱：jwx@bnu.edu.cn

个人简介

计卫星，教授，博士生导师，教育部智能技术与教育应用工程研究中心副主任，信息技术新工科产学研联盟副秘书长，ACM SIGOPS/ChinaSys执行委员。主要研究方向包括计算机体系结构、并行与高性能计算、代码分析与优化、大模型推理优化等，主持和参与国家自然科学基金项目、国家自然科学基金重点项目、国家重点研发计划等项目多项，在国内外著名期刊和国际会议（TPDS、TACO、PLDI、TCAD、ICSE、RTSS、FSE和DATE等）上发表论文多篇；获国家级和省部级教学成果奖各1项，出版专著1部，科普图书1部，教材3部。2022年入选教育部-华为“智能基座”优秀教师奖励计划。

教育背景

• 2003年—2008年  北京理工大学计算机学院  计算机软件与理论专业  博士

• 1999年—2003年  北京理工大学计算机学院  计算机科学与技术专业  学士

工作经历

• 2023年—至今   北京师范大学人工智能学院  教授

• 2012年—2013年  美国罗切斯特大学计算机系  访问学者

• 2008年—2023年  北京理工大学计算机学院   讲师/副教授/教授

主持和参加的科研项目

• 国家自然科学基金面上项目，面向国产处理器的数值计算程序超优化编译技术研究，项目负责人，2024/01-2027/12；

• 国家自然科学基金重点项目，大规模高质量软件缺陷库的自动构建与应用，课题负责人，2023/01-2027/12；

• 科技创新2030-“新一代人工智能”重大项目，人工智能基础模型支撑平台与评测技术，子课题负责人，2023/11-2025/10；

• 国家自然科学基金面上项目，基于形态学的大规模稀疏矩阵划分及相关计算优化，项目负责人，2020/01-2023/12；

• 国家自然科学基金青年项目，面向MPSoC确定性结构化并行程序设计与分析方法研究，项目负责人，2014/01-2016/12；

• 2021年产业技术基础公共服务平台项目，汽车产业链供应链安全监测评估公共服务平台项目，课题负责人，2021/01-2023/12；

• JCJQ计划技术领域基金，xxxx混合精度xxx优化，项目负责人，2021/01-2023/12；

• 国家重点研发计划“高性能计算”专项，复杂电磁环境高性能应用软件系统研制及应用示范，子课题负责人，2017/01-2020/12；

• 2023年度CCF-飞腾基金，基于FDO和超优化的典型数值计算程序优化，项目负责人，2024/01-2025/07；

• 华为技术有限公司，语言虚拟机xxxxx探索，项目负责人，2024/01-2024/12；

• 华为技术有限公司，xxx切片技术xxx，项目负责人，2024/04-2025/03；

• 华为技术有限公司，xxxxx分析技术合作项目，项目负责人，2023/01-2023/12；

• 华为技术有限公司，xxxx接口适配，项目负责人，2022/01-2022/12；

• 华为技术有限公司，大规模xxxxxx技术合作项目，项目负责人，2017/01-2018/12。

主要学术成果

• Jianhua Gao, Zhi Zhou, Xingze Huang, Juan Wang, Yizhuo Wang, Weixing Ji. PTPS: Precision-Aware Task Partitioning and Scheduling for SpMV on CPU-FPGA Heterogeneous Platforms, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2025. (CCF A类)

• Yanjie Jiang, Hui Liu, Jinyan Liu, Yuxia Zhang, Weixing Ji, Hao Zhong, and Lu Zhang. An Empirical Study on the Relationship Between Defects and Source Code’s Unnaturalness, ACM Transactions on Software Engineering and Methodology (TOSEM), 2025. (CCF A类)

• Yanjie Jiang, Xiaye Chi, Yuxia Zhang, Weixing Ji, Guangjie Li, Weixiao Wang, Yunni Xia, Lu Zhang, and Hui Liu. Automated Recommendation of Extracting Local Variable Refactorings, ACM Transactions on Software Engineering and Methodology (TOSEM), 2025. (CCF A类)

• Jianhua Gao, Weixing Ji, Yizhuo Wang. Optimization of Large-Scale Sparse Matrix-Vector Multiplication on Multi-GPU Systems, ACM Transactions on Architecture and Code Optimization (TACO), 2024. (CCF A类)

• Yizhuo Wang, Fangli Chang, Bingxin Wei, Jianhua Gao, Weixing Ji. Optimization of Sparse Matrix Computation for Algebraic Multigrid on GPUs,  ACM Transactions on Architecture and Code Optimization (TACO), 2024. (CCF A类)

• Tianyang Liu, Weixing Ji, Xiaohui Dong, Wuhang Yao, Yizhuo Wang, Hui Liu, Haiyang Peng, Yuxuan Wang. JLeaks: A Featured Resource Leak Repository Collected From Hundreds of Open-Source Java Projects, Proceedings of the IEEE/ACM 46th International Conference on Software (ICSE), 2024. (CCF A类)

• Jianhua Gao, Zeming Liu, Yizhuo Wang, Weixing Ji. RaNAS: Resource-Aware Neural Architecture Search for Edge Computing, ACM Transactions on Architecture and Code Optimization (TACO), 2024. (CCF A类)

• Jianhua Gao, Weixing Ji, Fangli Chang, Shiyu Han, Bingxing Wei, Zeming Liu, Yizhuo Wang. A systematic survey of general sparse matrix-matrix multiplication, ACM Computing Surveys (CSUR), 2023. (SCI一区, IF: 23.8)

• Xiaye Chi, Hui Liu, Guangjie Li, Weixiao Wang, Yunni Xia, Yanjie Jiang, Yuxia Zhang, and Weixing Ji. An Automated Approach to Extracting Local Variables. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023. (CCF A类)

• Yanjie Jiang, Hui Liu, Yuxia Zhang, Weixing Ji, Hao Zhong, and Lu Zhang. 2022. Do bugs lead to unnaturalness of source code? In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022. (CCF A类)

• Jianhua Gao, Weixing Ji, Zhaonian Tan, Yizhuo Wang and Feng Shi. TaiChi: A Hybrid Compression Format for Binary Sparse Matrix-Vector Multiplication on GPU, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2022. (CCF A类)

• Akrem Benatia, Weixing Ji, Yizhuo Wang, Feng Shi. BestSF: A Sparse Meta-Format for Optimizing SpMV on GPU, ACM Transactions on Architecture and Code Optimization (TACO), 2018. (CCF A类)

• Li Lu, Weixing Ji, Michael L. Scott. Dynamic enforcement of determinism in a parallel scripting language. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2014. (CCF A类)

• Weixing Ji, Feng Shi, Baojun Qiao, Qi Zuo, Caixia Liu. Performance Evaluation of a Self-Maintained Memory Module. The IEEE Real-Time Systems Symposium (RTSS), 2007. (CCF A类)

• Jianhua Gao, Weixing Ji, Lulu Zhang, Anmin Li, Yizhuo Wang, Zongyu Zhang, Cube-based incremental outlier detection for streaming computing, Information Sciences, 2020. (SCI一区)

• Zhaonian Tan, Weixing Ji, Jianhua Gao. MMSparse: 2D partitioning of sparse matrix based on mathematical morphology, Future Generation Computer Systems (FGCS), 2020. (SCI一区)

• Jianhua Gao, Weixing Ji, Jie Liu, Yizhuo Wang, F Shi. Revisiting thread configuration of SpMV kernels on GPU: A machine learning based approach, Journal of Parallel and Distributed Computing (JPDC), 2024.

• Akrem Benatia, Weixing Ji, Yizhuo Wang, Feng Shi. Sparse Matrix Format Selection with Multiclass SVM for SpMV on GPU, The 45th International Conference on Parallel Processing (ICPP), 2016.

奖励与荣誉

• 2023年 国家一流线上课程负责人

• 2023年 CAAI教学成果激励计划一类成果

• 2022年 教育部-华为“智能基座”优秀教师

• 2018年 国家级教学成果二等奖

• 2018年 北京市教学成果一等奖

• CCF A类会议ESEC/FSE 2023 杰出论文奖

学术与社会服务

• 全国中小学科学教育专家委员会教育研究分委会委员；

• 信息技术新工科产学研联盟副秘书长；

• 系统能力培养研究专家组成员；

• ACM China SIGOPS/ChinaSys执行委员；

• 《计算机科学》编委委员；

• 《CCF Transactions on High Performance Computing》编委委员。

指导硕、博研究生毕业去向

华为、阿里巴巴、京东、微软、腾讯、字节等。

招生说明

常年招收博士后、博士生和硕士生，同时欢迎本科生进组学习。我们期望合作的学生具备勤奋、踏实、好学的品质，为每位成员提供全面的科研指导、就业推荐以及参与学术会议交流的机会。