By Scientia Professor Jingling Xue

Conference Papers

Liu Y; Lai J; Li L; Sui T; Xiao L; Yuan P; Zhang X; Zhu Q; Chen W; Xue J, 2025, 'ReSBM: Region-based Scale and Minimal-Level Bootstrapping Management for FHE via Min-Cut', in Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, ACM, pp. 924 - 939, presented at ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, http://dx.doi.org/10.1145/3669940.3707276

Wang M; Xue J; Huang L; Zi Y; Wei T, 2025, 'UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 307 - 324, http://dx.doi.org/10.1007/978-3-031-71177-0_19

Li L; Lai J; Yuan P; Sui T; Liu Y; Zhu Q; Zhang X; Xiao L; Chen W; Xue J, 2025, 'ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference', in Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, ACM, pp. 193 - 208, presented at CGO '25: 23rd ACM/IEEE International Symposium on Code Generation and Optimization, http://dx.doi.org/10.1145/3696443.3708924

Zhang Z; Liu Y; Zhang Y; Chen Z; Zhao J; Feng X; Cui H; Xue J, 2025, 'Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption Programs', in Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, ACM, pp. 523 - 537, presented at CGO '25: 23rd ACM/IEEE International Symposium on Code Generation and Optimization, http://dx.doi.org/10.1145/3696443.3708917

Li W; He D; Chen W; Xue J, 2025, 'Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis', in Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, ACM, pp. 331 - 346, presented at CGO '25: 23rd ACM/IEEE International Symposium on Code Generation and Optimization, http://dx.doi.org/10.1145/3696443.3708921

Zhong M; Lv F; Wang L; Qiu L; Wang Y; Liu Y; Cui H; Feng X; Xue J, 2025, 'VEGA: Automatically Generating Compiler Backends using a Pre-trained Transformer Model', in Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, ACM, pp. 90 - 106, presented at CGO '25: 23rd ACM/IEEE International Symposium on Code Generation and Optimization, http://dx.doi.org/10.1145/3696443.3708931

He D; Lu J; Xue J, 2024, 'A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2024.18

Yu F; Li G; Zhao J; Cui H; Feng X; Xue J, 2024, 'Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp. 797 - 812, http://dx.doi.org/10.1145/3620665.3640390

Li W; He D; Gui Y; Chen W; Xue J, 2024, 'A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction', in CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, pp. 60 - 72, http://dx.doi.org/10.1145/3640537.3641574

Wang Q; Zheng L; An Z; Xiong S; Wang R; Huang Y; Yao P; Liao X; Jin H; Xue J, 2024, 'A Scalable, Efficient, and Robust Dynamic Memory Management Library for HLS-based FPGAs', in Proceedings of the Annual International Symposium on Microarchitecture, MICRO, pp. 437 - 450, http://dx.doi.org/10.1109/MICRO61859.2024.00040

Liu H; Zheng L; Huang Y; Zhou J; Liu C; Wang R; Liaot X; Jinf H; Xue J, 2024, 'Enabling Efficient Large Recommendation Model Training with Near CXL Memory Processing', in Proceedings - International Symposium on Computer Architecture, pp. 382 - 395, http://dx.doi.org/10.1109/ISCA59077.2024.00036

Peng Y; Xie J; Yang Q; Guo H; Li Q; Xue J; Yuan M, 2023, 'Statistical Type Inference for Incomplete Programs', in ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 720 - 732, http://dx.doi.org/10.1145/3611643.3616283

Liu J; Liu J; Di P; Wu D; Zheng H; Liu AX; Xue J, 2023, 'Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis', in ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 114 - 126, http://dx.doi.org/10.1145/3597926.3598042

He D; Gui Y; Gao Y; Xue J, 2023, 'Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection', in ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 101 - 113, http://dx.doi.org/10.1145/3597926.3598041

Liu H; Zheng L; Liao X; Huang Y; Liu C; Jin H; Ye X; Yuan J; Xue J, 2023, 'Accelerating Personalized Recommendation with Cross-level Near-Memory Processing', in Proceedings - International Symposium on Computer Architecture, pp. 924 - 936, http://dx.doi.org/10.1145/3579371.3589101

Zhang Z; Ou Y; Liu Y; Wang C; Zhou Y; Wang X; Zhang Y; Ouyang Y; Shan J; Wang Y; Xue J; Cui H; Feng X, 2023, 'Occamy: Elastically Sharing a SIMD Co-processor across Multiple CPU Cores', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp. 483 - 497, http://dx.doi.org/10.1145/3582016.3582046

