题目: Pointer Analysis: Experiences, Challenges and Opportunities

时间:2016年06月01日上午10:00

地点:东五楼210

Abstract:

Static program analysis is increasingly recognized as a fundamental tool for program verification, bug detection, security analysis, compiler optimization, program understanding, and software maintenance. Pointer analysis is the foundation on which virtually all other analyses are based. In this talk, I will highlight a number of future research directions, focusing on challenges and opportunities, based on my recent experiences working with pointer analysis.

Bio:

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 analysis for bugs and security vulnerabilities, security analysis of Andorid apps, and automatic parallelzation of programs for parallel and 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 Experience and has served as a program committee member in numerous conferences in his field. He is Yangtze river scholars Distinguished Professor and Project of Thousand Youth Talents.