Publications (Jingling Xue)
Book
-
J. Xue.
Loop Tiling for Parallelism.
Kluwer Academic Publishers, August 2000 (280 pages). ISBN: 0-7923-7933-0.
Conference Papers
-
Wenju Zhao, Pengcheng Yao, Dan Chen, Long Zheng, Xiaofei Liao, Qinggang Wang, Shaobo Ma, Yu Li, Haifeng Liu, Wenjing Xiao, Yufei Sun, Bin Zhu, Hai Jin, and Jingling Xue.
MeHyper: Accelerating Hypergraph Neural Networks by Exploring Implicit Dataflows.
31st IEEE International Symposium on High-Performance Computer Architecture (HPCA-31),
pages ?? -- ??, 2025.
-
Yan Liu, Jianxin Lai, Long Li, Tianxiang Sui, Linjie Xiao,
Peng Yuan, Xiaojing Zhang, Qing Zhu, Wenguang Chen and Jingling Xue.
ReSBM: Region-based Scale and Minimal-Level Bootstrapping Management for FHE via Min-Cut.
30th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'25)
, Pages ?? -- ??, 2025.
-
Wei Li, Dongjie He, Wenguang Chen and Jingling Xue.
Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis.
21st Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'25), pages ?? -- ??,
2025.
-
Zhongcheng Zhang,
Ying Li,
Yuyang Zhang,
Zhenchuan Chen,
Jiacheng Zhao,
XiaoBing Feng,
Huimin Cui and
Jingling Xue.
Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption Programs.
21st Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'25), pages ?? -- ??,
2025.
-
Long Li,
Jianxin Lai,
Peng Yuan,
Tianxiang Sui,
Yan Liu,
Qing Zhu,
Xiaojing Zhang,
Linjie Xiao,
Wenguang Chen and
Jingling Xue.
ACE: An FHE Compiler Framework for Automating Neural Network Inference.
21st Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'25), pages ?? -- ??,
2025.
-
Haofeng Li,
Chenghang Shi,
Jie Lu,
Lian Li and
Jingling Xue.
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers.
2025 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA'25), 2025.
-
Qinggang Wang, Long Zheng, Zhaozeng An, Shuyi Xiong, Runze Wang, Yu Huang,
Pengcheng Yao, Xiaofeo Liao, Hai Jin, and Jingling Xue.
A Scalable, Efficient, and Robust Dynamic Memory Management Library for HLS-based FPGAs. 57th IEEE/ACM International Symposium on
Microarchitecture (MICRO-57), pages ?? -- 1341, 2024.
-
Dongjie He, Jingbo Lu, and Jingling Xue.
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction.
38th European Conference on Object-Oriented Programming
(ECOOP'24).
Leibniz International Proceedings in Informatics (LIPIcs), Volume 313, pp. 18:1-18:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024).
-
Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi and Tao Wei.
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking.
26th International Symposium on Formal Methods (FM'24),
pages 307 -- 324, 2024.
-
Wei Song, Cong Cong, Haonan Zhong, and Jingling Xue.
Correction-based Defense Against Adversarial Video Attacks via Discretization-Enhanced Video Compressive Sensing.
33rd USENIX Security Symposium (USENIX Security'24),
pages 3603 -- 3620, 2024.
-
Changwei Zou, Dongjie He, Yulei Sui and Jingling Xue.
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'24), pages 1609 -- 163, 2024.
-
Haifeng Liu, Long Zheng, Yu Huang, Jingyi Zhou, Chaoqiang Liu, Runze Wang, Xiaofei Liao, Hai Jin and Jingling Xue.
Enabling Efficient Large Recommendation Model Training with Near CXL Memory
Processing.
51st International Symposium on Computer Architecture (ISCA-51), pages 382 -- 395, 2024.
-
Wei Li, Dongjie He, Yujiang Gui, Wenguang Chen, and Jingling Xue.
A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction.
2024 International Conference on Compiler Construction
(CC'24), pages 60 -- 72, 2024.
-
Pei Xu,
Yuxiang Lei,
Yulei Sui and
Jingling Xue.
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability.
2024 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA'24), Article 145, 26 pages, 2024.
-
Feng Yu,
Guangli Li,
Jiacheng Zhao,
Huimin Cui,
Xiaobing Feng and
Jingling Xue.
Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization.
29th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24)
, Pages 797 -- 812, 2024.
-
Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui and Jingling Xue.
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis.
2023 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA'23),
page 256:1 -- 256:30, 2013.
-
Yujiang Gui, Dongjie He and Jingling Xue.
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows.
38th IEEE/ACM International Conference on Automated Software
Engineering (ASE'23),
pages 319 -- 331, 2023.
(Distinguished Paper Award)
-
Jingbo Lu,
Dongjie He,
Wei Li,
Yaoqing Gao,
Jingling Xue.
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis.
38th IEEE/ACM International Conference on Automated Software
Engineering (ASE'23),
Pages 736 -- 747, 2023.
-
Chenghang Shi,
Haofeng Li,
Yulei Sui,
Jie Lu,
Lian Li and
Jingling Xue.
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis.
38th IEEE/ACM International Conference on Automated Software
Engineering (ASE'23),
Pages 624 -- 636, 2023.
-
Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo,
Qingan Li, Jingling Xue and Mengting Yuan.
Statistical Type Inference for Incomplete Programs
ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'23) , 2023.
(Best Artifact Award)
-
Yijin Li, Jiacheng Zhao, Qianqi Sun, Haohui Mai, Lei Chen, Wanlu Cao, Yanfan Chen, Zhicheng Li, Ying Liu, Xinyuan Zhang, Xiyu Shi, Jie Zhao, Jingling Xue, Huimin Cui, XiaoBing Feng. Sirius: Harvesting Whole-Program Optimization Opportunities for DNNs. 6th Conference on Machine Learning and Systems (MLSys'23), 17 pages, 2023.
-
Haifeng Liu, Long Zheng, Yu Huang, Chaoqiang Liu, Xiangyu Ye, Jingrui Yuan, Xiaofei Liao, Hai Jin and Jingling Xue. Accelerating Personalized Recommendation with Cross-level Near-Memory Processing. 50th International Symposium on Computer Architecture (ISCA-50), Pages 66:1 -- 66:13, 2023.
-
Zhongcheng Zhang,
Yan Ou,
Ying Liu,
Chenxi Wang,
Yongbin Zhou,
Xiaoyu Wang,
Yuyang Zhang,
Yucheng Ouyang,
Jiahao Shan,
Ying Wang,
Jingling Xue,
Huimin Cui and
Xiaobing Feng.
OCCAMY: Elastically Sharing an On-chip Vector Co-processor Across Multiple Cores.
28th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'23)
, Pages 483 -- 497, 2023.
-
Dongjie He, Yujiang Gui, Yaoqing Gao and Jingling Xue.
Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection.
30th ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA'23)
, Pages 101 -- 113, 2023.
(Distinguished Artifact Award)
-
Jiangchao Liu, Jierui Liu, Peng DI, Diyu Wu, Hengjie Zheng, Alex X. Liu and Jingling Xue.
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
32nd ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA'23)
, Pages 114 -- 126, 2023.
-
Jiawei Yin, Menghao Li, Yuekang Li, Yong Yu, Boru Lin, Yang Liu,
Wei Huo and Jingling Xue.
RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing.
44th IEEE Symposium on Security and Privacy
(IEEE S&P'23), Pages 2155 -- 2169,
2023.
-
Long Zheng, Xiangyu Ye, Haifeng Liu, Qinggang Wang,
Yu Huang, Chuangyi Gui, Pengcheng Yao, Xiaofei Liao, Hai Jin, and Jingling Xue.
AFaVS: Accurate Yet Fast Version Switching for
Graph Processing Systems.
39th IEEE International Conference on Data
Engineering (ICDE'23), Pages 53 -- 66, 2023.
-
Qinggang Wang,
Long Zheng,
Ao Hu,
Yu Huang,
Pengcheng Yao,
Chuangyi Gui,
Xiaofei Liao,
Hai Jin and Jingling Xue.
A Data-Centric Accelerator for High-Performance Hypergraph Processing.
55th IEEE/ACM International Symposium on Microarchitecture
(MICRO-55), Pages 1326 -- 1341, 2022.
-
Jiawei Yin, Wei Huo, Menghao Li, Wei Wu, Dandan Sun, Jianhua Zhou and Jingling Xue.
Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis.
43rd IEEE Symposium on Security and Privacy
(IEEE S&P'22), Pages 1623 -- 1637, 2022.
-
Dongjie He, Jingbo Lu and Jingling Xue.
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis.
36th European Conference on Object-Oriented Programming
(ECOOP'22), Pages 30:1--30:29,
2022.
-
Xudong Wang, Xuezheng Xu, Qingan Li, Mengting Yuan
and Jingling Xue.
Recovering Container Class Types in Binaries.
19th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'22), Pages 131 -- 143,
2022.
-
Xuezheng Xu, Xudong Wang and Jingling Xue.
M3V: Multi-Modal Multi-View Context Embedding for
Repair Operator Prediction.
19th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'22), Pages 266 -- 277,
2022.
-
Pengcheng Yao, Long Zheng, Yu Huang, Qinggang Wang, Chuangyi Gui, Zhen Zeng, Xiaofei Liao, Hai Jin and Jingling Xue. ScalaGraph: A Scalable Accelerator for Massively Parallel Graph Processing.
28th IEEE International Symposium on High-Performance Computer Architecture (HPCA-28),
Pages 199--212, 2022.
- Yu Huang, Long Zheng, Pengcheng Yao, Qinggang Wang, Xiaofei Liao, Hai Jin and Jingling Xue.
Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures.
28th IEEE International Symposium on High-Performance Computer Architecture (HPCA-28),
Pages 1029 -- 1042, 2022.
-
Dongjie He, Jingbo Lu and Jingling Xue.
Context Debloating for Object-Sensitive Pointer
Analysis.
36th IEEE/ACM International Conference on Automated Software
Engineering (ASE'21),
Pages 79 -- 91, 2021.
-
Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan,
Jun Yang, Liang You and Jingling Xue.
Detecting TensorFlow Program Bugs in Real-World Industrial Environment.
36th IEEE/ACM International Conference on Automated Software
Engineering (ASE'21),
Pages 55 -- 66, 2021.
-
Xuezheng Xu, Xudong Wang and Jingling Xue.
Automatic Synthesis of Data-Flow Analyzers.
28th International Static Analysis Symposium
(SAS'21),
Pages 453 -- 478, 2021.
-
Jingbo Lu, Dongjie He and Jingling Xue.
Selective Context-Sensitivity for k-CFA with CFL-Reachability.
28th International Static Analysis Symposium
(SAS'21),
Pages 261 -- 285, 2021.
-
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, and Jingling Xue.
Runtime Detection of Memory Errors with Smart Status.
28th ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA'21),
Pages 296 -- 308, 2021.
-
Dongjie He, Jingbo Lu, Yaoqing Gao and Jingling Xue.
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability.
35th European Conference on Object-Oriented Programming
(ECOOP'21),
LIPIcs, Vol. 194, pp. 16:1 -- 16:31, 2021.
-
Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li and
Jingling Xue. GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs
18th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'21), Pages 187 -- 199,
2021.
-
Guangli Li, Jingling Xue,
Lei Liu,
Xueying Wang.
Xiu Ma, Xiao Dong,
Jiansong Li and
Xiaobing Feng.
Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs.
18th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'21), Pages 90 -- 102,
2021.
-
Xuezheng Xu, Changwei Zou and Jingling Xue.
Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates.
36th
International Conference on Software Maintenance and Evolution (ICSME'20),
Pages 196 -- 207, Adelaide, 2020.
-
Diyu Wu, Dongjie He, Shiping Chen and Jingling Xue.
Exposing Android Event-Based Races by Selective Branch Instrumentation.
31st IEEE International Symposium on Software Reliability
Engineering
(ISSRE'20),
Pages 265 -- 276, Coimbra, Portugal, 2020.
-
Jie Liu, Dongjie He, Diyu Wu and Jingling Xue.
Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis.
31st IEEE International Symposium on Software Reliability
Engineering
(ISSRE'20),
Pages 241 -- 252, Coimbra, Portugal, 2020.
-
Mingchuan Wu, Ying Liu, Huimin Cui, Qingfu Wei,
Quanfeng Li, Limin Li, Fang Lv Jingling Xue and Xiaobing Feng.
Bandwidth-Aware Loop Tiling for DMA-Supported Scratch Pad Memory.
29th International Conference on
Parallel Architectures and Compilation Techniques (PACT'20)
, Pages 97 -- 109, 2020.
-
Pengcheng Yao, Long Zheng,
Zhen Zeng, Yu Huang, Chuangyi Gui,
Xiaofei Liao, Hai Jin and Jingling Xue.
A Locality-Aware Energy-Efficient Accelerator for Graph
Mining Applications.
53rd IEEE/ACM International Symposium on Microarchitecture
(MICRO-53), Pages 895--907, 2020.
-
Long Zheng, Xianliang Li, Yaohui Zheng, Yu Huang,
Xiaofei Liao, Hai Jin, Jingling Xue,
Zhiyuan Shao and Qiang-Sheng Hua.
Scaph: Scalable GPU-Accelerated Graph Processing with
Value-Driven Differential Scheduling.
2020 USENIX Annual Technical Conference
(USENIX ATC '20), Pages 573 -- 588, 2020.
-
Yu Huang, Long Zheng, Pengcheng Yao,
Jieshan Zhao, Xiaofei Liao, Hai Jin and Jingling Xue.
A Heterogeneous PIM Hardware-Software Co-Design for Energy-Efficient Graph Processing.
34th IEEE International Parallel
and Distributed Processing Symposium (IPDPS'20),
Pages 684 -- 695, New Orleans, Louisiana, 2020.
-
Long Zheng, Jieshan Zhao, Yu Huang,
Qinggang Wang, Zhen Zeng,
Jingling Xue, Xiaofei Liao and Hai Jin.
Spara: An Energy-Efficient ReRAM-based Accelerator for Sparse Graph Analytics Applications.
34th IEEE International Parallel
and Distributed Processing Symposium (IPDPS'20),
Pages 696 -- 707, New Orleans, Louisiana, 2020.
-
Changwei Zou and Jingling Xue.
Burn After Reading: A Shadow Stack with Microsecond-level Runtime Rerandomization for Protecting Return Addresses.
42nd International Conference on Software Engineering (ICSE'20),
Pages 258 -- 270, 2020.
-
Fang Lv, Hao Li, Lei Wang, Ying Liu, Huimin Cui, Jingling Xue, Xiaobing Feng:
Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based
Analyzers. 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER'20), Pages 1 -- 12, London, On, Canada, 2020.
-
Jingbo Lu and Jingling Xue.
Precision-Preserving Yet Fast Object-Sensitive Pointer
Analysis with Partial Context Sensitivity.
2019 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA'19),
Pages 148:1 -- 148:2, Boston, 2019.
-
Dongjie He, Haofeng Li, Lei Wang, Haining Meng,
Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li
and Jingling Xue.
Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis.
34th IEEE/ACM International Conference on Automated Software
Engineering (ASE'19),
Pages 267 -- 279, San Diego, 2019.
(Distinguished Paper Award)
-
Muyue Feng, Zimu Yuan, Feng Li, Gu Ban, Yang Xiao, Shiyang Wang, Qian Tang, He Su, Chendong Yu, Jiahuan Xu, Aihua Piao, Jingling Xue and Wei Huo.
B2SFinder: Detecting Open-Source Software Reuse in COTS Software.
34th IEEE/ACM International Conference on Automated Software
Engineering (ASE'19),
Pages 1038-- 1049, San Diego, 2019.
-
Changwei Zou, Yulei Sui, Hua Yan and Jingling Xue.
TCD: Statically Detecting Type Confusion Errors in C++ Programs.
30th IEEE International Symposium on Software Reliability
Engineering
(ISSRE'19),
Pages 292 -- 302, Berlin, 2019.
-
Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou
and Jingling Xue.
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.
26th International Static Analysis Symposium
(SAS'19),
Pages 48 -- 72, Portugal, 2019.
-
Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, and Jingling Xue.
Detecting Memory Errors at Runtime with Source-Level
Instrumentation.
28th ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA'19),
Pages 341 -- 351, Beijing, 2019.
(Distinguished Paper Award)
-
Xiaogang Zhu, Xiaotao Feng, Tengyun Jiao,
Sheng Wen, Jingling Xue, Seyit Camtepe,
Yang Xiang.
A Feature-Oriented Corpus for understanding, Evaluating and Improving Fuzz Testing.
14th ACM Asia Conference on Information, Computer and Communications Security (ASIACCS 2019),
Pages 658 -- 663, Auckland, 2019.
-
Xuesong Su, Hui Wu and Jingling Xue.
WCET-Aware Hyper-Block Construction for Clustered VLIW Processors.
ACM SIGPLAN/SIGBED 2019 International Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'19),
Pages 110 -- 122, Phoenix, Arizona, 2019.
-
Jieyuan Zhang and Jingling Xue.
Incremental Precision-Preserving Symbolic
Inference for Probabilistic Programs.
2019 ACM Conference on
Programming Language Design and Implementation
(PLDI'19), Pages 237 -- 252, 2019.
-
Ying Liu, Lei Huang, Mingchuan Wu, Humin Cui, Fang Lv,
Xiaobing Feng and Jingling Xue.
PPOpenCL: A Performance-Portable OpenCL Compiler with Host and Kernel Thread Code Fusion.
2019 International Conference on Compiler Construction
(CC'19), Pages 2 -- 16, 2019.
-
Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen and Jingling Xue.
Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android.
12th IEEE International Conference on Software Testing, Verification and Validation (ICST'19) Pages 276 -- 287, 2019.
-
Xuezheng Xu, Yulei Sui, Hua Yan, and Jingling Xue.
VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences.
41st International Conference on Software Engineering (ICSE'19),
Pages 512 -- 523 , 2019.
-
Jie Liu, Diyu Wu and Jingling Xue.
TDROID: Exposing App Switching Attacks in Android with Control Flow Specialization.
33rd IEEE/ACM International Conference on Automated Software
Engineering (ASE'18),
Pages 236--247, Montpellier, France, 2018.
-
Dongjie He, Lian Li, Lei Wang, Hengjie Zheng,
Guangwei Li and Jingling Xue.
Understanding and Detecting Evolution-induced Compatibility Issues in Android Apps.
33rd IEEE/ACM International Conference on Automated Software
Engineering (ASE'18),
Pages 167--177, Montpellier, France, 2018.
-
Long Zheng, Xiaofei Liao, Hai Jin, Bingsheng He,
Jingling Xue, and Haikun Liu.
Towards Concurrency Race Debugging: An Integrated Approach for Constraint Solving and Dynamic Slicing.
27th International Conference on
Parallel Architectures and Compilation Techniques (PACT'18)
, Pages 26:1--26:13,
Edinburgh, 2018.
(One of the Four Best Paper Award Nominees)
-
Jiacheng Zhao, Huimin Cui, Yalin Zhang, Jingling Xue,
and Xiaobing Feng.
Revisiting Loop Tiling for Datacenters: Live and Let Live.
32nd ACM International Conference on Supercomputing (ICS'18), pages 328--340,
Beijing, 2018.
-
Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue.
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities.
40th International Conference on Software Engineering (ICSE'18),
Pages 327 -- 337, Gothenburg, 2018.
(Distinguished Paper Award)
-
Yifei Zhang, Yulei Sui and Jingling Xue.
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps.
40th International Conference on Software Engineering (ICSE'18),
Pages 598 -- 608, Gothenburg, 2018.
-
Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue.
Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection.
2017 Annual Computer Security Applications
Conference (ACSAC),
Pages 42 -- 54, Orlando, 2017.
-
Xiaokang Fan, Yulei Sui, Xiangke Liao, and Jingling Xue.
Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C++.
26th ACM SIGSOFT International Symposium on
Software Testing and Analysis (ISSTA'17),
Pages 329 -- 340, Santa Barbara, 2017.
-
Feng Zhang and Jingling Xue.
Poker: Permutation-based SIMD Execution of Intensive Tree Search by Path Encoding.
15th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'18), Pages 87 -- 99,
Vienna, 2018.
(One of the Four Best Paper Award Nominees)
-
Qing Zhou, Lian Li, Lei Wang,
Jingling Xue and Xiaobing Feng.
May-Happen-in-Parallel Analysis with Static Vector Clocks.
15th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'18), Pages 228 -- 240,
Vienna, 2018.
-
Jie Liu, Yue Li, Tian Tan and Jingling Xue.
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely.
28th IEEE International Symposium on Software Reliability
Engineering
(ISSRE'17),
Pages 12 -- 23, Toulouse, France, 2017.
(PDF)
(One of the Three Best Paper Award
Nominees)
-
Xuesong Su, Hui Wu, Jingling Xue.
An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors. Special Issue of 2017 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'17), ACM Transactions on Embedded Computing Systems, 2017.
-
Jieyuan Zhang, Yulei Sui and Jingling Xue.
Incremental Analysis for Probabilistic Programs.
24th International Static Analysis Symposium
(SAS'17),
Pages 450 -- 472, New York, 2017.
-
Tian Tan, Yue Li and Jingling Xue.
Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata.
2017 ACM Conference on
Programming Language Design and Implementation
(PLDI'17), Pages 278 -- 291, 2017.
-
Lian Li, Yi Lu and Jingling Xue.
Dynamic Symbolic Execution for Polymorphism.
2017 International Conference on Compiler Construction
(CC'17), Pages 120 -- 130, 2017.
-
Yifei Zhang, Tian Tan, Yue Li and Jingling Xue.
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments.
7th ACM Conference on Data and Application
Security and Privacy (CODASPY'17), Pages
281 -- 288,
Scottsdale, Arizona, 2017.
(See also arXiv:1612.05343.)
(PDF)
-
Xing Su, Xiangke Liao and Jingling Xue.
Automatic Generation of Fast BLAS3-GEMM: A Portable Compiler Approach.
14th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'17), Pages 122 -- 133,
Austin, 2017.
(One of the Four Best Paper Award Nominees)
-
Jianjun Xu, Xiankai Meng, Qingping Tan and Jingling Xue.
Masking Soft Errors with Static Bitwise Analysis
23rd Asia-Pacific Software Engineering Conference (APSEC'16),
Hamilton, New Zealand, Pages 281 -- 288, 2016.
-
Canqun Yang, Cheng Chen, Tao Tang,Xuhao Chen,
Jianbin Fang and Jingling Xue.
An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems.
2016 International Conference on Parallel and Distributed Systems (ICPADS'16), Wuhan, China, Pages 971 -- 979, 2016.
-
Hua Yan, Yulei Sui, Shiping Chen, and Jingling Xue.
Automated Memory Leak Fixing on Value-Flow Slices for C Programs.
31st ACM/SIGAPP Symposium on Applied Computing (SAC'16)
, Pisa, Pages 1386 -- 1393, 2016.
-
Tian Tan, Yue Li and Jingling Xue.
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.
23nd International Static Analysis Symposium
(SAS'16),
Pages 489 -- 510, Edinburgh, 2016.
(PDF)
-
Yulei Sui and Jingling Xue.
On-Demand Strong Update Analysis via Value-Flow Refinement.
ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'16) , Pages 460 -- 473, 2016.
(PDF)
-
Feng Zhang, Peng Di, Hao Zhou, XiangKe Liao and Jingling Xue.
RegTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities.
2016 International Conference on Parallel Processing (ICPP'16), Pages 562 -- 571,
Philadelphia, 2016.
(PDF)
-
Yulei Sui, Xiaokang Fan, Hao Zhou and Jingling Xue.
Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization.
ACM SIGPLAN/SIGBED 2016 International Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'16),
Pages 41 -- 51, Santa Babara, 2016.
-
Yue Li, Tian Tan, Yifei Zhang and Jingling Xue.
Program Tailoring: Slicing by Sequential Criteria.
30th European Conference on Object-Oriented Programming
(ECOOP'16),
Pages 15:1 -- 15:27, Rome, 2016.
(PDF)
(Distinguished Paper Award)
-
Yulei Sui and Jingling Xue.
SVF: Interprocedural Static Value-Flow Analysis in LLVM
.
2016 International Conference on Compiler Construction
(CC'16), Pages 265 -- 266, 2016.
(PDF)
-
Hao Zhou and Jingling Xue.
Exploiting mixed SIMD parallelism
by reducing data reorganization overhead.
13th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'16), Pages 59 -- 69,
Barcelona, 2016.
(Best Paper Award)
-
Yulei Sui, Peng Di and Jingling Xue.
Sparse Flow-Sensitive Pointer Analysis for Multithreaded C Programs
13th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'16), Pages 160 -- 170,
Barcelona, 2016.
-
Hua Yan, Yulei Sui, Shiping Chen and Jingling Xue.
Automated Memory Leak Fixing on Value-Flow Slices for C Programs.
31st ACM/SIGAPP Symposium on Applied Computing
(SAC'16), Pages 1396 -- 1403,
Pisa, 2016.
-
Yi Wang, Tianzheng Wang, Zili Shao, Duo Liu and
Jingling Xue.
File System-Independent Block Device Support for Storage Class Memory.
The International Workshop of Software-Defined Data Communications and Storage (SDDCS) 2015, in conjunction with IEEE INFOCOM 2015, Hongkong, 2015.
-
Ryan Moore, Bruce Childers and Jingling Xue.
Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors.
12th IEEE International Conference on Embedded Software and Systems (ICESS'15),
Pages 957 -- 963, New York, 2015.
(PDF)
-
Xiaokang Fan, Yulei Sui and Jingling Xue.
Contention-Aware Scheduling for Asymmetric Multicore Processors.
21st IEEE International Conference on Parallel and Distributed Systems, Pages 742 -- 751,
Melbourne, 2015.
-
Yue Li, Tian Tan and Jingling Xue.
Effective Soundness-Guided Reflection Analysis.
22nd International Static Analysis Symposium
(SAS'15),
Pages 162 -- 180, Saint-Malo, 2015.
(PDF)
-
Peng Di, Yulei Sui, Ding Ye and Jingling Xue.
Region-Based May-Happen-in-Parallel Analysis for C
Programs.
2015 International Conference on Parallel Processing (ICPP'15), Pages 889 -- 898,
Beijing, 2015.
(PDF)
-
Feng Wang, Hao Jiang, Ke Zuo, Xing Su, Jingling Xue
and Canqun Yang.
Design and Implementation of a Highly Efficient DGEMM
for 64-bit ARMv8 Multi-Core Processors.
2015 International Conference on Parallel Processing (ICPP'15), Pages 200 -- 209,
Beijing, 2015.
(PDF)
-
Wenting He, Huimin Cui, Binbin Lu, Jiacheng Zhao, Shengmei Li, Gong Ruan, Jingling Xue, Xiaobing Feng, Wensen Yang and Youliang Yan.
Hadoop+: Modeling and Evaluating the Heterogeneity for MapReduce Applications in Heterogeneous Clusters.
25th International Conference on Supercomputing (ICS'15), Pages 143 -- 153,
Newport Beach, 2015.
(PDF)
-
Ding Ye, Yu Su, Yulei Sui and Jingling Xue.
WPBound: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.
25th IEEE International Symposium on Software
Reliability
Engineering
(ISSRE'14),
Pages 88 -- 99, Naples, Italy, 2014.
(PDF)
-
Sen Ye, Yulei Sui and Jingling Xue.
Region-based Selective Flow-Sensitive Pointer Analysis.
21th International Static Analysis Symposium
(SAS'14),
Pages 319 -- 336, Munich, 2014.
(PDF)
-
Yue Li, Tian Tan, Yulei Sui and Jingling Xue.
Self-Inferencing Reflection Resolution for Java.
28th European Conference on Object-Oriented Programming
(ECOOP'14),
Pages 27 -- 53, Uppsala, 2014.
(PDF)
- Yu Su, Ding Ye and Jingling Xue.
Parallel Pointer Analysis with CFL-Reachability.
2014 International Conference on Parallel Processing (ICPP'14), Pages 451 -- 460,
Minnesota, 2014.
(PDF)
-
Huimin Cui, Gong Ruan, Jingling Xue, Rui Xie, Lei Wang and Xiaobing Feng.
A Collaborative Divide-and-Conquer K-Means Clustering Algorithm for Processing Large Data.
2014 ACM International Conference on Computing Frontiers (CF'14)
-
Ding Ye, Yulei Sui and Jingling Xue.
Accelerating Dynamic Detection of Uses of Undefined Variables with Static Value-Flow Analysis.
11th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'14), Pages 154 -- 164,
Orlando, Florida, 2014.
-
Xuemeng Zhang, Hui Wu, Haiyan Sun and Jingling Xue.
Lifetime-Holes-Aware Register Allocation for
Clustered VLIW Processors.
International Conference on Design, Automation and Test in Europe (DATE'14), Pages 90:1 -- 90:4, Dresden, 2014.
-
Yu Su, Ding Ye and Jingling Xue.
Accelerating Inclusion-based Pointer Analysis on
Heterogeneous CPU-GPU Systems.
2013 IEEE International Conference on
High Performance Computing (HiPC'13)
, Pages 149 -- 158, 2013.
(PDF)
-
Jiacheng Zhao, Huimin Cui, Jingling Xue, Xiaobing Feng, Youliang Yan
and Wensen Yang.
An Empirical Model for Predicting Cross-Core Performance Interference on Multicore Processors.
22nd International Conference on
Parallel Architectures and Compilation Techniques (PACT'13)
, Pages 201 -- 212,
Edinburgh, 2013.
(PDF)
-
Yi Lu, Lei Shang, Xinwei Xie and Jingling Xue.
An Incremental Points-to Analysis with CFL-Reachability.
2013 International Conference on Compiler Construction
(CC'13), Pages 61 -- 81, Rome, Italy, 2013.
(PDF)
-
Yi Lu, John Potter and Jingling Xue.
Structural Lock Correlation with Ownership Types.
2013 European Symposium of Programming (ESOP'13),
Pages 391 -- 410,
Rome, Italy, 2013.
(PDF)
- Huimin Cui, Qing Yi, Jingling Xue and Xiaobing Feng.
Layout-oblivious Compiler Optimization for Matrix Computations.
The 8th International Conference on High-Performance
Embedded Architectures and Compilers (HiPEAC'13), Pages
429 -- 430, Berlin, Germany, 2013.
(PDF)
-
Yulei Sui, Yue Li and Jingling Xue.
Query-Directed Adaptive Heap Cloning For Optimizing Compilers.
11th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'13), Pages 1 -- 11,
ShenZhen, China, 2013.
(PDF)
(Best Paper Award)
-
Qing Wan, Hui Wu and Jingling Xue.
Scratchpad Memory Aware Task Scheduling with Minimum Number of
Preemptions on a Single Processor.
8th Asia and South Pacific Design Automation Conference" (ASP-DAC 2013),
Pages 741 -- 748. Yokohama, Japan, 2013.
(PDF)
- Huimin Cui, Qing Yi, Jingling Xue and
Xiaobing Feng.
Layout-oblivious Compiler Optimization for Matrix Computations.
21st International Conference on
Parallel Architectures and Compilation Techniques (PACT'12)
, Pages 429 -- 430, Minneapolis, 2012.
-
Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen and
Chunyan Ma.
What is System Hang and How to Handle it.
23rd IEEE International Symposium on Software
Reliability
Engineering
(ISSRE'12),
Pages 141 -- 150, Dallas, TX, 2012.
(PDF)
-
Yi Lu, John Potter and Jingling Xue.
Ownership Types for Object Synchronisation.
10th Asian Symposium on Programming Languages and Systems (APLAS'12),
Pages 18 -- 33. Kyoto, Japan, 2012.
(PDF)
- Peng Di, Ding Ye, Yu Su, Yulei Sui and Jingling Xue.
Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs.
2012 International Conference on Parallel Processing (ICPP'12), Pages 350 -- 359,
Pittsburgh, 2012.
(PDF)
-
Lei Shang, Yi Lu and Jingling Xue.
Fast and Precise Points-to Analysis with Incremental CFL-Reachability
Summarisation.
27th IEEE/ACM International Conference on Automated Software
Engineering (ASE'12),
Pages 270 -- 273, Essen, Germany, 2012.
(PDF)
-
Yulei Sui, Ding Ye and Jingling Xue.
Static Memory Leak Detecttion Using Full-Sparse Value-Flow Analysis.
International Symposium on Software Testing and Analysis (ISSTA'12),
Pages 254 -- 264, Minneapolis, MN, 2012.
(PDF)
-
Qing Wan, Hui Wu and Jingling Xue.
WCET-Aware Data Selection and Allocation for Scratchpad Memory.
ACM SIGPLAN/SIGBED 2012 International Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'12),
Pages 41 -- 50, Beijing, 2012.
(PDF)
-
Yi Lu, John Potter, Chenyi Zhang and Jingling Xue.
A Type and Effect System for Determinism in Multithreaded Programs.
2012 European Symposium of Programming (ESOP'12),
Pages 518 -- 538,
Tallinn, Estonia, 2012.
(PDF)
-
Huimin Cui, Qing Yi, Jingling Xue, Lei Wang, Yang Yang and Xiaobing Feng.
A highly-parallel reuse distance analysis algorithm on GPUs.
26th IEEE International Parallel
and Distributed Processing Symposium (IPDPS'12)),
Pages 1080 -- 1092,
Shanghai, China 2012.
(PDF)
-
Lei Shang, Xinwei Xie and Jingling Xue.
On-Demand Dynamic Summary-Based Points-to Analysis.
10th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'12), Pages 264 -- 274,
San Jose, California, 2012.
(PDF)
- Qiang Wu, Canqun Yang, Feng Wang
and Jingling Xue.
A Fast Parallel Implementation of Molecular Dynamics With the Morse Potential on a Heterogeneous Petascale Supercomputer.
IEEE 26th International Parallel and Distributed Processing Symposium WorkshopsI (IPDPSW'12),
Shanghai, Pages 140 -- 149, 2012.
-
Yulei Sui, Sen Ye, Jingling Xue and Pen-Chung Yew.
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA.
9th Asian Symposium on Programming Languages and Systems (APLAS'11),
. Pages 155 -- 171, Kenting, Taiwan, 2011.
(PDF)
- Xuemeng Zhang, Hui Wu and Jingling Xue.
An Efficient Heuristic for Instruction Scheduling on Clustered VLIW Processors.
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems
(CASES'11), Pages 35 -- 44, Taipei, 2011.
(PDF)
-
Peng Di and Jingling Xue.
Model-Driven Tile Size Selection for DOACROSS Loops on GPUs.
17th International European Conference on Parallel and Distributed Computing (Euro-Par'11),
Pages 401 -- 412, Bordeaux, France, 2011.
(PDF)
-
Sabbir Mahmud, Hui Wu and Jingling Xue.
Efficient Energy Balancing Aware Multiple Base Station Deployment for WSNs.
8th European Conference on Wireless Sensor Networks,
Pages 179 -- 194,
Bonn, Germany, 2011.
(PDF)
-
Xinwei Xie and Jingling Xue.
AccuLock: Accurate and Efficient Detection of Data Races.
9th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'11), Pages 201 -- 212,
Chamonix, France, 2011.
(PDF)
-
Huimin Cui, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng and DongRui Fan.
Extendable Pattern-Oriented Optimization Directives.
9th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'11), Pages 107 -- 118,
Chamonix, France, 2011.
(PDF)
-
Huimin Cui, Lei Wang, Jingling Xue, Xiaobing Feng, and Yang Yang.
Automatic Library Generation for BLAS3 on GPUs.
25th IEEE International Parallel
and Distributed Processing Symposium (IPDPS'11)), Pages 255 -- 265,
Anchorage (Alaska), USA, 2011.
(PDF)
-
Wei Mi, Xiaobing Feng, Jingling Xue and Yao-Cang Jia.
Software-Hardware Cooperative DRAM Bank Partitioning for
Chip Multiprocessors.
7th IFIP International Conference on Network and Parallel Computing (NPC'10)
, Pages 329--343, ZhengZhou, 2010.
(PDF)
-
Xuejun Yang, Li Wang, Jingling Xue, Tao Tang, Xiaoguang Ren and Sen Ye.
Improving Scratchpad Allocation with Demand-Driven Data Tiling.
International Conference on
Compilers, Architecture, and Synthesis for Embedded Systems
(CASES'10), Scottsdale, AZ, 2010.
(PDF)
- Hui Wu, Jingling Xue, and Sridevan Parameswaran.
Optimal WCET-Aware Code Selection for Scratchpad Memory.
2010 International Conference on Embedded Software (EMSOFT'10),
Scottsdale, AZ, 2010.
(PDF)
- Peng Di, Qing Wan, Xuemeng Zhang, Hui Wu and Jingling Xue.
Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs.
2010 International Conference on Parallel Processing (ICPP'10),
San Diego, 2010.
(PDF)
-
Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng, Zhaoqing Zhang.
Level by Level: Making Flow- and Context-Sensitive Pointer Analysis Scalable
for Millions of Lines of Code.
8th Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'10) , Pages 218 -- 229, Toronto, 2010.
(PDF)
(Test-of-Time Paper Award)
-
Li Wang, Jingling Xue and Xuejun Yang.
Reuse-Aware Modulo Scheduling for Stream Processors.
International Conference on Design, Automation and Test in Europe (DATE'10) ,
Dresden, 2010.
(PDF)
-
Yi Lu, John Potter and Jingling Xue.
Ownership Downgrading for Ownership Types.
7th Asian Symposium on
Programming Languages and Systems (APLAS'09) , Pages 144 -- 160,
Seoul, 2009.
(PDF)
-
Duo Liu, Zili Shao, Meng Wang, Minyi Guo and Jingling Xue.
Optimal Loop Parallelization for Maximizing Iteration-Level Parallelism.
International Conference on
Compilers, Architecture, and Synthesis for Embedded Systems
(CASES'09), Pages 67 -- 76, Grenoble, France, 2009.
(PDF)
-
Lin Gao, Lian Li, Jingling Xue and Tin-Fook Ngai.
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.
2009 International Conference on Compiler Construction
(CC'09), Pages 78 -- 93, York, UK, 2009.
(PDF)
-
Xuejun Yang, Li Wang, Jingling Xue, Yu Deng and Ying Zhang.
Comparability Graph Coloring for Optimizing Utilization of Stream Register Files in Stream Processors.
14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'09)
, Pages 111 -- 120,
North Carolina, 2009.
(PDF)
-
Peng Di, Jingling Xue,
Changjun Hu and Jingjing Zhou.
A Cache-Efficient Parallel Gauss-Seidel Solver with Alternating Tiling.
2009 International Conference on Parallel and Distributed Systems (ICPADS'09), ShenZhen, China, Pages 244 -- 251, 2009.
-
Jenny Yi-Chun Kuo, Anderson Kuei-An Ku, Jingling Xue,
Oliver Diessel, Usama Malik.
ACS: an Addressless Configuration Support for Partial Reconfigurations.
IEEE International Conference on Field-Programmable Technology (FPT08)
, Pages 161 -- 168,
Taiwan, 2008.
(PDF)
-
Xuejun Yang, Ying Zhang, Jingling Xue, Ian Rogers, Gen Li and Guibin Wang.
Exploiting Loop-Dependent Stream Reuse for Stream Processors.
17th International Conference on
Parallel Architectures and Compilation Techniques (PACT'08)
, Pages 28 -- 37,
Toronto, 2008.
(PDF)
-
Lin Gao, Quan Hoang Nyugen, Lian Li, Jingling Xue and Tin-Fook Ngai.
Thread-Sensitive Modulo Scheduling for Multicore Processors.
2008 International Conference on Parallel Processing (ICPP'08),
Pages 132 -- 140, Portland, Oregon, 2008.
(PDF)
-
Anderson Kuei-An Ku, Jenny Yi-Chun Kuo and Jingling Xue.
A Gather/Scatter Hardware Support for Efficient Fast Fourier Transform.
13th Asia-Pacific Computer Systems Architecture Conference
(ACSAC'08), Pages 1 -- 8, Taiwan, 2008.
-
Anderson Kuei-An Ku, Jenny Yi-Chun Kuo and Jingling Xue.
Hardware Support for Efficient Sparse Matrix Vector Multiplication.
2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-08)
, Pages 37 -- 43, Shanghai, 2008.
-
L. Wang, X. Yang, J. Xue, Y. Deng, X. Yan, T. Tang and Q. H. Nguyen.
Optimizing Scientific Application Loops on Stream Processors.
ACM SIGPLAN/SIGBED 2008 International Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'08),
Pages 161 -- 170, Tucson, AZ, 2008.
(PDF)
-
L. Gao, L. Li, J. Xue and
T.K Ngai.
Loop Recreation for Thread-Level Speculation.
2007 International Conference on Parallel
and Distributed Systems (ICPADS'07),
Hsingchu, Taiwan, 2007.
(PDF)
-
L. Li, H. Wu, H. Feng and J. Xue.
Towards Data Tiling for Whole Programs in
Scratchpad Memory Allocation.
12th Asia-Pacific Computer Systems Architecture Conference
(ACSAC'07), Pages 63 -- 74, Seoul, Korea, 2007.
-
L. Pan, J. Xue, M. Lai, M. Dillencourt and
L. Bic.
Toward Automatic Data Distribution for Migrating Computations.
2007 International Conference on Parallel Processing (ICPP'07),
Xian, 2007.
(PDF)
-
Y. Lu, J. Potter and J. Xue.
Validity Invariants and Effects.
21st European Conference on Object-Oriented Programming
(ECOOP'07),
Pages 202 -- 226, Berlin, 2007.
(PDF)
-
L. Li, Q. H. Nguyen and J. Xue.
Scratchpad Allocation for Data Aggregates in Superperfect Graphs.
ACM SIGPLAN/SIGBED 2007 International Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'07),
Pages 207 -- 216, San Diego, 2007.
(PDF)
-
B. Scholz, B. Burgstaller and J. Xue.
Minimizing Bank Selection Instructions for Partitioned Memory
Architectures.
International Conference on
Compilers, Architecture, and Synthesis for Embedded Systems
(CASES'06), Pages 201 -- 211, Seoul, Korea, 2006.
(PDF)
- B. Ye, M. Guo and J. Xue.
CoopStream: A Cooperative Cache Based Streaming Schedule Scheme for
On-demand Media Services on Overlay Networks.
2006 International Conference on Parallel Processing (ICPP'06),
Pages 577 -- 584, Columbus, Ohio, USA.
(PDF)
-
H. Wu, J. Jaffar and J. Xue.
Instruction Scheduling with Release Times and
Deadlines on ILP Processors.
12th IEEE International Conference on
Embedded and Real-Time Computing Systems and Applications
(RTCSA'06), Pages 51 -- 60, Sydney, Australia, 2006.
(PDF)
-
L. Li and J. Xue.
Trace-based Data Cache Leakage Reduction at Link Time.
11th Asia-Pacific Computer Systems Architecture Conference
(ACSAC'06), Pages 175--188, Shanghai, China, 2006.
-
J. Xue and J. Knoop.
A Fresh Look at PRE as a Maximum Flow Problem.
2006 International Conference on Compiler Construction
(CC'06), Pages 139 -- 154, Vienna, Austria, 2006.
(PDF)
- C. Yang, X. Yang and J. Xue.
Improving the Performance of GCC by Exploiting IA-64 Architectural
Features.
10th Asia-Pacific Computer Systems Architecture Conference
(ACSAC'05)
, Pages 236 -- 251,
Singapore, 2005.
(Postscript)
- J. Xue.
Aggressive loop fusion for improving locality and parallelism
of iterative methods.
3rd International Symposium on Parallel and
Distributed Processing and Applications (ISPA'05)
, Pages 224 -- 238,
Nanjing, China, 2005.
(Postscript)
- L. Li, L. Gao and J. Xue.
Memory coloring: a compiler approach for automatic scratchpad memory management.
14th International Conference on
Parallel Architectures and Compilation Techniques (PACT'05)
, Pages 329 -- 338,
Saint Louis, Missouri, 2005.
(PDF)
- J. Xue, Q. Huang and M. Guo.
Enabling loop fusion and tiling for cache performance by fixing fusion-preventing data dependences.
2005 International Conference on Parallel Processing (ICPP'05),
Pages 107 - 115, Oslo, Norway, 2005.
(PDF)
-
J. Xue and P. Nguyen.
Completeness analysis for incomplete object-oriented programs.
2005 International Conference on Compiler Construction
(CC'05), Pages 271--286, Edinburgh, UK, 2005.
(PDF)
- P. Nguyen and J. Xue.
Interprocedural side-effect analysis for Java programs in the presence of dynamic
class loading.
28th Australasian Computer Science Conference (ACSC'05)
, Pages 9 -- 18, Newcastle, Australia, 2005.
(PDF)
(Best Paper Award)
- L. Li and J. Xue.
A trace-based binary compilation framework for energy-aware computing.
ACM SIGPLAN/SIGBED 2004 International Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'04)
, Pages 95 -- 106, Warshington, DC, 2004.
(Postscript)
- Q. Cai and L. Gao and J. Xue.
Region-based partial dead code elimination on predicated code.
2004 International Conference on Compiler Construction (CC'04)
, Pages 150 -- 166, Barcelona, Spain, 2004.
(Postscript)
- B. Kurniawan and J. Xue.
A comparative study of web application design models using the Java technologies.
6th Asia Pacific Web Conference
, Pages 711 -- 721, Hangzhou, China, 2004.
- P. Nguyen and J. Xue.
Strength reduction for loop-invariant types.
27th Australasian Computer Science Conference (ACSC'04)
, Pages 213 -- 222, Dunedin, New Zealand, 2004.
(Postscript)
(Best Student Paper Award)
- X. Vera, B. Lisper and J. Xue.
Data caches in multitasking hard real-time systems.
24th IEEE International Real-Time Systems Symposium
(RTSS'03), Pages 154 -- 165, Cancun, Mexico, 2003.
(Postscript)
- Q. Huang, J. Xue and X. Vera.
Code tiling for improving the cache performance of PDE solvers.
2003 International Conference on Parallel Processing (ICPP'03),
Pages 615 - 625, Kaohsiung, Taiwan, 2003.
(Postscript)
- X. Vera, B. Lisper and J. Xue.
Data cache locking for higher program predictability.
2003 ACM International Conference on Measurement and Modeling
of Computer Systems (SIGMETRICS'03), Pages 272 - 282, San Diego, 2003.
(Postscript)
- Q. Cai and J. Xue.
Optimal and efficient speculation-based partial redundancy
elimination.
1st Annual IEEE/ACM International Symposium on Code
Generation and Optimization (CGO'03) , Pages 91 -- 102, San Francisco, 2003.
(Postscript)
- X. Vera and J. Xue.
Let's study whole-program cache behaviour analytically.
8th International Symposium on High-Performance Computer Architecture (HPCA-8), Pages 175 -- 186, Boston, MA, 2002
(Postscript)
- X. Vera and J. Xue.
Efficient compile-time analysis of cache behaviour for programs with IF statements.
5th International Conference on Algorithms and Architectures
for Parallel Processing (ICA3PP'02) ,
Pages 396--407, Beijing, 2002.
- P. Lenders and J. Xue.
A generic localization method for VLSI implementation of algorithms.
4th International Conference on Massively Parallel
Computng Systems
(MPCS'02), Pages 38 -- 44, Ischia, Italy, 2002.
- J. Xue.
On nonsingular loop transformations using SUIF's dependence abstraction.
2nd International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'01), Pages 331--336, Taiwan, 2001.
(Postscript)
- J. Xue.
Time-minimal and processor-time-minimal loop tiling.
4th International Conference on Algorithms and Archiectures for Parallel Processing (ICA3PP'00) , Pages 264--280, Hongkong, 2000.
- S. Chen and J. Xue.
Optimal tiling for loops with parallelogram iteration spaces.
1st International Conference on Parallel and Distributed Applications and Technologies (PDCAT'00)
, Pages 117--124, Hongkong, 2000.
- S. Chen and J. Xue.
Communication overhead on distributed memory machines.
4th Australian Computer Architecture Conference (ACAC'99)
, Pages 227--238, New Zealand, 1999.
- S. Chen and J. Xue.
An approach to tiling imperfect loop nests directly.
2nd International Conference on Parallel and Distributed Computing and
Networks (PDCN'98) , Pages 455--461, Brisbane, 1998.
- S. Chen and J. Xue.
Issues of tiling double loops on distributed memory machines.
5th Australian Parallel and Real-Time Systems (PART'98) , Pages
377--388, Adelaide, 1998.
- P. Tang and J. Xue.
Job size for internet parallel computing.
2nd International Conference on Parallel and Distributed Computing and
Networks (PDCN'98), Pages 565--570, Brisbane, 1998.
- S. Chen, J. Xue, Y. Zhang and J. Ma.
An expert control system for gas furnace pressure.
2nd IEEE International Conference on Intelligent Processing
Systems (ICIPS'98), Pages 233--237, Piscataway, NJ, USA, 1998.
- P. Lenders and J. Xue.
Eigenvectors-based parallelisation of nested loops with affine dependences.
3rd International Conference on Algorithms and Architectures for
Parallel Processing (ICA3PP'97), Pages 357--366, Melbourne, 1997.
- J. Xue and C.-H. Huang.
Reuse-driven tiling for data locality.
10th Workshop on Languages and Compilers for Parallel
Computing (LCPC'97) , Lecture Notes
in Computer Science 1366, Pages
16--33, Minneapolis, Minn., 1997. Springer-Verlag.
- J. Xue.
Communication-minimal tiling of uniform dependence loops.
9th Workshop on Languages and Compilers for Parallel Computing
(LCPC'96) ,
Lecture Notes in Computer Science 1239, Pages 300--319, San Jose,
1996. Springer-Verlag.
- J. Xue.
Affine-by-statement transformations for imperfectly nested loops.
10th International Parallel Processing
Symposium (IPPS'96), Pages
34--38, Hawaii, 1996.
(SPDP + IPPS = IPDPS)
- J. Xue.
On loop restructuring by converting imperfect to perfect loop nests.
2nd International Conference on Algorithms and Architectures for
Parallel Processing (ICA3PP), Pages 421--429, Singapore, 1996.
- J. Xue.
On tiling as a loop transformation.
1996 SPDP Workshop on Challenges in Compiling for Scalable Parallel
Systems, New Orleans, 1996. IEEE Computer Society Press.
- J. Xue.
Constructing DO loops for non-convex iteration spaces in compiling for
parallel machines.
9th International Parallel Processing Symposium (IPPS'95),
Pages
364--368, Santa Barbara, 1995. IEEE Computer Society Press.
(SPDP + IPPS = IPDPS)
- J. Xue.
Non-unimodular code generation for parallel machines.
1st International Conference on Algorithms and Architectures for
Parallel Processing (ICA3PP'95), Pages 181--184, Brisbane, 1995.
- J. Xue.
Scanning non-convex iteration spaces.
4th International Conference on Young Computer Scientists,
Pages 114--121, Beijing, 1995.
- J. Xue.
The design of optimal linear processor arrays with closed-form conditions.
High Performance Computing'94: Challenges into the 21st
Century, Pages 246--253, Singapore, 1994.
- J. Xue.
Syspar: A software package for systolising and parallelising nested loop
algorithms.
IEEE region 10's 9th Annual International Conference Frontiers of
Computer Technology, Pages 551--555, Singapore, 1994.
- J. Xue and P. Lenders.
Avoiding data link and computational conflicts in mapping algorithms to
lower-dimensional processor arrays.
In Lionel M. Ni, editor, 1994 International Conference on Parallel and
Distributed Systems, Pages 567--572, Taiwan, 1994. IEEE
Computer Society Press.
- J. Xue.
An algorithm to automate non-unimodular transformations of loop nests.
5th IEEE Symposium on Parallel and Distributed Processing (SPDP'93) ,
Pages 512--519, Dallas, 1993. IEEE Computer Society Press.
(PDF)
(SPDP + IPPS = IPDPS)
- J. Xue.
A new formulation of mapping conditions for the synthesis of linear systolic
arrays.
In L. Dadda and B. W. Wah, editors, International Conference on
Application Specific Array Processors (ASAP'93), Pages 297--308, Venice,
1993. IEEE Computer Society Press.
(PDF)
- J. Xue.
On the loading, recovery and access of stationary data in systolic arrays.
In L. Bouge, M. Cosnard, Y. Robert, and D. Trystram, editors, Parallel
Processing: CONPAR92-VAPP V, Lecture Notes in Computer Science 634,
Pages 259--264. Elsevier (North-Holland), Lyon, Sept. 1992.
- J. Xue and C. Lengauer.
On one-dimensional systolic arrays.
ACM International Workshop on Formal Methods in VLSI Design,
Miami, 1991.
Journal Papers
-
Long Zheng, Bing Zhu, PengchenG Yao, Yuhang Zhou, Chengao Pan,
Wenju Zhao, Xiaofei Liao, and Hai Jin, and Jingling Xue.
PRAGA: A Priority-Aware Hardware/Software Co-design for
High-Throughput Graph Processing Acceleration.
ACM Transactions on Architecture and Code Optimization (TACO), 2025.
-
Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu,
Lian Li, and Jingling Xue.
PEARL: A Multi-Derivation Approach to Efficient CFL-Reachability Solving.
IEEE Transactions on Software Engineering (TSE),
50(9):2379 -- 2397, 2024.
-
Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui and Jingling Xue.
A Smart Status Based Monitoring Algorithm for the Dynamic
Analysis of Memory Safety.
ACM Transactions on Software Engineering and Methodology
(TOSEM), 33(4), Article 89, 47 pages, 2024.
-
Jifeng Wu, Wei Li, Libing Wu, Mengting Yuan, Chun Jason Xue,
Jingling Xue and Qingan Li.
Effective Stack Wear Leveling for NVM
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD),
42(10):3250--3263, 2023.
-
Dongjie He, Jingbo Lu and Jingling Xue.
IFDS-based Context Debloating for Object-Sensitive Pointer Analysis.
ACM Transactions on Software Engineering and Methodology (TOSEM), 32(4):101:1--101:44, 2023.
-
Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, and Jingling Xue.
A Source-Level Instrumentation Framework for
the Dynamic Analysis of Memory Safety.
IEEE Transactions on Software Engineering (TSE),
49(4):2107--2127,
2023.
-
Hong-Na Geng, Fang Lv, Ming Zhong, Hui-Min Cui, Jingling Xue, and
Xiao-Bing Feng.
Automatic Target Description File Generation.
Journal of Computer Science and Technology (JCST),
38(6):1339-1355, 2023.
-
Dongjie He, Jingbo Lu, Yaoqing Gao and Jingling Xue.
Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis.
IEEE Transactions on Software Engineering (TSE), 49(2): 719--742, 2023.
-
Changwei Zou,
Yaoqing Gao, and
Jingling Xue.
Practical Software-Based Shadow Stacks on x86-64.
ACM Transactions on Architecture and Code Optimization (TACO), 19(4):1544--3566, 2022.
-
Long Zheng, Haifeng Liu, Yu Huang, Dan Chen, Chaoqiang Liu, Haiheng He, Xiaofei
Liao, Hai Jin, and Jingling Xue.
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 (IEEE TCAD),
41(11):3745--3756, 2022.
-
Yu Huang, Long Zheng, Pengcheng Yao, Qinggang Wang, Haifeng Liu, Xiaofei Liao,
Hai Jin, and Jingling Xue. Ready: A ReRAM-based Processing-In-Memory Accelerator
for Dynamic Graph Convolutional Networks.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD),
41(11):3567--3578, 2022.
-
Chen Liu, Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng and Jingling Xue.
CloudRaid: Detecting Distributed Concurrency
Bugs via Log Mining and Enhancement.
IEEE Transactions on Software Engineering (TSE),
48(2):662--677, 2022.
-
Changwei Zou, Xudong Wang, Yaoqing Gao and Jingling Xue.
Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization.
ACM Transactions on Software Engineering and Methodology (TOSEM),
31(2):1--37, 2022.
-
Guangli Li, Xiu Ma, Xueying Wang, Hengshan Yue, Jiansong Li, Lei Liu, Xiaobing Feng and Jingling Xue.
Changwei Zou, Xudong Wang, Yaoqing Gao and Jingling Xue.
Optimizing Deep Neural Networks on Intelligent Edge Accelerators via Flexible-Rate Filter Pruning.
Journal of Systems Architecture, Vol. 124, 2022.
-
Jingbo Lu, Dongjie He and Jingling Xue. Eagle:
CFL-Reachability-based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis.
ACM Transactions on Software Engineering and Methodology (TOSEM), 30(4),
Article 46, 46 pages,
2021.
-
Qinggang Wang, Long Zheng, Jieshan Zhao, Xiaofei Liao, Hai Jin, and Jingling Xue. A Conflict-Free Scheduler for High Performance Graph Processing on Multi-Pipeline FPGAs.
ACM Transactions on Architecture and Code Optimization (TACO), 17(2), Article 14, 26 pages, 2020.
-
Guangli Li, Xiu Ma, Xueying Wang, Lei Liu, Jingling Xue and Xiaobing Feng.
Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11): 3614--3626, 2020.
-
Chunwei Xia, Jiacheng Zhao, Huimin Cui, Xiaobing Feng
and Jingling Xue.
DNNTune: Automatic Benchmarking DNN Models for
Mobile-Cloud Computing.
ACM Transactions on Architecture and Code Optimization (TACO), 16(4):49:1--49:26, 2020.
-
Yulei Sui and Jingling Xue.
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++.
IEEE Transactions on Software Engineering (TSE),
46(8):812 -- 835, 2020.
-
Yue Li, Tian Tan and Jingling Xue.
Understanding and Analyzing Java Reflection.
ACM Transactions on Software Engineering and Methodology (TOSEM),
28(2), Article 7, 50 pages, 2019.
-
Feng Zhang and Jingling Xue.
POKER: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding.
ACM Transactions on Architecture and Code Optimization (TACO), 15(4):46:1--46:28, 2018.
-
Yulei Sui, Hua Yan, Zheng Zheng, Yunpeng Zhang, and
Jingling Xue.
Parallel Construction of Interprocedural Memory SSA Form.
Journal of Systems and Software
, 146:186--195, 2018.
-
Xing Su, Xiangke Liang, Hao Jiang, Canqun Yang and Jingling Xue.
SCP: Shared Cache Partitioning for High-Performance GEMM.
ACM Transactions on Architecture and Code Optimization (TACO), 15(4):43:1--43:21, 2018.
-
Yifei Zhang, Yue Li, Tian Tan and Jingling Xue.
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments.
Software -- Practice and Experience (SPE),
48(8):1419--1437, 2018.
-
Yulei Sui, Xiaokang Fan, Hao Zhou and Jingling Xue.
Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization.
ACM Transactions on Embedded Computing Systems (TECS),
17(2):56:1--56:31,
2018.
-
Duo Liu, Kan Zhong, Tianzheng Wang, Yi Wang, Zili Shao, Edwin H.-M. Sha, and Jingling Xue. Durable Address Translation in PCM-based Flash Storage Systems.
IEEE Transactions on Parallel and Distributed
Systems (TPDS), 28(2):475--490, 2017.
-
Y. Wang, T. Wang, D. Liu, Z. Shao and Jingling Xue.
Fine Grained, Direct Access File System Support for Storage
Class Memory.
Journal of Systems Architecture,
, 72:80--92, 2016.
-
Yulei Sui, Ding Ye, Yu Su and Jingling Xue.
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions.
IEEE Transactions on Reliability (TR), 65(4):1682--1699, 2016.
(PDF)
- Hao Zhou and Jingling Xue.
A Compiler Approach for Exploiting Partial SIMD Parallelism.
ACM Transactions on Architecture and Code Optimization (TACO), 13(1):11:1--11:26, 2016.
-
Yu Su, Ding Ye, Jingling Xue and Xiangke Liao.
An Efficient GPU Implementation of Inclusion-based Pointer Analysis.
IEEE Transactions on Parallel and Distributed
Systems (TPDS), 27(2):353--366, 2015.
-
Juan Chen, Yuhua Tang, Yong Dong, Jingling Xue, Zhiyuan Wang
and Wenhao Zhou.
Reducing Static Energy in Supercomputer
Interconnection Networks Using Topology-Aware
Partitioning.
IEEE Transactions on Computers (TC),
65(8):2588--2602, 2016.
(PDF)
-
Jiacheng Zhao, Huimin Cui, Jingling Xue and Xiaobing Feng.
Predicting Cross-Core Performance Interference on Multicore Processors with Regression Analysis.
IEEE Transactions on Parallel and Distributed
Systems (TPDS), 2015.
-
L. Wang, X. Liao, J. Xue, L. S. Wei, Y.C. Wen, X. Yang. Enhancement of Cooperation between File Systems and Applications on VFS Extensions for Optimized Performance.
Science China Information Sciences, 58(9):1--10, 2015.
-
Yulei Sui, Ding Ye and Jingling Xue.
Detecting Memory Leaks Statically
with Full-Sparse Value-Flow Analysis.
IEEE Transactions on Software Engineering (TSE),
40(2):107--122, 2014.
-
L. Wang, J. Xue and X. Yang. Acyclic Orientation Graph Coloring for Software-Managed Memory Allocation.
Science China Information Sciences, 57(9):1--18, 2014.
-
Xiang-Ke Liao, Can-Qun Yung, Tao Tang, Huizhan Yi, Feng Wang, Qiang Wu and Jingling Xue.
OpenMC: Towards Simplifying Programming for TianHe Supercomputers.
Journal of Computer Science and Technology (JCST), 29(3):532--546, 2014.
(PDF)
-
Yulei Sui, Sen Ye, Jingling Xue and Jie Zhang.
Making Context-Sensitive Inclusion-based Pointer Analysis Practical for Compilers Using Parameterised Summarisation.
Software -- Practice and Experience (SPE),
44(12):1485--1510, 2014.
(PDF)
-
Jianli Li, Jingling Xue, Xinwei Xie, Qing Wan, Qingping Tan, Lanfang Tan.
Epipe: a Low-Cost Fault-Tolerance Technique Considering WCET Constraints.
Journal of Systems Architecture,
, 59(10-D):1383--1393, 2023.
-
Lin Gao, Lian Li, Jingling Xue and Pen-Chung Yew.
SEED: A Statically-Greedy and Dynamically-Adaptive Approach for
Speculative Loop Execution.
IEEE Transactions on Computers (TC), 62(5):1004--1016, 2013.
(PDF)
- Xuemeng Zhang, Hui Wu and
Jingling Xue.
Instruction scheduling with k-successor tree for clustered VLIW processors.
Design Automation for Embedded Systems,
1--20, 2013.
(PDF)
- Huimin Cui, Qing Yi, Jingling Xue and Xiaobing Feng.
Layout-oblivious Compiler Optimization for Matrix Computations.
ACM Transactions on Architecture and Code Optimization (TACO), 9(4):35:1--35:20, 2013.
(PDF)
-
Xinwei Xie, Jingling Xue and Jie Zhang.
AccuLock: Accurate and Efficient Detection of Data Races.
Software -- Practice and Experience (SPE),
43(5):543--576, 2013.
(PDF)
- Huimin Cui, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng and Dongrui Fan.
Extendable Pattern-Oriented Optimization Directives.
ACM Transactions on Architecture and Code Optimization (TACO), 9(3):14:1--14:37, 2012.
-
Peng Di, Hui Wu, Jingling Xue, Feng Wang and Canqun Yang.
Parallelizing SOR for GPGPUs Using Alternate Loop Tiling.
Parallel Computing,
38(6--7):310--328, 2012.
(PDF)
-
Xinhai Xu, Xuejun Yang, Jingling Xue, Yufei Lin and Yisong Lin.
PartialRC: A Partial Recomputing Method for Efficient Fault Recovery on GPGPUs.
Journal of Computer Science and Technology (JCST), 27(2):240--255, 2012.
- Xuejun Yang, Li Wang and Jingling Xue.
Comparability Graph Coloring for Optimizing Utilization of
Software-Managed Stream Register Files for Stream Processors.
ACM Transactions on Architecture and Code Optimization (TACO), 9(1):5:1 -- 5:30, 2012.
(PDF)
-
Yang Yang, Huimin Cui, Xiao-Bing Feng and Jingling Xue.
A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs.
Journal of Computer Science and Technology (JCST), 27(1):57-- 74, 2012.
(PDF)
-
L Wang, J. Xue and X. Yang.
Optimizing Modulo Scheduling to Achieve Reuse and
Concurrency for Stream Processors.
Journal of Supercomputing, 59(3):1229--1251, 2012.
(PDF)
-
Xuejun Yang, Zhiyuan Wang, Jingling Xue and Yun Zhou.
The Reliability Wall for Exascale Supercomputing.
IEEE Transactions on Computers (TC), 61(6):767 -- 779, 2012.
(PDF)
-
Duo Liu, Yi Wang, Zili Shao, Minyi Guo and Jingling Xue.
Optimally Maximizing Iteration-Level Loop Parallelism.
IEEE Transactions on Parallel and Distributed Systems (TPDS), 23(3):564--572, 2011.
(PDF)
-
Lian Li, Jingling Xue and Jens Knoop.
Scratchpad Memory
Allocation for Data Aggregates via Interval Coloring in Superperfect Graphs.
ACM Transactions on Embedded Computing Systems (TECS),
10(2):28:1 -- 28: 48, 2011.
(PDF)
-
Meng Wang, Zili Shao and Jingling Xue.
On Reducing Hidden Redundant Memory
Accesses for DSP Applications.
IEEE Transactions on Very
Large Scale Integration Systems (TVLSI),
19(6):997--1010, 2011.
(PDF)
-
Yong Guan and Jingling Xue
Leakage-Aware Modulo Scheduling for Embedded VLIW Processors.
Journal of Computer Science and Technology (JCST), 26(3):405 -- 417, 2011.
- Xuejun Yang, Ying Zhang, Xicheng Lu, Jingling Xue, Ian Rogers,
Gen Li and Xudong Fang.
Exploiting the Reuse Supplied by Loop-Dependent Stream References for Stream Processors.
ACM Transactions on Architecture and Code Optimization (TACO), 7(2):11:1 -- 11:35, 2010.
(PDF)
- Lin Gao, Jingling Xue and Tin-Fook Ngai.
Loop Recreation for Thread-Level Speculation on Multicore Processors.
Software -- Practice and Experience (SPE), 40(1):45--72, 2010.
(PDF)
-
Anderson Kuei-An Ku, Jingling Xue and Yong Guan.
Gather/scatter hardware support for accelerating Fast Fourier Transform.
Journal of Systems Architecture,
2010.
- Wei Mi, Xiao-Bing Feng, Yao-Cang Jia, Li Chen and
Jingling Xue.
PARBLO: Page-Allocation-Based DRAM Row Buffer Locality Optimization.
Journal of Computer Science and Technology (JCST),
24(6): 1089 - 1097, 2009.
- Lian Li, Hui Feng and Jingling Xue.
Compiler-directed scratchpad memory management via graph coloring.
ACM Transactions on Architecture and Code Optimization (TACO),
6(3):9:1 -- 9:17, 2009.
(PDF)
- P. Lenders and J. Xue.
Factorization of Singular Integer Matrices.
Linear Algebra and and its Applications,
428 (4):1046--1055, 2008.
(PDF)
-
B. Scholz, B. Burgstaller and J. Xue.
Minimal Placement of
Bank Selection Instructions for Partitioned Memory
Architectures.
ACM Transactions on Embedded Computing Systems (TECS) ,
7(2):12:1 -- 12:32, 2008.
(PDF)
-
J. Xue, M. Guo and D. Wei.
Improving the Parallelism of Iterative Methods by Aggressive Loop Fusion.
Journal of Supercomputing, 43(2):147--164, 2008.
(PDF)
- X. Vera, B. Lisper and J. Xue.
Data Cache Locking for Tight Timing Calculations.
ACM Transactions on Embedded Computing Systems (TECS),
7(1):14:1 -- 14:38, 2007.
(PDF)
- J. Xue, P. Nguyen and J. Potter.
Interprocedural Side-Effect Analysis for Incomplete Object-Oriented Software Modules.
Journal of Systems and Software, 80(1):92--105, 2007.
- L. Li and J. Xue.
Trace-based Leakage Energy Optimisations at Link Time.
Journal of Systems Architecture, 53(1):1--20, 2007.
- J. Xue and Q. Cai.
A lifetime optimal algorithm for speculative PRE.
ACM Transactions on Architecture and Code Optimization (TACO) , 3(2):115--155, 2006.
(PDF)
- J. Xue, Q. Cai and L. Gao.
Partial dead code elimination on predicated code regions.
Software -- Practice and Experience ,
36(15):1655--1685, 2006.
- J. Xue and X. Vera.
Efficient and accurate analytical modeling of
whole-program data cache behavior.
IEEE Transactions on Computers, 53(5):547--566, 2004.
- J. Xue and W. Cai.
Time-minimal tiling when rise is larger than zero.
Parallel Computing, 28(6):915--939, 2002.
(Postscript)
- P. Lenders and J. Xue.
Eigenvectors-based parallelisation of nested loops with affine
dependences.
Parallel Algorithms and Applications, 17(3):227--248, 2002.
(Postscript)
- J. Xue and P. Lenders.
Space-time equations for non-unimodular mappings.
International Journal of Computer Mathematics, 79(5):555--572, 2002.
(Postscript)
- S. Chen and J. Xue.
Communication overhead on distributed memory machines.
Parallel and Distributed Computing Practice, 1(4):93--104, 2001.
- P. Tang and J. Xue.
Generating efficient tiled code for distributed memory machines.
Parallel Computing, 26(11):1369--1410, 2000.
(Postscript)
- S. Chen and J. Xue.
Partitioning and Scheduling loops on NOWs.
Journal of Computer Communications, 22(11):1017--1033, 1999.
- J. Xue and C.-H. Huang.
Reuse-driven tiling for improving data locality.
International Journal of Parallel Programming,
26(6):671--696, 1998.
(Postscript)
- J. Xue.
Communication-minimal tiling of uniform dependence loops.
Journal of Parallel and Distributed Computing,
42(1):42--59, 1997.
(Postscript)
- J. Xue.
On tiling as a loop transformation.
Parallel Processing Letters, 7(4):409--424, 1997.
(Postscript)
- J. Xue.
Unimodular transformations of non-perfectly nested loops.
Parallel Computing, 22(12):1621--1645, 1997.
(Postscript)
- J. Xue.
Generalising the unimodular approach to restructure imperfectly nested loops.
Parallel Processing Letters, 6(3):401--414, 1996
(Postscript)
- J. Xue.
Transformations of nested loops with non-convex iteration spaces.
Parallel Computing, 22(3):339--368, 1996.
(Postscript)
- J. Xue.
Closed-form mapping conditions for the synthesis of linear processor arrays.
J. VLSI Signal Processing, 10(2):181--199, 1995.
(Postscript)
- J. Xue.
Automating non-unimodular loop transformations for massive parallelism.
Parallel Computing, 20(5):711--728, 1994.
(Postscript)
- J. Xue and C. Lengauer.
The synthesis of control signals for one-dimensional systolic arrays.
Integration, The VLSI Journal, 14(1):1--32, Nov. 1992.
(Postscript)
- J. Xue.
Specifying control signals for systolic arrays by uniform recurrence equations.
Parallel Processing Letters, 1(2):83--93, 1991.
- C. Lengauer and J. Xue.
A systolic array for pyramidal algorithms.
J. VLSI Signal Processing, 3(3):239--259, 1991.
- J. Xue and X. Hong.
A new data structure for representing cell hierarchy in layout design.
Computer & Graphics, 12(3/4):341--349, 1988.
Technical Reports
-
Yulei Sui, Sen Ye and Jingling Xue.
Making Context-Sensitive Inclusion-based Pointer Analysis Practical for Compilers Using Parameterised Summarisation.
Technical Report, UNSW-CSE-TR-201315, June 2013.
(PDF)
-
Yu Su, Ding Ye and Jingling Xue.
Accelerating Inclusion-based Points-to Analysis on Heterogeneous CPU-GPU Systems, Technical Report,
UNSW-CSE-TR-201314, June 2013.
(PDF)
Edited Books
-
T. Srikanthan, J. Xue and C.-H. Chang.
Advances in Computer Systems Architecture, 10th Asia-Pacific Conference,
. ACSAC 2005, Singapore, October 24--26, 2005,
Proceedings. Lecture Notes in Computer Science 3740 Springer 2005,
ISBN 3-540-29643-3.
-
P. Yew and J. Xue.
Advances in Computer Systems Architecture, 9th Asia-Pacific Conference,
. ACSAC 2004, Beijing, China, September 7--9, 2004,
Proceedings. Lecture Notes in Computer Science 3189 Springer 2004, ISBN 3-540-23003-3
Book Chapters
-
J. Xue and Q. Huang.
Code Tiling: One Size Fits All.
In G. T. Yang and M. Guo, editors,
High Performance Computing: Paradigm and Infrastructure
, Chapter 11, Pages 219--240. John Wiley & Sons Inc., 2005.
- C. Lengauer and J. Xue.
Adapting a sequential algorithm for a systolic design.
In G. M. Megson, editor, Transformational Approaches to Systolic
Design, Parallel and Distributed Computing Series, Chapter 8, Pages
179--204. Chapman & Hall, 1994.
- J. Xue and C. Lengauer.
Specifying control signals for one-dimensional systolic arrays by uniform
recurrence equations.
In P. Quinton and Y. Robert, editors, Algorithms and Parallel VLSI
Architectures II, Chapter 17, Pages 181--187. Elsevier (North-Holland),
Toulouse, 1991.
Edited Journal Special Issues
-
J. Xue.
Cache Exploitation in Embedded Systems, Journal of Embedded Computing,
1(4), 2005.
-
P. Yew and J. Xue.
Advanced Computer Systems Architecture, Journal of Computer Science
and Technology, 20(5), 2005.