袁梦霆

威尼斯432888cam 计算机科学系 人工智能研究所 教授

研究方向

目前研究兴趣：

1. 类型系统、类型推理；

2. 编译、优化与安全；

3. 芯片前端优化、高层综合；；

4. 面向新型体系结构的编译与优化。

部分课题列表：

1. 基于统计的类型推理研究方法研究，国家自然科学基金，2019年；

2. 面向行为的微控制器软件综合方法研究，国家自然科学基金，2017年；

3. 基于计算博弈论的空间优化研究，国家自然科学基金，2011年；

4. ****完整性评估和风险预估理论，国家重点研发计划课题负责，2022年；

5. ****密码处理芯片技术研究，国家重点研发计划编译器任务，2022年；

6. ****前端高层综合与编译研究，华为海思，2023年；

7. ****芯片的编译优化研究，华为海思，2022年；

8. ****芯片编译工具链研究合作，华为技术有限公司，2022年；

9. 自动化模型算子级别的多硬件平台编译优化工具构建研究，OPPO广东移动通信有限公司，2022年；

10.面向深度神经网络的内存分配与优化方法研究，计算机体系结构国家重点实验室，2021年；

11.面向****加速的编译优化研究，华为技术有限公司，2021年；

12.面向深度神经网络的图变换DSL研究，百度科技有限公司，2021年；

13.基于LLVM的RISCV代码体积优化研究，中科院软件所，2021年；

14.可信编译技术合作，华为技术有限公司，2020年；

15.基于多范式编程模型和张量优化的智能计算框架平台关键技术研发, 湖北省科技厅，2020年；

16.****DSL编译与优化，华为技术有限公司，2019年；

17.软件缺陷预测，华为技术有限公司，2018年；

18.智能软件缺陷定位，华为技术有限公司，2017年；

19.HR6P交叉C编译器HICC，上海海尔集成电路有限公司；

20.集成开发环境ES-IDE，青岛东软载波科技股份有限公司；

21.HI1640编译器，上海海尔集成电路有限公司；

22.集成开发环境iDesigner，上海海尔集成电路有限公司；

23.技术支持网站低保真原型，华为技术有限公司。

部分发表论文：

https://dblp.org/pid/06/10596.html

欢迎对程序设计语言理论与编译技术感兴趣的同学加入我们课题组。

教育背景

工作经验

教授课程

编译原理
计算机科学中的逻辑学
程序设计语言理论

发表论文 

科研课题

研究团队

知识产权

学术服务

成果展示

其他