张 昱

时间:2020-09-05浏览:10379

电  话:(0551)63603804

E- Mail:yuzhang@ustc.edu.cn

办公室:安徽省合肥市黄山路中国科大西校区科技实验楼西楼 615室、高新校区1号学科楼A554室

实验室:中国科大高新校区信智楼 B802室、1号学科楼A208室

个人主页:http://staff.ustc.edu.cn/~yuzhang 

研究组主页:http://s4plus.ustc.edu.cn/

主要研究方向:新兴编程系统与优化、智能无人系统与优化、软件与大数据分析、无人系统基础软件等


张昱,女,教授,博士生导师,中国计算机学会 (CCF) 杰出会员、CCF系统软件专委常务委员、教育专委常务委员;ACM会员、ACM 中国操作系统分会副主席、计算机科学教育分会常务理事;全国高等学校计算机教育研究会常务理事;教育部高等学校计算机类教学指导委员会(2018-2022)计算机系统专家委员会委员。华夏计算机科技英才班负责人。

2005年1月获中国科学技术大学计算机软件与理论博士学位。2010年10月—2011年10月在美国耶鲁大学计算机系进行访问研究。主持或参与科技部科技创新2030重大项目、国家自然科学基金、工信部项目、安徽省重点研发计划项目等纵向项目,主持完成华为、龙芯、阿里巴巴、蚂蚁金服、微软、Intel等企业创新合作项目。在学术期刊和国际会议上发表论文130余篇,获得国家发明专利授权14项、软件著作权6项,牵头制定安徽省地方标准1部,参与制定国家标准和ISO国际标准。出版编译原理和程序设计语言原理相关教材和配套参考书9本、合作翻译著作2本。


获奖情况

1. 2023年获教育部-华为“智能基座”优秀教师

2. 2023国家级一流线下课程“编译原理和技术”负责人

3. 2021年获宝钢优秀教师奖

4. 2021年获中国软件开源创新大赛开源项目创新一等奖、任务挑战二等奖、开源实践教学二等奖

5. 2021年获全国软件工程教学案例一等奖

6. 2020年获2019年度全国高校计算机专业优秀教师奖励计划

7. 2020年获首届全国高校教师教学创新大赛校赛一等奖

8. 2020年获全国高校绿色计算大赛实践教学组和开源创新组两项特等奖

9. 2020年获ACM中国-国际并行计算挑战赛(IPCC)二等奖、优秀指导教师

10.2019年获全国软件工程教学案例比赛二等奖、全国高校绿色计算大赛(实践教学组)二等奖

11.2018年获第一届中国科大-唐立新教学名师奖

12.2018年获中国科大新创校友基金会“院长教学奖”

13.2018年获安徽省教学成果二等奖(主持)

14.2018年获NASAC命题型竞赛“违反编码规范原型工具”第2名

15.2017年获中国科大优秀党务工作者、所在支部获校优秀基层党组织

16.2016年获第一届西区精神优秀教学奖

17.2016年指导本科生张震开展科学研究获ACM SIGPLAN学生研究竞赛本科生组第2名

18.2010年、2008年获安徽省教学成果三等奖(主持)

19.2008年获王宽诚育才奖一等奖

20.2006年获中国科大优秀青年教职工津贴



教材与译著

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

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

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

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

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

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

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


十篇代表性科研论文:

  1. Yi Zhai, Sijia Yang, Keyu Pan, Renwei Zhang, Shuo Liu, Chao Liu, Zichun Ye, Jianmin Ji, Jie Zhao, Yu Zhang*, Yanyong Zhang*. Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI). Santa Clara, CA, USA, July 10–12, 2024. (CCF A类会议)

  2. Xinyu Sun, Yu Zhang*, Shuo Liu, Yi Zhai. Crop: An Analytical Cost Model for Cross-Platform Performance Prediction of Tensor Programs. 61th Design Automation Conference (DAC). Moscone West, San Francisco, USA, June 23-27, 2024. (CCF A类会议)

  3. 陈金宝, 张昱*, 李清伟,丁伯尧. DBI-Go: 动态插桩定位Go二进制的非法内存引用. 软件学报, 35(6), 2024.6. (CCF A类中文期刊)

  4. 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类期刊)

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

  6. 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类会议)

  7. 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类会议)

  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类中文期刊)

代表性教研论文:

  1. Yu Zhang, Chunming Hu, Mingliang Zeng, Yitong Huang, Wenguang Chen and Yuanwei Wang. Encouraging Compiler Optimization Practice for Undergraduate Students through Competition. 26th annual conference on Innovation and Technology in Computer Science Education (ITiCSE), Online, Paderborn, Germany, June 26 - July 1, 2021. (国际计算机科学教育领域旗舰会议)

  2. Yu Zhang, Youwen Ouyang. Designing a Course of Programming Language Foundations that Closely Combines Practice. ACM Turing Award Celebration Conference - China (ACM TURC 2021), Hefei, China, July 30 - August 1, 2021.

  3. 张昱,陈娟,肖胜刚,张铭. 由第48 届ACM 计算机科学教育大会看国内计算机教育科研, 计算机教育,No.273:176-179,2017.9.

  4. Yu Zhang, Xianglan Chen, Xin An, Jianliang Lu, Xuejun Li, Xuehai Zhou. Building step-by-step practical curriculum system for computer systemic ability training, ACM Turing 50th Celebration Conference - China (ACM TUR-C '17), 7:1-7:6, Shanghai, China, May 12-14, 2017.

  5. 张昱, 陈意云, 郑启龙. 编译原理课程的教学方法和教材建设. 中国大学教学, 61-62, 2005.7.