Zheng L; Ye X; Liu H; Wang Q; Huang Y; Gui C; Yao P; Liao X; Jin H; Xue J, 2023, 'AFaVS: Accurate Yet Fast Version Switching for Graph Processing Systems', in Proceedings - International Conference on Data Engineering, pp. 53 - 66, http://dx.doi.org/10.1109/ICDE55515.2023.00012

Lu J; He D; Li W; Gao Y; Xue J, 2023, 'Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis', in Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 736 - 747, http://dx.doi.org/10.1109/ASE56229.2023.00039

Gui Y; He D; Xue J, 2023, 'Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows', in Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 319 - 331, http://dx.doi.org/10.1109/ASE56229.2023.00027

Yin J; Li M; Li Y; Yu Y; Lin B; Zou Y; Liu Y; Huo W; Xue J, 2023, 'RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing', in Proceedings - IEEE Symposium on Security and Privacy, pp. 2155 - 2169, http://dx.doi.org/10.1109/SP46215.2023.10179421

Shi C; Li H; Sui Y; Lu J; Li L; Xue J, 2023, 'Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis', in Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 624 - 636, http://dx.doi.org/10.1109/ASE56229.2023.00118

He D; Lu J; Xue J, 2022, 'Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2022.30

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 43RD IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2022), IEEE COMPUTER SOC, CA, San Francisco, pp. 1623 - 1637, presented at 43rd IEEE Symposium on Security and Privacy (SP), CA, San Francisco, 23 May 2022 - 26 May 2022, http://dx.doi.org/10.1109/SP46214.2022.00141

Chen Z; Wu J; Zhang Q; Xue J, 2022, 'A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation', in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022), IEEE COMPUTER SOC, PA, Pittsburgh, pp. 6 - 10, presented at 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), PA, Pittsburgh, 22 May 2022 - 27 May 2022, http://dx.doi.org/10.1145/3510454.3516872

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, Institute of Electrical and Electronics Engineers (IEEE), pp. 131 - 143, presented at 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 02 April 2022 - 06 April 2022, http://dx.doi.org/10.1109/CGO53902.2022.9741274

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, pp. 1326 - 1341, http://dx.doi.org/10.1109/MICRO56248.2022.00088

Chen Z; Wu J; Zhang Q; Xue J, 2022, 'A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation', in Proceedings - International Conference on Software Engineering, pp. 6 - 10, http://dx.doi.org/10.1109/ICSE-Companion55297.2022.9793834

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

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, pp. 1623 - 1637, http://dx.doi.org/10.1109/SP46214.2022.9833723

Xu X; Wang X; Xue J, 2022, 'M3V: Multi-modal Multi-view Context Embedding for Repair Operator Prediction', in CGO 2022 - Proceedings of the 2022 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 266 - 277, http://dx.doi.org/10.1109/CGO53902.2022.9741261

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

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, pp. 296 - 308, http://dx.doi.org/10.1145/3460319.3464807

He D; Lu J; Gao Y; Xue J, 2021, 'Accelerating object-sensitive pointer analysis by exploiting object containment and reachability', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2021.16

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

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

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

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

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

Liu J; He D; Wu D; Xue J, 2020, 'Correlating ui contexts with sensitive api calls: Dynamic semantic extraction and analysis', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 241 - 252, http://dx.doi.org/10.1109/ISSRE5003.2020.00031

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

Li W; Wu L; Yuan M; Xue CJ; Xue J; Li Q, 2020, 'Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory', in Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors, pp. 581 - 588, http://dx.doi.org/10.1109/ICCD50377.2020.00102

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

Yu F; Zhao J; Cui H; Feng X; Xue J, 2020, 'VTensor: Using virtual tensors to build a layout-oblivious AI programming framework', in Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 345 - 346, http://dx.doi.org/10.1145/3410463.3414664

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, Institute of Electrical and Electronics Engineers (IEEE), ELECTR NETWORK, pp. 196 - 207, presented at 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), ELECTR NETWORK, 27 September 2020 - 03 October 2020, http://dx.doi.org/10.1109/ICSME46990.2020.00028

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, Association for Computing Machinery (ACM), ELECTR NETWORK, pp. 258 - 270, presented at Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, ELECTR NETWORK, 27 June 2020 - 19 July 2020, http://dx.doi.org/10.1145/3377811.3380439

Xue J; Jung C, 2020, 'Message from the Chairs', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. III

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

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

Lv F; Li H; Wang L; Liu Y; Cui H; Xue J; Feng X, 2020, 'Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers', in SANER 2020 - Proceedings of the 2020 IEEE 27th International Conference on Software Analysis, Evolution, and Reengineering, pp. 1 - 12, http://dx.doi.org/10.1109/SANER48275.2020.9054849

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

Back to profile page