首页>师资队伍>副教授
张昱
电　话：(0551)63603804E-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]YongLi,YuZhang,YiyunChen,MingFu.OntheVerificationofStrongAtomicityofProgramsUsingSTM.3rdIEEEInternationalConferenceonSecureSoftwareIntegrationandReliabilityImprovement(SSIRI2009),July8-10,2009,Shanghai,China.
[02]MingFu,YuZhang,YongLi.FormalReasoningaboutConcurrentAssemblyCodewithReentrantLocks.acceptedby3rdIEEEInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE2009),July29-31,2009,Tianjin,China.
[03]LongLi,YuZhang,YiyunChen,YongLi.CertifyingConcurrentProgramsUsingTransactionalMemory.JournalofComputerScienceandTechnology,24(1):110-121,Jan.2009.
[04]YuZhang,YihuaCao,XunhaoLi.ADecisionProcedureforXPathSatisfiabilityinthePresenceofDTDContainingChoice.InProceedingsofAPWeb2008,Shenyang,China,April2008.LNCS4976: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]LeiZhao,YuZhang.ImplementingAtomicSectionbyUsingHybridConcurrentControl.InProceedingsofNPC2007Workshops,Dalian,China,Sep.18~21,2007.pp.642-647,IEEEComputerSocietyOrderNumberP2943.
[09]YuZhang.HomomorphismResolvingofXPathTreesBasedonAutomata.InProceedingsofAPWeb/WAIM2007,HuangShan,China,June16~18,LNCS4505:821-828,2007.
[10]张昱、吴年，一种逐层提升缓冲的XML流查询自动机，小型微型计算机系统，28(3)，2007.3.
[11]XiongFu,YuZhang,andYiyunChen.Data-LayoutOptimizationUsingReuseDistanceDistribution.InProceedingsofthe1stInternationalWorkshoponEmbeddedSoftwareOptimization(ESO2006)EUCWorkshops2006,LNCS4097,pages858-867,2006.
[12]付雄、张昱、陈意云，基于复用距离的cache失效率分析，小型微型计算机系统，27(9),pages1777-1781，2006.9.
[13]张昱、吴年，XSIEQ-一种立即计算的XML流查询系统，小型微型计算机系统，27(8),pages1514-1518，2006.8.
[14]张昱、李凡，用Xerces-J进行基于XMLSchema的XML局部验证，小型微型计算机系统，26(8),pages1369-1373，2005.8.