中科大先研院研究生校内导师简历
张昱 博士/教授
姓名 | 张昱 |
学位/职称 | 博士/教授 |
所属单位 | 计算机科学与技术学院 |
办公室电话 | (0551)63603804 |
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