您的位置: 首页» 学院概况» 师资队伍» 正高级

正高级

计卫星

  时间:2023-09-22  浏览:

5c6621a1994746fb586009dbe79b549.jpg

  • 职称:教授

  • 邮箱: jwx@bnu.edu.cn

教育背景

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

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

工作经历

  • 2008—2023 北京理工大学 计算机学院

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

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

研究领域

  • 计算机体系结构、并行与高性能计算、编译优化

主持的主要项目

  • 1、国家自然科学基金,面向国产处理器的数值计算程序超优化编译技术研究,项目负责人,2024-2027;

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

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

  • 4、国家自然科学基金,基于形态学的大规模稀疏矩阵划分及相关计算优化,项目负责人,2020-2023;

  • 5、2021年产业技术基础公共服务平台项目,汽车产业链供应链安全监测评估公共服务平台项目,课题负责人,2021-2023;

  • 6、JCJQ计划技术领域基金,xxxx混合精度xxx优化,项目负责人,2021-2023;

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

  • 8、国家自然科学基金,面向MPSoC确定性结构化并行程序设计与分析方法研究,项目负责人,2014-2016;

  • 9、华为技术有限公司,xxxxx分析技术合作项目,项目负责人,2023-2023;

  • 10、华为技术有限公司,xxxx接口适配,项目负责人,2022-2022;

  • 11、华为技术有限公司,大规模xxxxxx技术合作项目,项目负责人,2017-2018。

近年来的代表性论文

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

  • 2、Jianhua Gao, Weixing Ji, Fangli Chang, Shiyu Han, Bingxin Wei, Zeming Liu, Yizhuo Wang. A systematic survey of general sparse matrix-matrix multiplication, ACM Computing Surveys, 2023.

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

  • 4、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.

  • 5、Jianhua Gao, Weixing Ji, Lulu Zhang, Anmin Li, Yizhuo Wang, Zongyu Zhang, Cube-based incremental outlier detection for streaming computing, Information Sciences, 2020.

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

  • 7、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.

  • 8、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.

  • 9、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.

  • 10、Yizhuo Wang, Weixing Ji, Feng Shi, Qi Zuo. A work-stealing scheduling framework supporting fault tolerance. Design, Automation and Test in Europe Conference (DATE), 2013.

  • 11、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.

奖励与荣誉

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

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

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

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

社会兼职

  • 教育部产学合作协同育人项目专家组成员(2021-2024年);

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

  • ACM China SIGOPS/ChinaSys执行委员;

  • 计算机学会高级会员,体系结构专业委员会、科普工作委员会委员。