By Scientia Professor Jingling Xue

Conference Papers

Chen W; Li W; Xue J, 2026, 'Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2026.1

Gui Y; Tao Y; Xue J, 2026, 'Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2026.10

Zhang Y; Huang Y; Liu C; Liu H; Chen J; Yuan J; Yue J; Liao X; Jin H; Xue J, 2026, 'Gopher: Efficient Dynamic Graph Pattern Mining via DAG-Driven Execution', in Eurosys 2026 Proceedings of the 2026 European Conference on Computer Systems, pp. 1722 - 1737, http://dx.doi.org/10.1145/3767295.3769365

Wang R; Wang Q; Liu H; Zheng L; Liao X; Jin H; Xue J, 2026, 'Adaptive Draft Sequence Length: Enhancing Speculative Decoding Throughput on PIM-Enabled Systems', in Proceedings International Symposium on High Performance Computer Architecture, http://dx.doi.org/10.1109/HPCA68181.2026.11408598

Zhou J; Huang Y; Zheng L; Wu Y; Li H; Zhou AC; Liao X; Jin H; Xue J, 2026, 'ATLAS: Efficient Dynamic GNN System Through Abstraction-Driven Incremental Execution', in Lecture Notes in Computer Science, pp. 17 - 33, http://dx.doi.org/10.1007/978-981-95-1021-4_2

Liu P; Di P; Xue J; Jiang Y, 2026, 'BIT: Empowering Binary Analysis through the LLVM Toolchain', in Cgo 2026 Proceedings of the 2026 IEEE ACM International Symposium on Code Generation and Optimization, pp. 390 - 402, http://dx.doi.org/10.1109/CGO68049.2026.11395235

Li R; Zheng L; Huang Y; Shao Z; Zhou AC; Liao X; Jin H; Xue J, 2026, 'CeDMA: Enhancing Memory Efficiency of Heterogeneous Accelerator Systems Through Central DMA Controlling', in Lecture Notes in Computer Science, pp. 129 - 144, http://dx.doi.org/10.1007/978-981-95-1021-4_10

Qian H; Li G; Yu Q; Wang X; Xue J, 2026, 'DyPARS: Dynamic-Shape DNN Optimization via Pareto-Aware MCTS for Graph Variants', in Cgo 2026 Proceedings of the 2026 IEEE ACM International Symposium on Code Generation and Optimization, pp. 603 - 616, http://dx.doi.org/10.1109/CGO68049.2026.11395218

Sui T; Lai J; Li L; Yuan P; Liu Y; Zhu Q; Zhang X; Xiao L; Zhang M; Xue J, 2026, 'FHEFusion: Enabling Operator Fusion in FHE Compilers for Depth-Efficient DNN Inference', in Cgo 2026 Proceedings of the 2026 IEEE ACM International Symposium on Code Generation and Optimization, pp. 70 - 83, http://dx.doi.org/10.1109/CGO68049.2026.11395213

Liu C; Huang Y; Liu H; Zhang Y; Qiu Q; Li X; Zheng L; Liao X; Jin H; Xue J, 2026, 'Meridian: In-Memory Acceleration for RAG with Document Attention Decomposition', in Proceedings International Symposium on Computer Architecture, pp. 387 - 401, http://dx.doi.org/10.1109/ISCA66397.2026.00041

Mu Y; Li G; Chen S; Xue J, 2026, 'PriTran: Privacy-Preserving Inference for Transformer-Based Language Models under Fully Homomorphic Encryption', in Cgo 2026 Proceedings of the 2026 IEEE ACM International Symposium on Code Generation and Optimization, pp. 57 - 69, http://dx.doi.org/10.1109/CGO68049.2026.11395232

Luo F; Li G; Hao Z; Wang X; Feng X; Cui H; Xue J, 2026, 'Progressive Low-Precision Approximation of Tensor Operators on GPUs: Enabling Greater Trade-Offs between Performance and Accuracy', in Cgo 2026 Proceedings of the 2026 IEEE ACM International Symposium on Code Generation and Optimization, pp. 670 - 682, http://dx.doi.org/10.1109/CGO68049.2026.11395227

Tong B; Fang Y; Wang C; Li Q; Xue J; Yuan M, 2026, 'Pyls: Enabling Python Hardware Synthesis with Dynamic Polymorphism via LCRS Encoding', in Cgo 2026 Proceedings of the 2026 IEEE ACM International Symposium on Code Generation and Optimization, pp. 123 - 135, http://dx.doi.org/10.1109/CGO68049.2026.11394843

Chen A; Li G; Yu F; Wang X; Zhao J; Cui H; Feng X; Xue J, 2026, 'TopServe: Task-Operator Co-scheduling for Efficient Multi-DNN Inference Serving on GPUs', in Lecture Notes in Computer Science, pp. 292 - 305, http://dx.doi.org/10.1007/978-3-031-99857-7_21

