主 题：Program Analysis in Bug and Security Analysis
主讲人：薛京灵（Jingling Xue） 教授（长江学者、千人计划专家）
时 间：2016/11/19 19:00 – 20:30
地 点：计算机学院B403会议室
讲座内容概要：In this talk, I will introduce some state-of-the-art program analysis techniques for detecting bugs and security vulnerabilities in C, C++, Java and Android programs. I will also introduce a number of research projects that are currently carried out in my research group, with an emphasis on analysing large-scale and/or complex real-world applications (with millions of lines of code). I will conclude my talk by discussing some challenges and future directions.
主讲人简介：
Jingling Xue received his BSc and MSc degrees in Computer Science and Engineering from Tsinghua University in 1984 and 1987, respectively, and his PhD degree in Computer Science and Engineering from Edinburgh University in 1992. He is currently a Professor in the School of Computer Science and Engineering, University of New South Wales, Australia, where he heads the Programming Languages and Compilers Group.
Jingling Xue's main research interest has been programming languages and compilers for over 20 years. He is currently supervising a group of postdocs and PhD students on a number of topics including programming and compiler techniques for multi-core processors and embedded systems, concurrent programming models, static and dynamic program distributed systems. His research has been supported by Intel, Sun Microsystems, Oracle, Huawei and Australian Research Council.
Jingling Xue is an Associate Editor for several journals including IEEE Transactions on Computers (2011 -- 2015) and Software: Practice and Engineering and has served as a program committee member in numerous conferences in his field. He is an expert of the state's "1,000 talents" plan and a Yangtze river scholars distinguished professor.
邀请人：袁梦霆
