报告题目:Pointer Analysis: Experiences, Challenges and Opportunities
报告日期及时间:2016年3月23日周三9:30
报告地点:B403报告厅
报告人:薛京灵教授
报告人简介: 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.
报告摘要: Pointer analysis is a fundamental enabling technology for program analysis, understanding and optimization. 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.
邀请人: 何炎祥教授 袁梦霆副教授