Scientia Professor Jingling Xue
Professor

Scientia Professor Jingling Xue

  • PhD, Edinburgh University, 1992
  • MSc, Tsingua University, 1987
  • BSc, Tsingua University, 1984
Engineering
Computer Science and Engineering

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.

Phone
+61 2 9385 4889
  • Books | 2000
    Xue J, 2000, Loop Tiling for Parallelism, Original, Kluwer Academic Publishers, Boston
  • Book Chapters | 2021
    Xu X; Wang X; Xue J, 2021, 'Automatic Synthesis of Data-Flow Analyzers', in Static Analysis, Springer International Publishing, pp. 453 - 478, http://dx.doi.org/10.1007/978-3-030-88806-0_22
    Book Chapters | 2006
    Xue J; Huang Q, 2006, 'Code tiling: one size fits all', in Yang L; Guo M (ed.), High-performance computing: paradigm and infrastructure, Wiley & Sons, USA, pp. 219 - 240, http://dx.doi.org/10.1002/0471732710.ch11
  • Journal articles | 2023
    He D; Lu J; Gao Y; Xue J, 2023, 'Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis', IEEE Transactions on Software Engineering, vol. 49, pp. 719 - 742, http://dx.doi.org/10.1109/TSE.2022.3162236
    Journal articles | 2023
    Wu J; Li W; Wu L; Yuan M; Xue CJ; Xue J; Li Q, 2023, 'Effective Stack Wear Leveling for NVM', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, http://dx.doi.org/10.1109/TCAD.2023.3240873
    Journal articles | 2022
    Chen Z; Zhang Q; Wu J; Yan J; Xue J, 2022, 'A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety', IEEE Transactions on Software Engineering, http://dx.doi.org/10.1109/TSE.2022.3210580
    Journal articles | 2022
    Huang Y; Zheng L; Yao P; Wang Q; Liu H; Liao X; Jin H; Xue J, 2022, 'ReaDy: A ReRAM-Based Processing-in-Memory Accelerator for Dynamic Graph Convolutional Networks', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, pp. 3567 - 3578, http://dx.doi.org/10.1109/TCAD.2022.3199152
    Journal articles | 2022
    Li G; Ma X; Wang X; Yue H; Li J; Liu L; Feng X; Xue J, 2022, 'Optimizing deep neural networks on intelligent edge accelerators via flexible-rate filter pruning', Journal of Systems Architecture, vol. 124, http://dx.doi.org/10.1016/j.sysarc.2022.102431
    Journal articles | 2022
    Lu J; Li F; Liu C; Li L; Feng X; Xue J, 2022, 'CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement', IEEE Transactions on Software Engineering, vol. 48, pp. 662 - 677, http://dx.doi.org/10.1109/TSE.2020.2999364
    Journal articles | 2022
    Zheng L; Liu H; Huang Y; Chen D; Liu C; He H; Liao X; Jin H; Xue J, 2022, 'A Flexible Yet Efficient DNN Pruning Approach for Crossbar-Based Processing-in-Memory Architectures', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 41, pp. 3745 - 3756, http://dx.doi.org/10.1109/TCAD.2022.3197510
    Journal articles | 2022
    Zou C; Gao Y; Xue J, 2022, 'Practical Software-Based Shadow Stacks on x86-64', ACM Transactions on Architecture and Code Optimization, vol. 19, pp. 1 - 26, http://dx.doi.org/10.1145/3556977
    Journal articles | 2022
    Zou C; Wang X; Gao Y; Xue J, 2022, 'Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization', ACM Transactions on Software Engineering and Methodology, vol. 31, pp. 1 - 37, http://dx.doi.org/10.1145/3494516
    Journal articles | 2021
    Dagostino D; Leporati F; Torquati M; Xue J, 2021, 'Guest Editorial: Special Section on New Trends in Parallel and Distributed Computing for Human Sensible Applications', IEEE Transactions on Emerging Topics in Computing, vol. 9, pp. 1640 - 1641, http://dx.doi.org/10.1109/TETC.2021.3113485
    Journal articles | 2021
    Lu J; He D; Xue J, 2021, 'Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity', ACM Transactions on Software Engineering and Methodology, vol. 30, pp. 1 - 46, http://dx.doi.org/10.1145/3450492
    Journal articles | 2020
    Li G; Ma X; Wang X; Liu L; Xue J; Feng X, 2020, 'Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, pp. 3614 - 3626, http://dx.doi.org/10.1109/TCAD.2020.3013050
    Journal articles | 2020
    Sui Y; Xue J, 2020, 'Value-Flow-Based Demand-Driven Pointer Analysis for C and C++', IEEE Transactions on Software Engineering, vol. 46, pp. 812 - 835, http://dx.doi.org/10.1109/TSE.2018.2869336
    Journal articles | 2020
    Wang Q; Zheng L; Zhao J; Liao X; Jin H; Xue J, 2020, 'A Conflict-free Scheduler for High-performance Graph Processing on Multi-pipeline FPGAs', ACM Transactions on Architecture and Code Optimization, vol. 17, http://dx.doi.org/10.1145/3390523
    Journal articles | 2019
    Li Y; Tan T; Xue J, 2019, 'Understanding and analyzing Java reflection', ACM Transactions on Software Engineering and Methodology, vol. 28, http://dx.doi.org/10.1145/3295739
    Journal articles | 2019
    Lu J; Xue J, 2019, 'Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity', Proceedings of the ACM on Programming Languages, vol. 3, pp. 1 - 29, http://dx.doi.org/10.1145/3360574
    Journal articles | 2019
    Wang L; Xue J; Liao X; Wen Y; Chen M, 2019, 'LCCFS: a lightweight distributed file system for cloud computing without journaling and metadata services', Science China Information Sciences, vol. 62, http://dx.doi.org/10.1007/s11432-017-9295-4
    Journal articles | 2019
    Xia C; Zhao J; Cui H; Feng X; Xue J, 2019, 'DNntune: Automatic benchmarking DNN models for mobile-cloud computing', ACM Transactions on Architecture and Code Optimization, vol. 16, http://dx.doi.org/10.1145/3368305
    Journal articles | 2018
    Su X; Liao X; Jiang H; Yang C; Xue J, 2018, 'SCP: Shared cache partitioning for high-performance GEMM', ACM Transactions on Architecture and Code Optimization, vol. 15, http://dx.doi.org/10.1145/3274654
    Journal articles | 2018
    Sui Y; Fan X; Zhou H; Xue J, 2018, 'Loop-Oriented pointer analysis for automatic SIMD vectorization', ACM Transactions on Embedded Computing Systems, vol. 17, http://dx.doi.org/10.1145/3168364
    Journal articles | 2018
    Zhang F; Xue J, 2018, 'Poker: Permutation-based SIMD execution of intensive tree search by path encoding', ACM Transactions on Architecture and Code Optimization, vol. 15, http://dx.doi.org/10.1145/3280850
    Journal articles | 2018
    Zhang Y; Li Y; Tan T; Xue J, 2018, 'Ripple: Reflection analysis for Android apps in incomplete information environments', Software - Practice and Experience, vol. 48, pp. 1419 - 1437, http://dx.doi.org/10.1002/spe.2577
    Journal articles | 2017
    Su X; Wu H; Xue J, 2017, 'An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors', ACM Trans. Embed. Comput. Syst., vol. 16, pp. 120:1 - 120:21, http://dx.doi.org/10.1145/3126524
    Journal articles | 2017
    Wang Y; Wang T; Liu D; Shao Z; Xue J, 2017, 'Fine grained, direct access file system support for storage class memory', Journal of Systems Architecture, vol. 72, pp. 80 - 92, http://dx.doi.org/10.1016/j.sysarc.2016.07.003
    Journal articles | 2017
    Zhao Y; Zhang Q; Zhao L; Gan L; Yi L; Zhao Y; Xue J; Luo L; Du Q; Geng R; Sun Z; Benkirane-Jessel N; Chen P; Li Y; Chen Y, 2017, 'Enhanced Peripheral Nerve Regeneration by a High Surface Area to Volume Ratio of Nerve Conduits Fabricated from Hydroxyethyl Cellulose/Soy Protein Composite Sponges', ACS OMEGA, vol. 2, pp. 7471 - 7481, http://dx.doi.org/10.1021/acsomega.7b01003
    Journal articles | 2016
    Chen J; Tang Y; Dong Y; Xue J; Wang Z; Zhou W, 2016, 'Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning', IEEE Transactions on Computers, vol. 65, pp. 2588 - 2602, http://dx.doi.org/10.1109/TC.2015.2493523
    Journal articles | 2016
    Liu D; Zhong K; Wang T; Wang Y; Shao Z; Sha E; Xue J, 2016, 'Durable Address Translation in PCM-based Flash Storage Systems', IEEE Transactions on Parallel and Distributed Systems, vol. 28, pp. 1 - 1, http://dx.doi.org/10.1109/TPDS.2016.2586059
    Journal articles | 2016
    Sui Y; Ye D; Su Y; Xue J, 2016, 'Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions', IEEE Transactions on Reliability, vol. PP, pp. 1 - 18, http://dx.doi.org/10.1109/TR.2016.2570538
    Journal articles | 2016
    Wang Z; Tang Y; Chen J; Xue J; Zhou Y; Dong Y, 2016, 'Energy wall for exascale supercomputing', Computing and Informatics, vol. 35, pp. 941 - 962
    Journal articles | 2016
    Zhao J; Cui H; Xue J; Feng X, 2016, 'Predicting Cross-Core Performance Interference on Multicore Processors with Regression Analysis', IEEE Transactions on Parallel and Distributed Systems, vol. 27, pp. 1443 - 1456, http://dx.doi.org/10.1109/TPDS.2015.2442983
    Journal articles | 2016
    Zhou H; Xue J, 2016, 'A compiler approach for exploiting partial SIMD parallelism', ACM Transactions on Architecture and Code Optimization, vol. 13, pp. 11:1 - 11:26, http://dx.doi.org/10.1145/2886101
    Journal articles | 2015
    Wang L; Liao XK; Xue JL; Weil S; Wen YC; Yang XJ, 2015, 'Enhancement of cooperation between file systems and applications — on VFS extensions for optimized performance', Science China Information Sciences, vol. 58, http://dx.doi.org/10.1007/s11432-014-5181-x
    Journal articles | 2014
    Liao XK; Yung CQ; Tang T; Yi HZ; Wang F; Wu Q; Xue J, 2014, 'OpenMC: Towards simplifying programming for tianhe supercomputers', Journal of Computer Science and Technology, vol. 29, pp. 532 - 546, http://dx.doi.org/10.1007/s11390-014-1447-4
    Journal articles | 2014
    Sui Y; Ye D; Xue J, 2014, 'Detecting memory leaks statically with full-sparse value-flow analysis', IEEE Transactions on Software Engineering, vol. 40, pp. 107 - 122, http://dx.doi.org/10.1109/TSE.2014.2302311
    Journal articles | 2014
    Sui Y; Ye S; Xue J; Zhang J, 2014, 'Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation', Software: Practice and Experience, vol. 44, pp. 1485 - 1510, http://dx.doi.org/10.1002/spe.2214
    Journal articles | 2014
    Wang L; Xue JL; Yang XJ, 2014, 'Acyclic orientation graph coloring for software-managed memory allocation', Science China Information Sciences, vol. 57, pp. 1 - 18, http://dx.doi.org/10.1007/s11432-014-5131-7
    Journal articles | 2013
    Li J; Xue J; Xie X; Wan Q; Tan Q; Tan L, 2013, 'Epipe: A low-cost fault-tolerance technique considering WCET constraints', Journal of Systems Architecture, vol. 59, pp. 1383 - 1393, http://dx.doi.org/10.1016/j.sysarc.2013.06.003
    Journal articles | 2013
    Yang C-Q; Wu Q; Tang T; Wang F; Xue J-L, 2013, 'Programming for scientific computing on peta-scale heterogeneous parallel systems', Journal of Central South University, vol. 20, pp. 1189 - 1203, http://dx.doi.org/10.1007/s11771-013-1602-z
    Journal articles | 2013
    Zhang X; Wu H; Xue J, 2013, 'Instruction scheduling with k-successor tree for clustered VLIW processors', Design Automation for Embedded Systems, vol. 17, pp. 439 - 458, http://dx.doi.org/10.1007/s10617-012-9103-0
    Journal articles | 2012
    Di P; Wu H; Xue J; Wang F; Yang C, 2012, 'Parallelizing SOR for GPGPUs Using Alternate Loop Tiling', Parallel Computing, vol. 38, pp. 310 - 328, http://dx.doi.org/10.1016/j.parco.2012.03.004
    Journal articles | 2012
    Liu D; Wang Y; Shao Z; Guo M; Xue J, 2012, 'Optimally Maximizing Iteration-Level Loop Parallelism', IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, vol. 23, pp. 564 - 572, http://dx.doi.org/10.1109/TPDS.2011.171
    Journal articles | 2012
    Quan A; Xue J; Wielens J; Smillie KJ; Anggono V; Parker MW; Cousin MA; Graham ME; Robinson PJ, 2012, 'Phosphorylation of syndapin I F-BAR domain at two helix-capping motifs regulates membrane tubulation', Proceedings of the National Academy of Sciences of the United States of America, vol. 109, pp. 3760 - 3765, http://dx.doi.org/10.1073/pnas.1108294109
    Journal articles | 2012
    Wang L; Xue J; Yang X, 2012, 'Optimizing modulo scheduling to achieve reuse and concurrency for stream processors', Journal of Supercomputing, vol. 59, pp. 1229 - 1251, http://dx.doi.org/10.1007/s11227-010-0522-z
    Journal articles | 2009
    Chen H; Xue J; Zhang Y; Zhu X; Gao J; Yu B, 2009, 'Comparison of quantum dots immunofluorescence histochemistry and conventional immunohistochemistry for the detection of caveolin-1 and PCNA in the lung cancer tissue microarray', JOURNAL OF MOLECULAR HISTOLOGY, vol. 40, pp. 261 - 268, http://dx.doi.org/10.1007/s10735-009-9237-y
    Journal articles | 2009
    Li L; Feng H; Xue J, 2009, 'Compiler-directed scratchpad memory management via graph coloring', ACM Transactions on Architecture and Code Optimization, vol. 6, http://dx.doi.org/10.1145/1582710.1582711
    Journal articles | 2009
    Swain MV; Xue J, 2009, 'State of the art of Micro-CT applications in dental research.', International journal of oral science, vol. 1, pp. 177 - 188, http://dx.doi.org/10.4248/IJOS09031
    Journal articles | 2008
    Scholz B; Burgstaller B; Xue J, 2008, 'Minimal placement of bank selection instructions for partitioned memory architectures', ACM Transactions on Embedded Computing Systems (TECS), vol. 7, pp. 1 - 32, http://dx.doi.org/10.1145/1331331.1331336
    Journal articles | 2007
    Vera X; Lisper B; Xue J, 2007, 'Data cache locking for tight timing calculations', ACM Transactions on Embedded Computing Systems (TECS), vol. 7, pp. 1 - 38, http://dx.doi.org/10.1145/1324969.1324973
    Journal articles | 2007
    Xue J; Nguyen PH; Potter JM, 2007, 'Interprocedural side-effect analysis for incomplete object-oriented software modules', Journal of Systems and Software, vol. 80, pp. 92 - 105, http://dx.doi.org/10.1016/j.jss.2006.06.015
    Journal articles | 2006
    Xue J; Cai Q, 2006, 'A lifetime optimal algorithm for speculative PRE', ACM Transactions on Architecture and Code Optimization, vol. 3, pp. 115 - 155, http://dx.doi.org/10.1145/1138035.1138036
    Journal articles | 2006
    Xue J; Cai Q; Lin L, 2006, 'Partial dead code elimination on predicated code regions', Journal of Systems Architecture, vol. 36, pp. 1655 - 1685, http://dx.doi.org/10.1002/spe.739
    Journal articles | 2004
    Xue J; Vera X, 2004, 'Efficient and Accurate Analytical Modeling of Whole-Program Data Cache Behaviour', IEEE Transactions on Computers, vol. 53, pp. 547 - 566, http://dx.doi.org/10.1109/TC.2004.1275296
    Journal articles | 1999
    Chen S; Xue J, 1999, 'Partitioning and Scheduling Loops on NOWs', Computer Communications, vol. 22, pp. 1017 - 1033, http://dx.doi.org/10.1016/S0140-3664(99)00073-0
  • Conference Papers | 2022
    Huang Y; Zheng L; Yao P; Wang Q; Liao X; Jin H; Xue J, 2022, 'Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures', in Proceedings - International Symposium on High-Performance Computer Architecture, pp. 1029 - 1042, http://dx.doi.org/10.1109/HPCA53966.2022.00079
    Conference Papers | 2022
    Wang Q; Zheng L; Hu A; Huang Y; Yao P; Gui C; Liao X; Jin H; Xue J, 2022, 'A Data-Centric Accelerator for High-Performance Hypergraph Processing', in Proceedings of the Annual International Symposium on Microarchitecture, MICRO, IEEE, pp. 1326 - 1341, presented at 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO), 01 October 2022 - 05 October 2022, http://dx.doi.org/10.1109/MICRO56248.2022.00088
    Conference Papers | 2022
    Wang X; Xu X; Li Q; Yuan M; Xue J, 2022, 'Recovering Container Class Types in C++ Binaries', in CGO 2022 - Proceedings of the 2022 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 131 - 143, http://dx.doi.org/10.1109/CGO53902.2022.9741274
    Conference Papers | 2022
    Yao P; Zheng L; Huang Y; Wang Q; Gui C; Zeng Z; Liao X; Jin H; Xue J, 2022, 'ScalaGraph: A Scalable Accelerator for Massively Parallel Graph Processing', in Proceedings - International Symposium on High-Performance Computer Architecture, pp. 199 - 212, http://dx.doi.org/10.1109/HPCA53966.2022.00023
    Conference Papers | 2022
    Yin J; Li M; Wu W; Sun D; Zhou J; Huo W; Xue J, 2022, 'Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis', in Proceedings - IEEE Symposium on Security and Privacy, IEEE, pp. 1623 - 1637, presented at 2022 IEEE Symposium on Security and Privacy (SP), 22 May 2022 - 26 May 2022, http://dx.doi.org/10.1109/SP46214.2022.9833723
    Conference Papers | 2021
    Chen Z; Wang C; Yan J; Sui Y; Xue J, 2021, 'Runtime detection of memory errors with smart status', in ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, pp. 296 - 308, presented at ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/3460319.3464807
    Conference Papers | 2021
    He D; Lu J; Xue J, 2021, 'Context Debloating for Object-Sensitive Pointer Analysis', in Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, pp. 79 - 91, http://dx.doi.org/10.1109/ASE51524.2021.9678880
    Conference Papers | 2021
    Li G; Xue J; Liu L; Wang X; Ma X; Dong X; Li J; Feng X, 2021, 'Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs', in CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 90 - 102, http://dx.doi.org/10.1109/CGO51591.2021.9370335
    Conference Papers | 2021
    Liu C; Lu J; Li G; Yuan T; Li L; Tan F; Yang J; You L; Xue J, 2021, 'Detecting TensorFlow Program Bugs in Real-World Industrial Environment', in Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, pp. 55 - 66, http://dx.doi.org/10.1109/ASE51524.2021.9678891
    Conference Papers | 2021
    Yuan T; Li G; Lu J; Liu C; Li L; Xue J, 2021, 'GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs', in CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 187 - 199, http://dx.doi.org/10.1109/CGO51591.2021.9370317
    Conference Papers | 2020
    Huang Y; Zheng L; Yao P; Zhao J; Liao X; Jin H; Xue J, 2020, 'A Heterogeneous PIM Hardware-Software Co-Design for Energy-Efficient Graph Processing', in Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020, pp. 684 - 695, http://dx.doi.org/10.1109/IPDPS47924.2020.00076
    Conference Papers | 2020
    Wu D; He D; Chen S; Xue J, 2020, 'Exposing android event-based races by selective branch instrumentation', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 265 - 276, http://dx.doi.org/10.1109/ISSRE5003.2020.00033
    Conference Papers | 2020
    Wu M; Liu Y; Cui H; Wei Q; Li Q; Li L; Lv F; Xue J; Feng X, 2020, 'Bandwidth-aware loop tiling for DMA-supported scratchpad memory', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 97 - 109, http://dx.doi.org/10.1145/3410463.3414637
    Conference Papers | 2020
    Xu X; Zou C; Xue J, 2020, 'Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates', in Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, pp. 196 - 207, http://dx.doi.org/10.1109/ICSME46990.2020.00028
    Conference Papers | 2020
    Yao P; Zheng L; Zeng Z; Huang Y; Gui C; Liao X; Jin H; Xue J, 2020, 'A locality-aware energy-efficient accelerator for graph mining applications', in Proceedings of the Annual International Symposium on Microarchitecture, MICRO, pp. 895 - 907, http://dx.doi.org/10.1109/MICRO50266.2020.00077
    Conference Papers | 2020
    Zheng L; Li X; Zheng Y; Huang Y; Liao X; Jin H; Xue J; Shao Z; Hua QS, 2020, 'Scaph: Scalable GPU-accelerated graph processing with value-driven differential scheduling', in Proceedings of the 2020 USENIX Annual Technical Conference, ATC 2020, pp. 573 - 588
    Conference Papers | 2020
    Zheng L; Zhao J; Huang Y; Wang Q; Zeng Z; Xue J; Liao X; Jin H, 2020, 'Spara: An Energy-Efficient ReRAM-Based Accelerator for Sparse Graph Analytics Applications', in Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020, pp. 696 - 707, http://dx.doi.org/10.1109/IPDPS47924.2020.00077
    Conference Papers | 2020
    Zou C; Xue J, 2020, 'Burn after reading: A shadow stack with microsecond-level runtime rerandomization for protecting return addresses', in Proceedings - International Conference on Software Engineering, pp. 258 - 270, http://dx.doi.org/10.1145/3377811.3380439
    Conference Papers | 2019
    Chen Z; Yan J; Kan S; Qian J; Xue J, 2019, 'Detecting memory errors at runtime with source-level instrumentation', in ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 374 - 377, http://dx.doi.org/10.1145/3293882.3330581
    Conference Papers | 2019
    He D; Li H; Wang L; Meng H; Zheng H; Liu J; Hu S; Li L; Xue J, 2019, 'Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis', in Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 267 - 279, http://dx.doi.org/10.1109/ASE.2019.00034
    Conference Papers | 2019
    Su X; Wu H; Xue J, 2019, 'WCET-aware hyper-block construction for clustered VLIW processors', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM Press, pp. 110 - 122, presented at the 20th ACM SIGPLAN/SIGBED International Conference, 23 June 2019 - 23 June 2019, http://dx.doi.org/10.1145/3316482.3326349
    Conference Papers | 2019
    Sui Y; Zhang Y; Zheng W; Zhang M; Xue J, 2019, 'Event trace reduction for effective bug replay of Android apps via differential GUI state analysis', in ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1095 - 1099, http://dx.doi.org/10.1145/3338906.3341183
    Conference Papers | 2019
    Wu D; Liu J; Sui Y; Chen S; Xue J, 2019, 'Precise static happens-before analysis for detecting UAF order violations in android', in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019, pp. 276 - 287, http://dx.doi.org/10.1109/ICST.2019.00035
    Conference Papers | 2019
    Xu X; Sui Y; Yan H; Xue J, 2019, 'VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences', in Proceedings - International Conference on Software Engineering, pp. 512 - 523, http://dx.doi.org/10.1109/ICSE.2019.00063
    Conference Papers | 2019
    Yan H; Chen S; Sui Y; Zhang Y; Zou C; Xue J, 2019, 'Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Porto, Portugal, pp. 48 - 72, presented at 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Porto, Portugal, 08 October 2019 - 11 October 2019, http://dx.doi.org/10.1007/978-3-030-32304-2_4
    Conference Papers | 2019
    Yuan Z; Xu J; Piao A; Xuey J; Huo W; Feng M; Li F; Ban G; Xiao Y; Wang S; Tang Q; Su H; Yu C, 2019, 'B2SFinder: Detecting open-source software reuse in COTS software', in Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 1038 - 1049, http://dx.doi.org/10.1109/ASE.2019.00100
    Conference Papers | 2019
    Zhu X; Feng X; Jiao T; Wen S; Xiang Y; Camtepe S; Xue J, 2019, 'A Feature-oriented corpus for understanding, evaluating and improving fuzz testing', in AsiaCCS 2019 - Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, pp. 658 - 663, http://dx.doi.org/10.1145/3321705.3329845
    Conference Papers | 2019
    Zou C; Sui Y; Yan H; Xue J, 2019, 'TCD: Statically Detecting Type Confusion Errors in C++ Programs', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 292 - 302, http://dx.doi.org/10.1109/ISSRE.2019.00037
    Conference Papers | 2018
    Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'Live path CFI against control flow hijacking attacks', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 768 - 779, http://dx.doi.org/10.1007/978-3-319-93638-3_45
    Conference Papers | 2018
    Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'POSTER: Live path control flow integrity', in Proceedings - International Conference on Software Engineering, pp. 195 - 196, http://dx.doi.org/10.1145/3183440.3195093
    Conference Papers | 2018
    He D; Zheng H; Li L; Li G; Wang L; Xue J, 2018, 'Understanding and detecting evolution-induced compatibility issues in android apps', in ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 167 - 177, http://dx.doi.org/10.1145/3238147.3238185
    Conference Papers | 2018
    Liu J; Wu D; Xue J, 2018, 'TDroid: Exposing app switching attacks in android with control flow specialization', in ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 236 - 247, http://dx.doi.org/10.1145/3238147.3238188
    Conference Papers | 2018
    Yan H; Sui Y; Chen S; Xue J, 2018, 'Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities', in Proceedings - International Conference on Software Engineering, IEEE, Gothenburg, SWEDEN, pp. 327 - 337, presented at 40th ACM/IEEE International Conference on Software Engineering (ICSE), Gothenburg, SWEDEN, 27 May 2018 - 03 June 2018, http://dx.doi.org/10.1145/3180155.3180178
    Conference Papers | 2018
    Zhang F; Xue J, 2018, 'Poker: Permutation-based simd execution of intensive tree search by path encoding', in CGO 2018 - Proceedings of the 2018 International Symposium on Code Generation and Optimization, pp. 87 - 99, http://dx.doi.org/10.1145/3168808
    Conference Papers | 2018
    Zhang Y; Sui Y; Xue J, 2018, 'Launch-Mode-Aware Context-Sensitive Activity Transition Analysis', in Proceedings - International Conference on Software Engineering, IEEE, Gothenburg, SWEDEN, pp. 598 - 608, presented at 40th ACM/IEEE International Conference on Software Engineering (ICSE), Gothenburg, SWEDEN, 27 May 2018 - 03 June 2018, http://dx.doi.org/10.1145/3180155.3180188
    Conference Papers | 2018
    Zhao J; Cui H; Zhang Y; Xue J; Feng X, 2018, 'Revisiting loop tiling for datacenters: Live and Let Live', in Proceedings of the International Conference on Supercomputing, pp. 328 - 340, http://dx.doi.org/10.1145/3205289.3205306
    Conference Papers | 2018
    Zheng L; Liao X; Jin H; He B; Xue J; Liu H, 2018, 'Towards concurrency race debugging: An integrated approach for constraint solving and dynamic slicing', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, http://dx.doi.org/10.1145/3243176.3243206
    Conference Papers | 2018
    Zhou Q; Li L; Wang L; Xue J; Feng X, 2018, 'May-happen-in-parallel analysis with static vector clocks', in CGO 2018 - Proceedings of the 2018 International Symposium on Code Generation and Optimization, pp. 228 - 240, http://dx.doi.org/10.1145/3168813
    Conference Papers | 2017
    Fan X; Sui Y; Liao X; Xue J, 2017, 'Boosting the precision of virtual call integrity protection with partial pointer analysis for C++', in ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pp. 329 - 340, presented at ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.1145/3092703.3092729
    Conference Papers | 2017
    Li L; Lu Y; Xue J, 2017, 'Dynamic symbolic execution for polymorphism', in ACM International Conference Proceeding Series, Austin, TX, USA, pp. 120 - 130, presented at CC 2017 Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, 05 February 2017 - 06 February 2017, http://dx.doi.org/10.1145/3033019.3033029
    Conference Papers | 2017
    Liu J; Li Y; Tan T; Xue J, 2017, 'Reflection Analysis for Java: Uncovering More Reflective Targets Precisely', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 12 - 23, http://dx.doi.org/10.1109/ISSRE.2017.36
    Conference Papers | 2017
    Su X; Liao X; Xue J, 2017, 'Automatic generation of fast BLAS3-GEMM: A portable compiler approach', in CGO 2017 - Proceedings of the 2017 International Symposium on Code Generation and Optimization, IEEE, Austin, Texas USA, pp. 122 - 133, presented at 2017 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Austin, Texas USA, 04 February 2017 - 08 February 2017, http://dx.doi.org/10.1109/CGO.2017.7863734
    Conference Papers | 2017
    Tan T; Li Y; Xue J, 2017, 'Efficient and precise points-to analysis: modeling the heap by merging equivalent automata', in ACM SIGPLAN Notices, pp. 278 - 291, http://dx.doi.org/10.1145/3062341.3062360
    Conference Papers | 2017
    Yan H; Sui Y; Chen S; Xue J, 2017, 'Machine-learning-guided typestate analysis for static use-After-free detection', in ACM International Conference Proceeding Series, Orlando, FL, USA, pp. 42 - 54, presented at 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, 04 December 2017 - 08 December 2017, http://dx.doi.org/10.1145/3134600.3134620
    Conference Papers | 2017
    Zhang J; Sui Y; Xue J, 2017, 'Incremental analysis for probabilistic programs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), New York, NY, USA, pp. 450 - 472, presented at 24th International Symposium, SAS 2017, New York, NY, USA, 30 August 2017 - 01 September 2017, http://dx.doi.org/10.1007/978-3-319-66706-5_22
    Conference Papers | 2017
    Zhang Y; Tan T; Li Y; Xue J, 2017, 'Ripple: Reflection analysis for android apps in incomplete information environments', in CODASPY 2017 - Proceedings of the 7th ACM Conference on Data and Application Security and Privacy, Scottsdale, Arizona, USA, pp. 281 - 288, presented at Seventh ACM on Conference on Data and Application Security and Privacy, Scottsdale, Arizona, USA, 22 March 2017 - 24 March 2017, http://dx.doi.org/10.1145/3029806.3029814
    Conference Papers | 2016
    Sui Y; Di P; Xue J, 2016, 'Sparse flow-sensitive pointer analysis for multithreaded programs', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, ASSOC COMPUTING MACHINERY, Barcelona, SPAIN, pp. 160 - 170, presented at 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854043
    Conference Papers | 2016
    Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-Oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Santa Barbara, CA, USA, pp. 41 - 51, presented at 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, Santa Barbara, CA, USA, 13 June 2016 - 14 June 2016, http://dx.doi.org/10.1145/2907950.2907957
    Conference Papers | 2016
    Sui Y; Lu J; Xue J, 2016, 'On-demand Strong Update Analysis via value-flow Refinement', in International symposium on the foundations of software engineering, IEEE, Seattle, pp. 460 - 473, presented at FSE'16, Seattle, 13 November 2016 - 18 November 2016, http://dx.doi.org/10.1145/2950290.2950296
    Conference Papers | 2016
    Sui Y; Xue J, 2016, 'SVF: Interprocedural static value-flow analysis in LLVM', in Proceedings of CC 2016: The 25th International Conference on Compiler Construction, Barcelona, Spain, pp. 265 - 266, presented at 25th International Conference on Compiler Construction, Barcelona, Spain, 17 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2892208.2892235
    Conference Papers | 2016
    Tan T; Li Y; Xue J, 2016, 'Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting', in 23rd Static Analysis Symposium, Edinburgh, pp. 489 - 510, presented at SAS'16, Edinburgh, 08 September 2016 - 10 September 2016, http://dx.doi.org/10.1007/978-3-662-53413-7_24
    Conference Papers | 2016
    Xu J; Meng X; Tan Q; Xue J, 2016, 'Masking soft errors with static bitwise analysis', in Proceedings - Asia-Pacific Software Engineering Conference, APSEC, Hamilton, New Zealand, pp. 281 - 288, presented at 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), Hamilton, New Zealand, 06 December 2016 - 09 December 2016, http://dx.doi.org/10.1109/APSEC.2016.047
    Conference Papers | 2016
    Xue J; Yan C; Chen C; Tang T; Chen X; Fang J, 2016, 'An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems', in Parallel and Distributed Systems (ICPADS), 2016 IEEE 22nd International Conference on, IEEE, Wuhan, pp. 971 - 979, presented at Parallel and Distributed Systems (ICPADS), 2016 IEEE 22nd International Conference on, Wuhan, 13 December 2016 - 16 December 2016, http://dx.doi.org/10.1109/ICPADS.2016.0130
    Conference Papers | 2016
    Yan H; Sui Y; Chen S; Xue J, 2016, 'Automated memory leak fixing on value-flow slices for C programs', in Proceedings of the ACM Symposium on Applied Computing, New York, NY, USA, pp. 1386 - 1393, presented at 31st Annual ACM Symposium on Applied Computing, New York, NY, USA, 04 April 2016 - 08 April 2016, http://dx.doi.org/10.1145/2851613.2851773
    Conference Papers | 2016
    Zhang F; Di P; Liao XK; Xue J, 2016, 'REGTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities', in Proceedings of the International Conference on Parallel Processing, Philadephia, pp. 562 - 571, presented at International Conference on Parallel Processing, Philadephia, 16 August 2016 - 19 August 2016, http://dx.doi.org/10.1109/ICPP.2016.71
    Conference Papers | 2016
    Zhou H; Xue JL, 2016, 'Exploiting Mixed SIMD Parallelism by Reducing Data Reorganization Overhead', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, Barcelona, Spain, pp. 59 - 69, presented at International symposium on code generation and optimization, Barcelona, Spain, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854054
    Conference Papers | 2015
    Di P; Sui Y; Ye D; Xue J, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', in Proceedings of the International Conference on Parallel Processing, Beijing China, pp. 889 - 898, presented at 2015 44th International Conference on on Parallel Processing (ICPP), Beijing China, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.98
    Conference Papers | 2015
    He W; Cui H; Lu B; Zhao J; Li S; Ruan G; Xue J; Feng X; Yang W; Yan Y, 2015, 'Hadoop+: Modeling and evaluating the heterogeneity for MapReduce applications in heterogeneous clusters', in Proceedings of the International Conference on Supercomputing, pp. 143 - 153, http://dx.doi.org/10.1145/2751205.2751236
    Conference Papers | 2015
    Wang F; Jiang H; Zhuo K; Xue J; Yang C, 2015, 'Design and Implementation of a Highly Efficient DGEMM for 64-bit ARMv8 Multi-Core Processors', in 2015 International Conference on Parallel Processing, Beijing, pp. 200 - 209, presented at 2015 International Conference on Parallel Processing, Beijing, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.29
    Conference Papers | 2015
    Xue J; Fan X; Sui Y, 2015, 'Contention-Aware Scheduling for Asymmetric Multicore Processors.', in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Melbourne, pp. 742 - 751, presented at 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Melbourne, 14 December 2015 - 17 December 2015, http://dx.doi.org/10.1109/ICPADS.2015.98
    Conference Papers | 2014
    Cui H; Ruan G; Xue J; Xie R; Wang L; Feng X, 2014, 'A collaborative divide-and-conquer k-means clustering algorithm for processing large data', in Proceedings of the 11th ACM Conference on Computing Frontiers, CF 2014, http://dx.doi.org/10.1145/2597917.2597918
    Conference Papers | 2014
    Li Y; Tan T; Sui Y; Xue J, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at 8th European Conference on Object-Oriented Programming (ECOOP'14), UppSala, 28 July 2014 - 01 August 2014, http://dx.doi.org/10.1007/978-3-662-44202-9_2
    Conference Papers | 2014
    Su Y; Ye D; Xue J, 2014, 'Parallel pointer analysis with CFL-reachability', in Proceedings of the International Conference on Parallel Processing, Minneapolis, pp. 451 - 460, presented at International Conference on Parallel Processing, Minneapolis, 09 September 2014 - 12 September 2014, http://dx.doi.org/10.1109/ICPP.2014.54
    Conference Papers | 2014
    Ye D; Su Y; Sui Y; Xue J, 2014, 'WPBOUND: Enforcing spatial memory safety efficiently at runtime with weakest preconditions', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 88 - 99, http://dx.doi.org/10.1109/ISSRE.2014.20
    Conference Papers | 2014
    Ye S; Sui Y; Xue J, 2014, 'Region-Based Selective Flow-Sensitive Pointer Analysis', in Müller-Olm M; Seidl H (ed.), 21st International Symposium on static Analysis, LNCS, Munich, Germany, pp. 319 - 336, presented at 21st International Symposium on static Analysis, Munich, Germany, 11 September 2014 - 13 September 2014
    Conference Papers | 2014
    Zhang X; Wu H; Sun H; Xue J, 2014, 'Lifetime holes aware register allocation for clustered VLIW processors', in Proceedings -Design, Automation and Test in Europe, DATE, Dresden, pp. 90:1 - 90:4, presented at International Conference on Design, Automation and Test in Europe, Dresden, 24 March 2014 - 28 March 2014, http://dx.doi.org/10.7873/DATE2014.103
    Conference Papers | 2013
    Li Y; Sui Y; Xue J, 2013, 'Query-directed adaptive heap cloning for optimizing compilers', in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, presented at 11th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, 23 February 2013 - 27 February 2013, http://dx.doi.org/10.1109/CGO.2013.6494978
    Conference Papers | 2013
    Su Y; Ye D; Xue J, 2013, 'Accelerating Inclusion-based Pointer Analysis on Heterogeneous CPU-GPU Systems', in 20th Annual International Conference on High Performance Computing, HiPC 2013, Bengaluru (Bangalore), India, pp. 149 - 158, presented at IEEE International Conference on High Performance Computing (HiPC’13), Bengaluru (Bangalore), India, 18 December 2013 - 21 December 2013, http://dx.doi.org/10.1109/HiPC.2013.6799110
    Conference Papers | 2012
    Shang L; Xie X; Xue J, 2012, 'On-demand dynamic summary-based points-to analysis', in Proceedings - International Symposium on Code Generation and Optimization, CGO 2012, ACM, New York, NY, USA, pp. 264 - 274, presented at 10th International Symposium on Code Generation and Optimization, CGO, San Jose, CA, 31 March 2012 - 04 April 2012, http://dx.doi.org/10.1145/2259016.2259050
    Conference Papers | 2012
    Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings, Minneapolis, MN, pp. 254 - 264, presented at 21st International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/04000800.2336784
    Conference Papers | 2012
    Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in Proceedings of the 2012 International Symposium on Software Testing and Analysis, ACM, presented at ISSTA '12: International Symposium on Software Testing and Analysis, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/2338965.2336784
    Conference Papers | 2012
    Wan Q; Wu H; Xue J, 2012, 'WCET-Aware Data Selection and Allocation for Scratchpad Memory', in Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, ASSOC COMPUTING MACHINERY, Beijing, pp. 41 - 50, presented at LCTES'12, Beijing, 12 June 2012 - 13 June 2012, http://dx.doi.org/10.1145/2345141.2248425
    Conference Papers | 2011
    Cui H; Xue J; Wang L; Yang Y; Feng X-B; Fan D, 2011, 'Extendable pattern-oriented optimization directives', in Proceedings - International Symposium on Code Generation and Optimization, CGO 2011, IEEE Computer Society, Piscataway, NJ, United States, pp. 107 - 118, presented at 9th International Symposium on Code Generation and Optimization, CGO 2011, Chamonix, France, 02 April 2011 - 06 April 2011, http://dx.doi.org/10.1109/CGO.2011.5764679
    Conference Papers | 2011
    Mahmud S; Wu H; Xue J, 2011, 'Efficient energy balancing aware multiple base station deployment for WSNs', in Wireless Sensor Networks - 8th European Conference, EWSN 2011, Proceedings, Springer Verlag, Heidelberg, Germany, pp. 179 - 194, presented at 8th European Conference on Wireless Sensor Networks, EWSN 2011, Bonn, Germany, 23 February 2011 - 25 February 2011, http://dx.doi.org/10.1007/978-3-642-19186-2_12
    Conference Papers | 2010
    Liu D; Shao Z; Wang M; Guo M; Xue J, 2010, 'Optimal Loop Parallelization for Maximizing Iteration-Level Parallelism', in International Conference on Compilers, Architecture and Synthesis for Embedded Systems archive Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems, ACM, 2009, pp. 67 - 76, presented at International Conferences on Compilers, Architectures, and Synthesis for Embedded Systems, Scottsdale, AZ, 24 October 2010 - 29 October 2010, http://dx.doi.org/10.1145/1629395.1629407
    Conference Proceedings (Editor of) | 2009
    2009, 'Message from the EPS 2009 symposium chairs', Vol. 2, http://dx.doi.org/10.1109/CSE.2009.522
    Conference Papers | 2009
    Yang X; Wang L; Xue J; Deng Y; Zhang Y, 2009, 'Comparability graph coloring for optimizing utilization of stream register files in stream processors', in Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 14th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming (PPoPP'09), Raleigh, pp. 111 - 120, presented at 14th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming (PPoPP'09), Raleigh, 14 February 2009 - 18 February 2009, http://dx.doi.org/10.1145/1504176.1504195
    Conference Papers | 2008
    Ku AK; Kuo JY; Xue J, 2008, 'Hardware support for efficient sparse matrix vector multiplication', in 2008 IEEE/IFIP international conference on embedded and ubiquitous computing, Proceedings, Shanghai, China, pp. 37 - 43, presented at 2008 IEEE/IFIP international conference on embedded and ubiquitous computing, Shanghai, China, 17 December 2008 - 20 December 2008, http://dx.doi.org/10.1109/EUC.2008.154
    Conference Papers | 2008
    Kuo JY; Ku AK; Xue J; Diessel OF; Malik U, 2008, 'ACS: an addressless configuration support for efficient partial reconfigurations', in International conference on field-programmable technology, Proceedings, Taipei, Taiwan, pp. 161 - 168, presented at International conference on field-programmable technology, Taipei, Taiwan, 07 December 2008 - 10 December 2008, http://dx.doi.org/10.1109/FPT.2008.4762379
    Conference Papers | 2008
    Lin L; Nguyen QH; Li L; Xue J, 2008, 'Thread sensitive module scheduling for multicore processors', in 37th international conference on parallel processing, Portland, Oregon, USA, pp. 132 - 140, presented at 37th international conference on parallel processing, Portland, Oregon, USA, 09 September 2008 - 12 September 2008, http://dx.doi.org/10.1109/ICPP.2008.46
    Conference Papers | 2008
    Wang L; Yang X; Xue J; Deng Y; Yan X; Tang T; Nguyen QH, 2008, 'Optimizing scientific application loops on stream processors', in ACM SIGPLAN Notices, pp. 161 - 170, http://dx.doi.org/10.1145/1379023.1375679
    Conference Papers | 2008
    Yang X; Zhang Y; Xue J; Rogers I; Li G; Wang G, 2008, 'Exploiting loop-dependent stream reuse for stream processors', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 22 - 31, http://dx.doi.org/10.1145/1454115.1454121
    Conference Papers | 2007
    Gao L; Li L; Xue J; Ngai T, 2007, 'Loop recreation for thread-level speculation', in 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, presented at 13th International Conference on Parallel and Distributed Systems (ICPADS 2007), Hsinchu, Taiwan, 05 December 2007 - 07 December 2007, http://dx.doi.org/10.1109/ICPADS.2007.4447713
    Conference Papers | 2007
    Li L; Nguyen QH; Xue J, 2007, 'Scratchpad allocation for data aggregates in superperfect graphs', in 2007 ACM conference on languages, compilers and tools for embedded systems, San Diego, Californa, USA, pp. 207 - 216, presented at ACM conference on languages, compilers and tools for embedded systems 2007, San Diego, Californa, USA, 13 June 2007 - 15 June 2007, http://dx.doi.org/10.1145/1254766.1254805
    Conference Papers | 2006
    Xue J; Knoop J, 2006, 'A fresh look at PRE as a maximum flow problem', in 15th international conference on compiler construction, Vienna, Austria, pp. 139 - 154, presented at 15th international conference on compiler construction, Vienna, Austria, 30 March 2006 - 31 March 2006, http://dx.doi.org/10.1007/11688839_13
    Conference Papers | 2005
    Li L; Gao L; Xue J, 2005, 'Memory coloring: a compiler approach for scratchpad memory management', in 1th International conference on parallel architectures and compilation, Saint Louis, Missouri, USA, pp. 329 - 338, presented at 1th International conference on parallel architectures and compilation, Saint Louis, Missouri, USA, 17 September 2005 - 21 September 2005, http://dx.doi.org/10.1109/PACT.2005.27
    Conference Papers | 2005
    Xue J; Huang Q; Guo M, 2005, 'Enabling loop fusion and tiling for cache performance by fixing fusion-preventing data dependencies', in 2005 international conference on parallel processing, Oslo, Norway, pp. 107 - 115, presented at international conference on parallel processing 2005, Oslo, Norway, 14 June 2005 - 17 June 2005, http://dx.doi.org/10.1109/ICPP.2005.37
    Conference Papers | 2005
    Xue J; Nguyen PH, 2005, 'Completeness analysis for incomplete object-oriented programs', in 2005 international conference on compiler construction, Edinburgh, Scotland, pp. 271 - 286, presented at international conference on compiler construction 2005, Edinburgh, Scotland, 04 April 2005 - 08 April 2005
    Conference Papers | 2005
    Yang X; Xue J; Yang C, 2005, 'Improving the performance of GCC by exploiting IA-64 architectural features', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, pp. 236 - 251, presented at 10th Asia-Pacific conference on computer systems architecture, Singapore, 24 October 2005 - 26 October 2005
    Conference Papers | 2004
    Cai Q; Gao L; Xue J, 2004, 'Region-Based Partial Dead Code Elimination on Predicated Code', in 13th International Conference on Compiler Construction, Barcelona, Spain, pp. 150 - 166, presented at 13th International Conference on Compiler Construction, Barcelona, Spain, 29 March 2004 - 02 April 2004
    Conference Papers | 2003
    Cai Q; Xue J, 2003, 'Optimal and Efficient Speculation-Based Partial Redundancy Elimination', in International Symposium on Code Generation and Optimization (CGO 2003), San Francisco, California USA, pp. 91 - 102, presented at International Symposium on Code Generation and Optimization (CGO`03), San Francisco, California USA, 23 March 2003 - 26 March 2003, http://dx.doi.org/10.1109/CGO.2003.1191536
    Conference Papers | 2003
    Huang Q; Xue J; Vera X, 2003, 'Code Tiling For Improving the Cache Performance of PDE Solvers', in 2003 International Conference on Parallel Processing, Taiwan, pp. 615 - 624, presented at International Conference on Parallel Processing 2003, Taiwan, 06 October 2003 - 09 October 2003, http://dx.doi.org/10.1109/ICPP.2003.1240630
    Conference Papers | 2003
    Vera X; Lisper B; Xue J, 2003, 'Data cache locking for higher program predictability', in 2003 Joint International Conference on Measurement and Modeling of Computer Systems, San Diego, Californa, USA, pp. 272 - 282, presented at Joint International Conference on Measurement and Modeling of Computer Systems 2003, San Diego, Californa, USA, 11 June 2003 - 14 June 2003, http://dx.doi.org/10.1145/885651.781062
    Conference Papers | 2003
    Vera X; Lisper B; Xue J, 2003, 'Data cache locking for higher program predictability', in Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, ACM, presented at SIGMETRICS03: International Conference on Measurement and Modeling of Computer Systems, 11 June 2003 - 14 June 2003, http://dx.doi.org/10.1145/781027.781062
    Conference Papers | 2003
    Vera X; Lisper B; Xue J, 2003, 'Data caches in mutitasking hard real-time systems', in 24th IEEE International Real-Time Systems Symposium, Cancun, Mexico, pp. 154 - 165, presented at 24th IEEE International Real-Time Systems Symposium, Cancun, Mexico, 03 December 2003 - 05 December 2003
    Conference Papers | 2002
    Xue J, 2002, 'Efficient Compile-Time Analysis of Cache Behaviour for Programs with IF Statements', in 5th International Conference on Algorithms and Architectures for Parallel Processing, Beijing, China, pp. 396 - 407, presented at 5th International Conference on Algorithms and Architectures for Parallel Processing, Beijing, China, 23 October 2002 - 25 October 2002, http://dx.doi.org/10.1109/ICAPP.2002.1173608

  1. J. Xue. Event Interleaving Analysis for 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.

  • 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

  • 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