中科大先研院研究生校内导师简历

张昱 博士/教授

姓名 张昱
学位/职称 博士/教授
所属单位 计算机科学与技术学院
办公室电话 (0551)63603804
Email yuzhang@ustc.edu.cn
教育背景

2005年1月获中国科学技术大学计算机软件与理论博士学位。
研究领域
编程系统与优化,特别是面向智能无人系统、云原生、图查询、量子计算等新兴领域
 
任职经历

 IEEE、ACM会员、中国计算机学会(CCF) 杰出会员。ACM 中国操作系统分会副主席、ACM 中国计算机科学教育分会常务理事;CCF系统软件专委常务委员、教育专委常务委员。
获得荣誉、奖项
个人获奖:
2023年获全国系统能力培养突出贡献奖
2021年获宝钢优秀教师奖
2020年获全国高校计算机专业优秀教师
2018年获第一届中国科大-唐立新教学名师奖
2018年获中国科大新创校友基金会“院长教学奖”
2018年获安徽省教学成果二等奖(主持)
2016年获中国科学技术大学西区精神优秀教学奖
2006年9月获校青年教师优秀教学津贴

团队获奖
2021年获全国软件工程教学案例一等奖
2021年获中国软件开源创新大赛 开源项目创新命题组一等奖、任务挑战组二等奖、开源实践教学赛自由组二等奖
2020年获全国高校绿色计算大赛开源创新组特等奖、实践教学组特等奖
2020年获第一届ACM中国-国际并行计算挑战赛总决赛(应用优化赛道)二等奖
2018年获NASAC命题型竞赛“违反编码规范原型工具”第2名
主持、参与项目
主持的部分项目:
1. 多语言软件分析与优化研究. 国家自然科学基金面上项目. 2023-2026
2. XX高性能服务器通用CPU编译工具链. 工信部信息技术发展司. 联合体项目. 2021-2023
3. 移动和云平台软件的系统资源使用行为分析与改进. 国家自然科学基金面上项目. 2018-2021

主持多项企业合作项目,涉及深度学习、图查询语言、云化编程语言等的表示、编译、优化等,合作企业包括华为、快手、 龙芯、蚂蚁金服等. 
论文、著作、成果
 教材与译著:

1.  张昱、胡明哲 译. 实用编程语言理论基础,机械工业出版社,2022.3.

2.  陈意云、张昱. 编译原理(第3版),普通高等教育“十二五”国家级规划教材,高等教育出版社,2014.9.

3.  陈意云、张昱. 编译原理(第3版)习题精选与解析,普通高等教育“十二五”国家级规划教材配套参考书,高等教育出版社,2014.9.

4.  张昱、陈意云. 编译原理与技术,高等教育出版社,2010.8.

5.  陈意云、张昱.程序设计语言理论(第2版),高等教育出版社,2010.2.

6.  张昱、陈意云. 编译原理实验教程,高等教育出版社,2009.5.

7.  安虹、张昱、吴俊敏译. 虚拟机——系统与进程的通用平台,机械工业出版社,2009.2.


十篇代表性科研论文:

1. Yongshang Li, Yu Zhang*, Mingyu Chen, Xiangyang Li, Peng Xu. Timing-Aware Qubit Mapping and Gate Scheduling Adapted to Neutral Atom Quantum Computing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). (Accepted, Feb. 2023) (CCF A类期刊)

2. 龚磊, 孙新雨, 张昱*, 张燕咏, 吉建民, 华蓓. 嵌入路网图模型的自动驾驶场景描述语言. 软件学报, 34(9):2204-2229, 2023.9. 在线优先出版 (CCF A类中文期刊)

3. Yi Zhai, Yu Zhang*, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang. TLP: A Deep Learning-based Cost Model for Tensor Program Tuning. 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Vancouver, Canada, Mar. 25 - 29, 2023. (CCF A类会议)

4. Mingzhe Hu, Qi Zhao, Yu Zhang*, Yan Xiong. Cross-Language Call Graph Construction Supporting Different Host Languages. 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Macao, China, March 21-24, 2023. (CCF B类会议)

5. Mingyu Chen, Yu Zhang*, Yongshang Li, Zhen Wang, Jun Li, Xiangyang Li. QCIR: Pattern Matching Based Universal Quantum Circuit Optimization Framework. 41st International Conference on Computer-Aided Design (ICCAD). San Diego, California, USA, Oct. 30 - Nov.4, 2022. (CCF B类会议)

6. 王博, 张昱*, 耿佳宁, 李向阳. SSRules: 让智能家居自动化规则更易于编写和检查. 软件学报, 32(12):3728-3750, 2021.12. DOI: 10.13328/j.cnki.jos.006098 (CCF A类中文期刊)

7. Yun Peng, Yu Zhang*, Mingzhe Hu. An Empirical Study for Common Language Features Used in Python Projects. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021), Virtual, March 9-12, 2021. (CCF B类会议)

8. Haowei Deng, Yu Zhang*, Quanxi Li. CODAR : A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices. 57th Design Automation Conference (DAC 2020), San Francisco, CA, USA, July 19-23, 2020.(CCF A类会议)

9. Yu Zhang, Yufen Yu, Huifang Cao, Jiankang Chen,Qiliang Zhang. Chaus: Scalable VM-based Channels for Unbounded Streaming .Journal of Computer Science and Technology, 32(6):1288-1304, Nov. 2017. (CCF B类期刊)

10.张昱,陈意云,李兆鹏. 形状图理论的定理证明. 计算机学报, 39(12):2460-2480,2016.12. (CCF A类中文期刊)

编辑:init 2023-07-25 09:42:59