计算机科学与技术学院
 
师资队伍

院士


教授


副教授


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>副教授

张  昱



电 话:(0551)63603804

E - Mailyuzhang@ustc.edu.cn  

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


主要研究方向面向新兴应用领域的编程系统、软件分析与软件安全;量子软件等。

张昱,女,副教授,硕士生导师,IEEEACM会员、中国计算机学会(CCF)高级会员。ACM  SIGOPS China (ChinaSys)秘书长、ACM SIGCSE China理事、全国高等学校计算机教育研究会理事,CCF系统软件专委、形式化方法专委、教育专委委员,教育部高等学校计算机类教学指导委员会“智能时代计算机专业教育”(系统能力2.0)研究组成员。


2005年获中国科学技术大学计算机软件与理论博士学位。2004年至今任中国科学技术大学副教授,201010201110月在耶鲁大学计算机系进行访问研究主持或参与科技部国家重点研发计划、国家自然科学基金、安徽省自然科学基金、微软亚洲研究院创新合作项目等多项科研项目。在学术期刊和国际会议上发表论文90余篇,获得国家发明专利授权2项,软件著作权1项。出版编译原理和程序设计语言原理相关教材和配套参考书9本、合作翻译著作1本。


承担本科生《编译原理与技术(H)》、《程序设计语言基础》等课程以及研究生《程序设计语言理论》课程的教学工作,安徽省精品资源共享课《编译原理和技术》负责人。持续主持开展编译相关的教学研究成果,分别于200820102018年获得安徽省教学成果奖。2013年至2017年,担任国家中学生科技创新后备人才培养计划(“中学生英才计划”)指导教师。2016年指导本科生开展的科学研究获ACM SIGPLAN学生研究竞赛本科生组第2名;2018年指导学生参加CCF系统软件和软件工程专委主办的命题型竞赛“违反编码规范原型工具”,获第2名。

获奖情况

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

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

2018获计算机学院优秀党务工作者

2018BigCom2018最佳论文第2

2017获校优秀党务工作者、所在支部获校优秀基层党组织

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

2015获校优秀共产党员

20102008获安徽省教学成果三等奖(主持)

2008获王宽诚育才奖一等奖


主要论著

教材与译著:

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

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

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

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

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

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


论文:

  1. Yu Zhang, Jiankang Chen. A Scalable Pthreads-Compatible Thread Model for VM-Intensive Programs. 18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2018), Guangzhou, China, Nov 15-17, 2018.

  2. Yu Zhang, Yuxiang Zhang. Making Halide Efficient for Multicore Systems. 4th International Conference on Big Data Computing and Communications (BIGCOM 2018), IIT, Chicago, USA, August 7 - 9, 2018. Best Paper Runner Up Award

  3. Yu Zhang, Yufen Yu, Jiankang Chen. SMR: Scalable MapReduce for Multicore Systems. 20th IEEE International Conference on High Performance Computing and Communications (HPCC 2018), Exeter, England, UK, June 28-30, 2018.

  4. 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, DOI: 10.1007/s11390-017-1801-4.

  5. Yu Zhang, Huifang Cao. DMR: A Deterministic MapReduce for Multicore Systems. International Journal of Parallel Programming, 2017, 45(1):128-141. DOI:10.1007/s10766-015-0390-5.

  6. 张昱, 陈意云, 李兆鹏形状图理论的定理证明. 计算机学报, 39(12):2460-2480,2016.12.

  7. Wei Zhang, Yu Zhang. Lightweight Function Pointer Analysis. 11st International Conference on Information Security Practice and Experience (ISPEC'15), 5-8 May 2015, Beijing, China. LNCS 9065: 439-453.

  8. Yu Zhang, Zhaopeng Li, Huifang Cao. System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism . Journal of Computer Science and Technology, 30(1):57-73, Jan. 2015, DOI: 10.1007/s11390-015-1504-7.

  9. Zhaopeng Li, Yu Zhang, Yiyun Chen. A Shape Graph Logic and A Shape System. Journal of Computer Science and Technology,28(6):1063-1084, Nov. 2013, DOI: 10.1007/s11390-013-1398-1.

  10. Yu Zhang and Bryan Ford. Lazy Tree Mapping: Generalizing and Scaling Deterministic Parallelism. 4th ACM SIGOPS Asia-Pacific Workshop on Systems. (APSys 2013), Singapore, July 30, 2013.

  11. Yu Zhang and Bryan Ford. A virtual memory foundation for scalable deterministic parallelism. The 2nd ACM SIGOPS Asia-Pacific Workshop on Systems. (APSys 2011), Shanghai, July 11-12, 2011.

  12. Yu Zhang, Lina Yuan, Tingpeng Wu, Wen Peng and Quanlong Li. Just-in-time compiler assisted object reclamation and space reuse.Proc. of IFIP International Conference on Network and Parallel Computing (NPC 2010), Sept. 13-15, 2010, Zhengzhou, China.

  13. Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, and Yu Zhang. Reasoning about optimistic concurrency using a program logic for history, Proc. of 21st International Conference on Concurrency Theory (CONCUR'10), Paris, France, August 2010. Lecture Notes in Computer Science Vol.6269, pages 388-402, 2010 Springer-Verlag.

  14. Yong Li, Yu Zhang, Yiyun Chen and Ming Fu. Formal reasoning about lazy-STM programs. Journal of Computer Science and Technology, 25(4):841-852, 2010. 

  15. Ming Fu, Yu Zhang and Yong Li. Formal verification of concurrent programs with read-write locks. Frontiers of Computer Science in China, 4(1): 65-77, Jan.2010.




CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027