He Xiao
2012年毕业于北京大学信息科学技术学院,获计算机软件与理论理学博士学位。2012年进入北京科技大学工作。2015年至2016年在荷兰格罗宁根大学访学。
主要研究方向为软件工程、程序语言、模型驱动工程、软件测试和数值模拟。在POPL24、OOPSLA23、ISSTA20、FSE18等CCF推荐的高水平会议和JSS、SCIS、SoSyM、IST等高水平国际期刊发表轮30余篇,并获得MoDELS22大会最佳论文奖(第一位中国大陆获奖者)和ACM杰出论文奖。
[1] Xiao He, Letian Tang, Yutong Li. Accelerating Similarity-Based Model Matching Using On-The-Fly Similarity Preserving Hashing. ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. CCF B. Best Paper & ACM Distinguish Paper Award
[2] Xiao He, Zhenjiang Hu, Na Meng. A Theoretic Framework of Bidirectional Transformation between Systems and Models. SCIENCE CHINA Information Sciences (Accepted). https://doi.org/10.1007/s11432-020-3276-5. CCF B
[3] Xiao He, Xingwei Wang, Jia Shi, Yi Liu. 2020. Testing High Performance Numeric Simulation Programs: Experience, Lessons Learned, and Open Issues. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 502–515, July 2020. EI: 20203209015102. doi:10.1145/3395363.3397382. CCF A
[4] Xiao He, Xing Chen, Sibo Cai, Ying Zhang, Gang Huang. Testing Bidirectional Model Transformation Using Metamorphic Testing. Information and Software Technology, 2018, vol. 104, pp. 109-129. WOS: 000449138900008, EI:20183405710816, CCF B
[5] Xiao He and Zhenjiang Hu. 2018. Putback-Based Bidirectional Model Transformations. In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18), pp. 434-444, November 4–9, 2018, Lake Buena Vista, FL, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3236024.3236070. CCF A
1、国家重点研发计划重点专项,新一代国产超算高精细油气藏模拟软件研发(2023YFB3002903),课题负责人,在研
2、北京市自然科学基金,双向模型转换技术研究与应用(4192036),项目负责人,已结题
ACM Distinguish Paper Award