Short 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 BEng and MEng degrees from Tsinghua University in 1984 and 1987, respectively, and his PhD in Computer Science and Engineering from the University of Edinburgh in 1992. He is an IEEE Fellow for contributions to compiler optimisation and program analysis.

Research Interests

His research spans the following areas, with an emphasis on practical techniques and open-source tools for real-world systems:

Programming Languages, Compilers and Computer Architecture

Programming language design, compiler optimisation, and computer architecture, with an emphasis on their interactions and efficient execution of conventional and AI workloads.

Privacy-Preserving Computing and Trustworthy AI

Compiler and system techniques for fully homomorphic encryption and privacy-preserving computation, alongside adversarial attacks and defences for AI systems.

Static and Dynamic Program Analysis

Scalable techniques for analysing program behaviour and reasoning about large software systems, including Rust memory safety.

Software Correctness and Security

Techniques for detecting bugs and vulnerabilities and improving the correctness, reliability, and security of software systems.

He has published a research monograph on loop tiling, more than 90 journal articles, and more than 240 conference papers.

Awards

His research papers and artifacts have received numerous awards, including:

  • Test-of-Time Award: CGO 2021 (for a CGO 2010 paper on pointer/alias analysis).
  • Best Paper Awards: CGO 2013 and 2016.
  • Distinguished Paper Awards: ECOOP 2016 and 2026; ICSE 2018; ISSTA 2019; ASE 2019 and 2023.
  • Artifact Awards: ISSTA 2023; FSE 2023; CGO 2026.

See Awards for the complete list.

Professional Service

He has served as Program Chair of LCTES 2013, CC 2018, and CGO 2020, and General Chair of LCTES 2020. His conference service spans programming languages, compilers, computer architecture, and software engineering, including PLDI, POPL, OOPSLA, ECOOP, CGO, CC, HPCA, PPoPP, SC, ICSE, FSE, ASE, and ISSTA. He has also served on the editorial boards of IEEE Transactions on Computers, IEEE Transactions on Emerging Topics in Computing, and Software: Practice and Experience. See Professional Activities for his complete service record, including current appointments.

Prospective PhD Students

Prospective PhD students interested in programming languages, compilers, computer architecture, program analysis, software correctness and security, or privacy-preserving computing are welcome to get in touch. Current research topics include AI compilers and architectures, FHE compilation, Rust memory safety, and LLM-assisted program verification.

He has supervised 34 PhD students to completion and received the Research Supervisor Award from the Arc Postgraduate Council at UNSW in 2020. Interested applicants should email a CV, academic transcripts, a brief statement of research interests, and any publications.