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

院士


大师讲席


教授


副教授

张  昱


讲师


博士后

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

张  昱

 

电 话:(0551)63603804

E- Mail: yuzhang@ustc.edu.cn

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

主要研究方向

程序设计语言理论与实现技术,特别是面向新型系统结构的并行语言设计和编译、并行程序分析和验证,即时编译器辅助的垃圾收集技术等。

张昱, 女,1972年8月生,副教授。1993年毕业于合肥工业大学计算机与信息系,获学士学位;1996年毕业于合肥工业大学研究生部,获硕士学位;2004年毕业于中国科学技术大学研究生院,获博士学位。现任计算机系软件与理论教研室主任。中科大-耶鲁高可信软件联合研究中心成员。

 

  主讲数据结构、编译原理、程序设计语言理论等课程。先后主持了4项和英特尔公司合作的项目以及其他项目;作为技术骨干参加了多项国家自然科学基金项目和1项高等学校博士学科点专项科研基金。

 

获 奖 情 况

   

◇  张昱、陈意云、张昊中、郭宇、李兆鹏:2008年《编译原理课程实践改革与探索》安徽省教学成果三等奖

◇  2008年 中国科大王宽诚育才一等奖

◇  2006年 中国科大青年教师优秀教学津贴

◇  陈意云、张昱、郑启龙:2005年《编译原理课程系列教材建设》安徽省教学成果三等奖

◇  2001年 中国科大王宽诚育才奖

 

主 要 论 著

   

  教材:
张昱、陈意云. 编译原理实验教程,高等教育出版社,2009.5。
安虹、张昱、吴俊敏译. 虚拟机——系统与进程的通用平台,机械工业出版社,2009.2。
陈意云、张昱. 编译原理,普通高等教育“十一五”国家级规划教材,高等教育出版社,2008.6。
陈意云、张昱. 编译原理,普通高等教育“十五”国家级规划教材,高等教育出版社,2003.8。
陈意云、张昱. 编译原理习题精选与解析,高等教育出版社,2005.8。
   
  论文:
[01] Yong Li, Yu Zhang, Yiyun Chen, Ming Fu. On the Verification of Strong Atomicity of Programs Using STM. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009), July 8-10, 2009, Shanghai, China.
[02] Ming Fu, Yu Zhang, Yong Li. Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. accepted by 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2009), July 29-31, 2009, Tianjin, China.
[03] Long Li, Yu Zhang, Yiyun Chen, Yong Li. Certifying Concurrent Programs Using Transactional Memory. Journal of Computer Science and Technology, 24(1):110-121, Jan.2009.
[04] Yu Zhang, Yihua Cao, Xunhao Li. A Decision Procedure for XPath Satisfiability in the Presence of DTD Containing Choice. In Proceedings of APWeb 2008, Shenyang, China, April 2008. LNCS 4976:202~213, 2008.
[05] 吴晓勇、张昱、孙东海. 带Order子句的XQuery在XML流上的查询. 小型微型计算机系统, 29(3):481-486, 2008.3.
[06] 曹益华、张昱. DTD可选的XML访问控制研究. 小型微型计算机系统, 29(1):73-79, 2008.1.
[07] 孙东海、张昱、吴晓勇,XML流上的XQuery前缀共享查询,计算机科学, 34(10):137~142,2007.10.
[08] Lei Zhao, Yu Zhang. Implementing Atomic Section by Using Hybrid Concurrent Control. In Proceedings of NPC2007 Workshops, Dalian, China, Sep.18~21, 2007. pp.642-647, IEEE Computer Society Order Number P2943.
[09] Yu Zhang. Homomorphism Resolving of XPath Trees Based on Automata. In Proceedings of APWeb/WAIM 2007, Huang Shan, China, June 16~18, LNCS 4505:821-828, 2007.
[10] 张昱、吴年,一种逐层提升缓冲的XML流查询自动机,小型微型计算机系统,28(3),2007.3.
[11] Xiong Fu, Yu Zhang, and Yiyun Chen. Data-Layout Optimization Using Reuse Distance Distribution. In Proceedings of the 1st International Workshop on Embedded Software Optimization (ESO 2006) EUC Workshops 2006, LNCS 4097, pages 858-867, 2006.
[12] 付雄、张昱、陈意云,基于复用距离的cache失效率分析,小型微型计算机系统,27(9), pages 1777-1781,2006.9.
[13] 张昱、吴年,XSIEQ-一种立即计算的XML流查询系统,小型微型计算机系统,27(8), pages 1514-1518,2006.8.
[14] 张昱、李凡,用Xerces-J进行基于XML Schema的XML局部验证,小型微型计算机系统,26(8), pages 1369-1373,2005.8.

 

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