上一篇 汪跃
魏宝乐 下一篇
王旭东
北京中关村学院导师
王旭东博士，中关村人工智能研究院研究员。主要研究领域为软件智能，探索人工智能与程序语言及编译技术、软件工程的交叉研究，通过解构软件系统的行为机理，探索更高效的程序分析方法与工具，推动构建智能化、自动化、可靠性更强的软件基础设施。曾参与多项与程序语言理解、自动化编程及AI辅助软件工程相关的科研项目，在国际学术期刊与会议发表论文多篇。
个人主页链接： https://scholar.google.com/citations?user=JHTaT00AAAAJ
个人主页链接： https://scholar.google.com/citations?user=JHTaT00AAAAJ
研究方向
1. 程序理解与分析（Program understanding and analysis）
2. 大语言模型与代码生成（LLM for code generation）
3. 二进制程序分析与优化（Binary analysis and optimization）
教育经历
2023年 新南威尔士大学 计算机科学与工程学院 博士
2018 武汉大学 计算机学院 学士
工作经历
2023-2025 香港理工大学 计算学系 博士后
承担科研项目
2023-2025 无源码弱内存序静态分析合作项目 香港理工大学 项目主要成员
2019-2022 基于指针分析与二进制程序分析提升系统安全 新南威尔士大学 项目成员
代表性学术论文
- Xudong Wang, Xuezheng Xu, Qingan Li, Mengting Yuan, and Jingling Xue. 2022. Recovering container class types in C++ binaries. In Proceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization (CGO '22)
- Xuezheng Xu, Xudong Wang, and Jingling Xue. 2022. M3V: multi-modal multi-view context embedding for repair operator prediction. In Proceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization (CGO '22)
- Changwei Zou, Xudong Wang, Yaoqing Gao, and Jingling Xue. 2022. Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization. ACM Trans. Softw. Eng. Methodol. 31, 2, Article 35e (April 2022), 37 pages.
- Xuezheng Xu, Xudong Wang, and Jingling Xue. 2021. Automatic Synthesis of Data-Flow Analyzers. In Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings. Springer-Verlag, Berlin, Heidelberg, 453–478.
- Qing Huang, Xudong Wang, Yang Yangrui, et al. SnippetGen: Enhancing the Code Search via Intent Predicting[C]//SEKE. 2017: 307-312.