計衛星

計衛星，北京師範大學人工智慧學院副院長，教授，計算機學會體系結構專業委員會委員。2008年畢業於北京理工大學計算機學院獲工學博士學位，同年進入北京理工大學計算學院工作，2023年進入北京師範大學人工智慧學院工作。主要研究方向為計算機體系結構、並行程式設計和嵌入式計算，主持和參與國家自然科學基金項目3項，博士點基金1項，已在國內外著名期刊(JSA、JSC和科學通報等)和國際會議（PLDI、RTSS和DATE）上發表論文20餘篇。2012 年3月赴美國羅切斯特大學計算機系訪問1年。

基本介紹

• 中文名：計衛星
• 畢業院校：北京理工大學
• 學位/學歷：博士研究生
• 專業方向：計算機體系結構、並行程式設計和嵌入式計算
• 職稱 ：教授
• 工作單位：北京師範大學人工智慧學院

教育背景

• 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年，國家一流線上課程負責人

• 2014年，全國大學生物聯網設計競賽(TI杯)全國總決賽二等獎，指導教師
• 2014年，全國大學生物聯網設計競賽(TI杯)華北賽區特等獎
• 2014年，全國大學生物聯網設計競賽(TI杯)華北賽區一等獎

社會兼職

• 教育部產學合作協同育人項目專家組成員（2021-2024年）；
• 信息技術新工科產學研聯盟副秘書長；
• ACM China SIGOPS/ChinaSys執行委員；
• 計算機學會高級會員，體系結構專業委員會、科普工作委員會委員。

ACM會員，CCF會員，計算機學會體系結構專業委員會委員