会议地点：

会议地点位于图书馆报告厅110室，午餐用餐地点位于专家公寓中餐厅。

会议时间：

2018年10月20日

会议嘉宾：

唐珂教授

唐珂是南科大计算机系教授，他一直从事演化计算、机器学习领域的研究。唐珂教授已发表SCI期刊论文48篇（其中IEEE汇刊论文22篇）。论文SCI他引900余次，Google Scholar引用4200余次，H-因子为29。近年来，先后主持和参与了国家自然科学基金重点项目2项、面上项目3项、科技部973计划1项，并曾获得教育部自然科学二等奖（2011，排名第1）、电子学会自然科学一等奖（2015，排名第3），并先后获安徽省杰出青年科学基金（2011）、教育部新世纪优秀人才计划（2012）、英国皇家学会“牛顿高级学者”基金（2015年计算机学科全球仅2人）资助。唐珂教授现担任IEEE Transactions on Evolutionary Computation杂志副编。

肖枭博士

Dr. Xiao Xiao is the CTO and a co-founder of Sourcebrella, he received his PhD degree from the Hong Kong University of Science and Technology in 2016. His research interests include static program analysis, pointer analysis and software security. His research work has been extensively published in top conferences in the area of program languages and software engineering, POPL, PLDI, OOPSLA. His research results have been adopted by SOOT (a widely used framework for analyzing and transforming Java and Android application) and Google's internal analyzing platform. Since 2014, he leads the team to develop the new generation of static analysis tool Pinpoint. In 2016, Sourcebrella was founded to commercialize the research results--Pinpoint. In just a few months since its release, Pinpoint has been well accepted by customers, including leading internet content providers, consumer electronics manufacturers, companies that use smart manufacturing, authoritative software evaluation agencies and financial companies, such as Baidu, WeChat, TCL, Skyworth, Huawei, etc.

Dr. Yepang Liu 

Yepang Liu is a tenure-track assistant professor at the Southern University of Science and Technology (SUSTech). He obtained his PhD degree from the Hong Kong University of Science and Technology (HKUST) and BSc degree (with honor) from Nanjing University. Prior to joining SUSTech, he was a post-doctoral researcher at the Cybersecurity Lab and CASTLE Lab of HKUST. His research interests include software testing and analysis, cyber-physical systems, mobile computing, and cybersecurity. His work has been published in various top software engineering journals and conferences and has been recognized by several prestigious awards including two ACM SIGSOFT Distinguished Paper awards. He has also been actively serving as reviewers and organizers of major international conferences and journals and received the ACM SIGSOFT Service award.

Dr. Shin Hwei Tan

Shin Hwei Tan is a tenure-track assistant professor at the Southern University of Science and Technology. She obtained her PhD degree from National University of Singapore. Previously, she obtained her B.S (Hons) and M.S degree from University of Illinois at Urbana-Champaign. Her main research interests are in automated program repair, software testing and comment analysis. She has published over 10 conference and journal papers. She received several prestigious awards including David J. Kuck Outstanding MS Thesis Award and Google Anita Borg Memorial Scholarship.

Dr. Jingguo Zhou

Zhou Jinguo is currently the Chief Scientist in Sourcebrella Inc. He works mainly in the area of static program analysis and the application on bug finding and software security to help ensure software quality. As a co-founder of Sourcebrella, he is one of the main contributors in the core program analysis framework in the Pinpoint tool on bug detection, the product from Sourcebrella Inc. He has published papers at premium conferences and journals of programming languages and software engineering, such as ICSE, PLDI and ACM TOSEM. Zhou Jinguo got his PhD degree in the Hong Kong University of Science and Technology under the supervision of Prof. Charles Zhang. He got dual Bachelor degrees in computer science and Mathematics in Peking University.

Dr. Charles Zhang

Charles Zhang is an Associate Professor and the director of the Cybersecurity Lab in the Department of Computer Science and Engineering, HKUST. His major research interest is the use of program analysis techniques to improve software reliability. He has published extensively at premium conferences and journals of programming languages and software engineering. He has served on many organizational and technical committees of international conferences. He is currently an associate editor of IEEE TSE. His research received many awards including PLDI distinguished paper award, ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships. His research is supported by Research Grant Council, Innovation and Technology Fund, and grants from Microsoft and IBM. Charles obtained his Ph.D, M.Sc, and B.Sc. with honors, all from University of Toronto.

Dr. Rongxin Wu

Rongxin Wu is a post-doctoral research fellow in the department of computer science and engineering at the Hong Kong University of Science and Technology (HKUST). He received his PhD degree from HKUST in 2017. His research interests include program analysis, software security, and mining software repository. His research work has been regularly published in top conferences in the research communities of program languages and software engineering, including POPL, PLDI, ICSE, FSE, ISSTA and ASE and so on. He has served as a reviewer in reputable international journals and a program committee member in several international conferences. He has ever received ACM SIGSOFT Distinguished Paper award.

Qingkai Shi

Qingkai Shi is a Ph.D. candidate from the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology. His research interests include program analysis, software security, concurrency, and software testing. He has published papers at premium conferences and journals of programming languages and software engineering, such as PLDI and IEEE TSE. His research keeps contributing to securing commonly-used software, such as MySQL, Firefox, Chrome, and the like. He has obtained a bunch of CVE IDs and has received many awards including the Hong Kong PhD Fellowship and the National Scholarship of China. 

吴伟

吴伟，HelloLLVM和HelloGCC组织的负责人。浙江重德智能科技有限公司CTO。主要研究领域包括机器人技术、ROS开源系统、程序语言及JIT编译技术、虚拟机性能分析和优化等。

邱吉博士

本次报告将从编译器的角度，对MIPS、ARM和RISCV的指令集进行横向比较、分析若干架构和微架构相关的编译优化，并用常见的CPU benchmark进行热点代码部分代码生成的案例分析，同时也将分享构建编译器和开展性能分析的心得和经验.

报名链接：