My Expertise
Programming Languages, Compiler Technology, Program Analysis, Security Analysis, and High-Performance Computing
Biography
Jingling Xue is a Scientia Professor in the School of Computer Science and Engineering at UNSW Sydney where he leads the Programming Languages and Compilers group. He received his B.Eng and M.Eng 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.
Jingling Xue's research spans programming languages,...view more
Jingling Xue is a Scientia Professor in the School of Computer Science and Engineering at UNSW Sydney where he leads the Programming Languages and Compilers group. He received his B.Eng and M.Eng 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.
Jingling Xue's research spans programming languages, compiler technology, and program analysis. He strives to achieve the practical relevance of his research by focusing on developing innovative solutions and open-source tools for real-world software applications. He is interested in sharing the outcomes of his research projects in the form of open-source tools, by supporting scientific replicability and reproducibility, including SVF (https://svf-tools.github.io/SVF) and Qilin (https://qilinpta.github.io/Qilin).
His current research projects include compiler techniques for improving parallelism and locality for modern computer architectures, compiler techniques for improving the performance of graph processing applications on hardware accelerators (e.g., CPUs, GPUs and FPGAs), pointer/alias analysis techniques and tools for million-line-scale programs, and static and dynamic program analysis techniques and tools for detecting bugs and security vulnerabilities in real-world software applications (e.g., web browsers and Android apps). He has published a research monograph on loop tiling (one of the most important loop transformations for improving parallelism and locality), 70+ journal articles, and 170+ conference papers, with many in prestigious IEEE/ACM journals and conferences in his field.
He is looking for self-motivated people to join his research group. If you are interested in pursuing a PhD degree under his supervision, please contact him by sending your CV, copies of your publications and your academic transcripts. Some exciting research areas include memory safety in Rust, smart contract analysis and verification, AI compilers, and adversarial attacks and defences in deep learning.
He is an IEEE fellow elected for contributions to compiler optimisation and program analysis.
My Grants
- J. Xue. Event Interleaving Analysis for Detecting Event-Driven Order Violations in Android Apps. Australian Research Council (Discovery), 2021 -- 2023, A$315,000.
- J. Xue. Building Secure Defenses Against Code Reuse Attacks with Modular Pointer Analysis. Australian Research Council (Discovery), 2018 -- 2020, A$362,616.
- J. Xue. Soundness-Guided Security Analysis for Android Applications. Australian Research Council (Discovery), 2017 -- 2019, A$357,500.
- J. Xue. Sparse Demand-Driven Analysis to Improve Software Reliability and Security. Australian Research Council (Discovery), 2015 -- 2017, A$266,300.
- J. Xue and B. Scholz, Finding Concurrency Bugs in Multithreaded Software. Australian Research Council (Discovery), 2013 -- 2015, A$360,000.
- J. Xue. Automating data placement and movement for explicitly managed memory hierarchies, Australian Research Council (Discovery), 2011 -- 2013, A$390,000.
- J. Xue and J. Potter. A Programming Model of Object Validity for Secure and Efficient Concurrency Australian Research Council (Discovery), 2009 -- 2011, A$391,000.
- J. Xue. Scratchpad based Memory Allocation Techniques for Embedded Software, Australian Research Council (Discovery), 2008 -- 2010, A$285,000.
- J. Xue and J. Potter. Analysis and Optimisation of Incomplete Object-Oriented Programs, Australian Research Council (Discovery), 2006 -- 2008, A$286,000.
- J. Xue. Compiler-Directed Code Tiling for Higher Program Performance and Predictability on Multi-Level Memory Hierarchies, Australian Research Council (Discovery), 2004 -- 2006, A$150,000.
- M. Chakravarty, G. Heiser, J. Potter and J. Xue. A Safe and Efficient Multi-Language Component Framework Based on Dynamic Compilation, Australian Research Council (Discovery), 2002 -- 2004, $382,000.
- J. Jin, Y. Zhong and J.Xue. A Scheme of Local Compilation of Mobile Collectors for Image and Video Search Engines, Australian Research Council (Linkage), 2002 -- 2004, $119,490.
- J. Xue. Compiler Optimisations for Improving Cache Performance of Uniprocessors, Australian Research Council (Discovery), 2000 -- 2002, A$175,000.
- J. Xue. Compiling for Distributed Memory Machines in the Polyhedron Model, Australian Research Council (Discovery), 1996 -- 1998, A$111,915.
My Qualifications
- PhD, Edinburgh University, 1992
- MSc, Tsingua University, 1987
- BSc, Tsingua University, 1984
My Awards
- Test-of-Time Award, CGO'21 (for his CGO'10 paper on pointer/alias analysis)
- Distinguished Paper Award, ASE'19
- Distinguished Paper Award, ISSTA'19
- Distinguished Paper Award, ICSE'18
- Distinguished Paper Award, ECOOP'16
- Best Paper Award, CGO'16
- Best Paper Award, CGO'13
- Best Paper Award, ACSC'05
- Best Student Paper Award, ACSC'04
My Research Activities
- Compiler techniques for modern computer architectures (e.g., CPUs, GPUs and FPGAs)
- Compiler techniques for programming languages (e.g., C/C++, Java, Rust)
- Program analysis techniques for detecting bugs and security vulnerabilities
- AI compiler techniques for deep learning networks
- Adversarial Attacks and Defences for Deep Learning
- Software security analysis for mobile applications
My Research Supervision
Areas of supervision
- Compiler Technology
- Programming Languages
- Program Analysis
- Security Analysis
- High Performance Computing (with emphasis on compiler technology and program analysis)