Researcher

Scientia Professor Jingling Xue

My Expertise

Programming Languages, Compiler Technology, Program Analysis, Security Analysis, and High-Performance Computing
 

Biography

Professor Jingling Xue is from the School of Computer Science and Engineering. His research interests include:

  • Programming Languages
  • Compiler Technology
  • Program Analysis
  • Software Security Analysis
  • High-Performance Computing (with emphasis on compiler technology and program analysis)

My Grants

  1. J. Xue. Event Interleaving Analysis for 119 Detecting Event-Driven Order Violations in Android Apps. Australian Research Council...view more

Professor Jingling Xue is from the School of Computer Science and Engineering. His research interests include:

  • Programming Languages
  • Compiler Technology
  • Program Analysis
  • Software Security Analysis
  • High-Performance Computing (with emphasis on compiler technology and program analysis)

My Grants

  1. J. Xue. Event Interleaving Analysis for 119 Detecting Event-Driven Order Violations in Android Apps. Australian Research Council (Discovery), 2021 -- 2023, A$315,000.

     

  2. J. Xue. Building Secure Defenses Against Code Reuse Attacks with Modular Pointer Analysis. Australian Research Council (Discovery), 2018 -- 2020, A$362,616.

     

  3. J. Xue. Soundness-Guided Security Analysis for Android Applications. Australian Research Council (Discovery), 2017 -- 2019, A$357,500.

     

  4. J. Xue. Sparse Demand-Driven Analysis to Improve Software Reliability and Security. Australian Research Council (Discovery), 2015 -- 2017, A$266,300.

     

  5. J. Xue and B. Scholz, Finding Concurrency Bugs in Multithreaded Software. Australian Research Council (Discovery), 2013 -- 2015, A$360,000.

     

  6. J. Xue. Automating data placement and movement for explicitly managed memory hierarchies, Australian Research Council (Discovery), 2011 -- 2013, A$390,000.

     

  7. 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.

     

  8. J. Xue. Scratchpad based Memory Allocation Techniques for Embedded Software, Australian Research Council (Discovery), 2008 -- 2010, A$285,000.

     

  9. J. Xue and J. Potter. Analysis and Optimisation of Incomplete Object-Oriented Programs, Australian Research Council (Discovery), 2006 -- 2008, A$286,000.

     

  10. 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.

     

     

  11. 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.

     

  12. 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.

     

  13. J. Xue. Compiler Optimisations for Improving Cache Performance of Uniprocessors, Australian Research Council (Discovery), 2000 -- 2002, A$175,000.

     

  14. 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 Research Activities

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. His current research projects include compiler techniques for improving parallelism and locality, 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 160+ conference papers, with many in prestigious IEEE/ACM journals and conferences in his field.


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)

 

View less

Location

Contact

+61 2 9385 4889
55995