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