袁夢(mèng)霆
437bwin必贏國際官網(wǎng) 計(jì)算機(jī)科學(xué)系 人工智能研究所 教授
姓名：袁夢(mèng)霆 主頁： 性別：男 職稱：教授 學(xué)歷學(xué)位：博士 電話：68775592 辦公地點(diǎn)：A503 E-mail：ymt ▇ whu.edu.cn 請(qǐng)手工替換符號(hào) 領(lǐng)域：程序設(shè)計(jì)語言、編譯優(yōu)化、系統(tǒng)軟件 招生信息：年度招收碩士0名，招收方向：。 招收博士0名，招收方向：。 |
研究方向
目前研究興趣：
1. 類型系統(tǒng)、類型推理；
2. 編譯、優(yōu)化與安全；
3. 芯片前端優(yōu)化、高層綜合；；
4. 面向新型體系結(jié)構(gòu)的編譯與優(yōu)化。
部分課題列表：
1. 基于統(tǒng)計(jì)的類型推理研究方法研究，國家自然科學(xué)基金，2019年；
2. 面向行為的微控制器軟件綜合方法研究，國家自然科學(xué)基金，2017年；
3. 基于計(jì)算博弈論的空間優(yōu)化研究，國家自然科學(xué)基金，2011年；
4. ****完整性評(píng)估和風(fēng)險(xiǎn)預(yù)估理論，國家重點(diǎn)研發(fā)計(jì)劃課題負(fù)責(zé)，2022年；
5. ****密碼處理芯片技術(shù)研究，國家重點(diǎn)研發(fā)計(jì)劃編譯器任務(wù)，2022年；
6. ****前端高層綜合與編譯研究，華為海思，2023年；
7. ****芯片的編譯優(yōu)化研究，華為海思，2022年；
8. ****芯片編譯工具鏈研究合作，華為技術(shù)有限公司，2022年；
9. 自動(dòng)化模型算子級(jí)別的多硬件平臺(tái)編譯優(yōu)化工具構(gòu)建研究，OPPO廣東移動(dòng)通信有限公司，2022年；
10.面向深度神經(jīng)網(wǎng)絡(luò)的內(nèi)存分配與優(yōu)化方法研究，計(jì)算機(jī)體系結(jié)構(gòu)國家重點(diǎn)實(shí)驗(yàn)室，2021年；
11.面向****加速的編譯優(yōu)化研究，華為技術(shù)有限公司，2021年；
12.面向深度神經(jīng)網(wǎng)絡(luò)的圖變換DSL研究，百度科技有限公司，2021年；
13.基于LLVM的RISCV代碼體積優(yōu)化研究，中科院軟件所，2021年；
14.可信編譯技術(shù)合作，華為技術(shù)有限公司，2020年；
15.基于多范式編程模型和張量優(yōu)化的智能計(jì)算框架平臺(tái)關(guān)鍵技術(shù)研發(fā), 湖北省科技廳，2020年；
16.****DSL編譯與優(yōu)化，華為技術(shù)有限公司，2019年；
17.軟件缺陷預(yù)測(cè)，華為技術(shù)有限公司，2018年；
18.智能軟件缺陷定位，華為技術(shù)有限公司，2017年；
19.HR6P交叉C編譯器HICC，上海海爾集成電路有限公司；
20.集成開發(fā)環(huán)境ES-IDE，青島東軟載波科技股份有限公司；
21.HI1640編譯器，上海海爾集成電路有限公司；
22.集成開發(fā)環(huán)境iDesigner，上海海爾集成電路有限公司；
23.技術(shù)支持網(wǎng)站低保真原型，華為技術(shù)有限公司。
部分發(fā)表論文：
https://dblp.org/pid/06/10596.html
歡迎對(duì)程序設(shè)計(jì)語言理論與編譯技術(shù)感興趣的同學(xué)加入我們課題組。
教育背景
工作經(jīng)驗(yàn)
教授課程
編譯原理
計(jì)算機(jī)科學(xué)中的邏輯學(xué)
程序設(shè)計(jì)語言理論
發(fā)表論文
科研課題
研究團(tuán)隊(duì)
知識(shí)產(chǎn)權(quán)
學(xué)術(shù)服務(wù)
成果展示
其他
