袁梦霆
910023威尼斯官网 计算机科学系 人工智能研究所 教授
研究方向
目前研究兴趣:
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
欢迎对程序设计语言理论与编译技术感兴趣的同学加入我们课题组。
教育背景
工作经验
教授课程
编译原理
计算机科学中的逻辑学
程序设计语言理论
发表论文
科研课题
研究团队
知识产权
学术服务
成果展示
其他