各系部、中心：
应我院邀请，美国西密西根大学杨子江教授，于7月3日下午来我校做专题学术讲座，欢迎广大师生参加！报告的具体安排如下：
报告题目：CriticalPath Identification and Analysis for Smart Contracts
报告摘要：Smartcontracts built on top of the blockchain technology provides a platform forautomatically executing contracts in an anonymous, distributed, and trustedway. The technology claims to have the potential to revolutionize manyindustries. However, smart contracts have become a magnate for cyberattacks andmillions of dollars were stolen. In the first part of the talk, wepresent a symbolic execution based approach that automatically identify asmall number of critical program paths that may have vulnerabilities. Ourapproach has been implemented in a tool called sCompile, which has been appliedto more than 10,000 smart contracts. The experiment results show thatsCompile is efficient, i.e., it spends 6.58 seconds on average to analyze a smartcontract. Furthermore, we show that many known vulnerability can be captured ifthe user inspects as few as the top 5 program paths generated by sCompile.Using sCompile, we identify 92 previously unknown vulnerabilities.
报告人：杨子江教授（University of Pennsylvania，美国西密西根大学）
ZijiangYang is a professor of Computer Science at Western MichiganUniversity. His research is in the broad areas of software engineering. Hehas published over eighty conference and journal papers with about 1/3 rankedin CCF category A. He received his Ph.D. from the University ofPennsylvania, M.S. from Rice University, and B.S. from the Universityof Science and Technology of China, all in computer science. He is a recipientof the 2018 ACM SIGSOFT Distinguished Paper Award (ICSE best paper award), 2016Google CS Engagement Award and 2008 ACM TODAES best paper award. He is thegeneral chair of the 12th IEEE Conference on Software Testing, Validationand Verification (ICST).
报告时间：2018年7月3日（周二）15:00
报告地点：长安校区西区2号楼307会议室
杨子江(Zijiang Yang)是美国西密西根大学计算机科学系教授。1996年毕业于中国科技大学，计算机科学专业，2003年毕业于美国宾夕法尼亚大学(Universityof Pennsylvania)，获计算机与信息科学博士学位，主要研究领域为软件工程。扬子江教授先后在美国NEC公司美国研发中心任副研究员和科研顾问；2003年到美国西密西根大学工作至今。受聘于西安交通大学，大连理工大学，天津大学，西南大学，南京大学等单位的客座教授。担任美国科学基金，美国能源部，美国宇航局等基金评委；担任上海交通大学学科评审委员；在10th（2017）和11th（2018）IEEEInternational Conference on Software Testing, Verification and Validation,和19th（2017）InternationalConference on Formal Engineering Methods国际会议评审委员；负责ACMSIGSOFT软工邮件组（国际软工研究领域最大的交流群，有近万名注册研究人员）；即将担任12thIEEE International Conference on Software Testing, Verification and Validation（ICST）大会主席（软件测试方面旗舰会议，2019年在西安召开，也是第一次在中国举行）；即将担任2018年Symposiumon Dependable Software Engineering（SETTA）程序委员会主席。曾获得谷歌计算机Engagement奖、西密西根大学工学院研究成果奖、PADTAD最佳会议论文奖、ACMTODAES年度最佳期刊论文奖、西密西根大学工学院青年研究成果奖、担任国际电子电气工程师协会（IEEE）高级会员。
杨子江教授的主要研究领域为软件工程。迄今共发表论文77篇。其中包括中国计算机协会推荐A类论文17篇（期刊5篇，会议12篇），B类论文22篇（期刊9篇，会议13篇），C类论文10篇（期刊2篇，会议8篇）。另外有美国专利10项。