Tao Y; Xue J, 2025, 'Accelerating Delta Debugging through Probabilistic Monotonicity Assessment', in Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering Ease 2025 Edition Ease 2025, pp. 12 - 22, http://dx.doi.org/10.1145/3756681.3756940

Li K; Huang W; Wang Q; Zheng L; Liao X; Jin H; Xue J, 2025, 'Diff-MoE: Efficient Batched MoE Inference with Priority-Driven Differential Expert Caching', in Proceedings of the International Conference for High Performance Computing Networking Storage and Analysis Sc 2025, pp. 1951 - 1965, http://dx.doi.org/10.1145/3712285.3759903

Ouyang Y; Chen X; Liu Y; Chen X; Shang H; Chen Z; Lin R; Gao X; Wang L; Li F; Shan J; Song H; Cui H; Feng X; Xue J, 2025, 'TENSORMD: Accelerating Molecular Dynamics with a High-Performance Machine Learning Interatomic Potential', in Proceedings of the International Conference for High Performance Computing Networking Storage and Analysis Sc 2025, pp. 1631 - 1645, http://dx.doi.org/10.1145/3712285.3759844

He H; Liu H; Zheng L; Huang Y; Shen X; Huang W; Cao C; Liao X; Jin H; Xue J, 2025, 'MetaHG: Enhancing HGNN Systems Leveraging Advanced Metapath Graph Abstraction', in Eurosys 2025 Proceedings of the 2025 20th European Conference on Computer Systems, pp. 492 - 506, http://dx.doi.org/10.1145/3689031.3717492

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 International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS, pp. 924 - 939, http://dx.doi.org/10.1145/3669940.3707276

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 Cgo 2025 Proceedings of the 23rd ACM IEEE International Symposium on Code Generation and Optimization, pp. 193 - 208, 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 Cgo 2025 Proceedings of the 23rd ACM IEEE International Symposium on Code Generation and Optimization, pp. 523 - 537, 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 Cgo 2025 Proceedings of the 23rd ACM IEEE International Symposium on Code Generation and Optimization, pp. 331 - 346, 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 Cgo 2025 Proceedings of the 23rd ACM IEEE International Symposium on Code Generation and Optimization, pp. 90 - 106, http://dx.doi.org/10.1145/3696443.3708931

Zhao W; Yao P; Chen D; Zheng L; Liao X; Wang Q; Ma S; Li Y; Liu H; Xiao W; Sun Y; Zhu B; Jin H; Xue J, 2025, 'MeHyper: Accelerating Hypergraph Neural Networks by Exploring Implicit Dataflows', in Proceedings International Symposium on High Performance Computer Architecture, pp. 920 - 933, http://dx.doi.org/10.1109/HPCA61900.2025.00073

Mao Z; Ma X; Huang L; Yang H; Zhang W; Sun W; Wang Y; Xue J; Wang J, 2025, 'Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification', in Proceedings 2025 40th IEEE ACM International Conference on Automated Software Engineering Ase 2025, pp. 3684 - 3694, http://dx.doi.org/10.1109/ASE63991.2025.00305

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

Song W; Sui Y; Xing Z; Zhu L; Xue J, 2025, 'ViDToken: A Video-Transformer-Based Latent Token Defense for Adversarial Video Detection', in Proceedings 28th International Symposium on Research in Attacks Intrusions and Defenses Raid 2025, pp. 566 - 582, http://dx.doi.org/10.1109/RAID67961.2025.00012

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

Song W; Cong C; Zhong H; Xue J, 2024, 'Correction-based Defense Against Adversarial Video Attacks via Discretization-Enhanced Video Compressive Sensing', in Proceedings of the 33rd Usenix Security Symposium, pp. 3603 - 3620

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

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, Institute of Electrical and Electronics Engineers (IEEE), LUXEMBOURG, Echternach, pp. 736 - 747, presented at 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), LUXEMBOURG, Echternach, 11 September 2023 - 15 September 2023, 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, Institute of Electrical and Electronics Engineers (IEEE), LUXEMBOURG, Echternach, pp. 319 - 331, presented at 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), LUXEMBOURG, Echternach, 11 September 2023 - 15 September 2023, http://dx.doi.org/10.1109/ASE56229.2023.00027

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 Just R; Fraser G (ed.), Issta 2023 Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Association for Computing Machinery (ACM), WA, Seattle, pp. 101 - 113, presented at Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, WA, Seattle, 17 July 2023 - 21 July 2023, http://dx.doi.org/10.1145/3597926.3598041

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

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

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

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

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', Association for Computing Machinery (ACM), pp. 6 - 10, presented at Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 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 Lee JW; Hack S; Shpeisman T (eds.), Cgo 2022 Proceedings of the 2022 IEEE ACM International Symposium on Code Generation and Optimization, Institute of Electrical and Electronics Engineers (IEEE), SOUTH KOREA, Seoul, pp. 131 - 143, presented at 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), SOUTH KOREA, Seoul, 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

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

Back to profile page