default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJingling Xue
薛京灵
Person information
- unicode name: 薛京灵
- affiliation: University of New South Wales, School of Computer Science and Engineering, Sydney, NSW, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2000
[b2]Jingling Xue:
Loop Tiling for Parallelism. The Kluwer International Series in Engineering and Computer Science 575, Kluwer 2000, ISBN 0-7923-7933-0- 1992
- [b1]Jingling Xue:
Formal synthesis of control signals for systolic arrays. University of Edinburgh, UK, 1992
Journal Articles
- 2024
- [j101]Pei Xu
, Yuxiang Lei, Yulei Sui, Jingling Xue:
Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. Proc. ACM Program. Lang. 8(OOPSLA1): 1437-1462 (2024) - [j100]Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue:
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers. Proc. ACM Program. Lang. 8(OOPSLA2): 2633-2661 (2024) - [j99]Changwei Zou, Dongjie He, Yulei Sui, Jingling Xue:
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers. Proc. ACM Softw. Eng. 1(FSE): 1609-1631 (2024) - [j98]Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui, Jingling Xue:
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety. ACM Trans. Softw. Eng. Methodol. 33(4): 89:1-89:47 (2024) - [j97]Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue:
Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving. IEEE Trans. Software Eng. 50(9): 2379-2397 (2024) - 2023
- [j96]Feng Yu, Jiacheng Zhao, Hui-Min Cui, Xiaobing Feng, Jingling Xue:
VTensor: Using Virtual Tensors to Build a Layout-Oblivious AI Programming Framework. J. Comput. Sci. Technol. 38(5): 1074-1097 (2023) - [j95]Hongna Geng, Fang Lyu, Ming Zhong, Hui-Min Cui, Jingling Xue, Xiaobing Feng:
Automatic Target Description File Generation. J. Comput. Sci. Technol. 38(6): 1339-1355 (2023) - [j94]Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, Jingling Xue:
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis. Proc. ACM Program. Lang. 7(OOPSLA2): 971-1000 (2023) - [j93]Jifeng Wu, Wei Li, Libing Wu, Mengting Yuan, Chun Jason Xue, Jingling Xue, Qingan Li:
Effective Stack Wear Leveling for NVM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3250-3263 (2023) - [j92]Dongjie He, Jingbo Lu, Jingling Xue:
IFDS-based Context Debloating for Object-Sensitive Pointer Analysis. ACM Trans. Softw. Eng. Methodol. 32(4): 101:1-101:44 (2023) - [j91]Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis. IEEE Trans. Software Eng. 49(2): 719-742 (2023) - [j90]Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, Jingling Xue:
A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety. IEEE Trans. Software Eng. 49(4): 2107-2127 (2023) - 2022
- [j89]Dongjie He, Jingbo Lu, Jingling Xue:
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact). Dagstuhl Artifacts Ser. 8(2): 06:1-06:3 (2022) - [j88]Guangli Li, Xiu Ma, Xueying Wang, Hengshan Yue, Jiansong Li, Lei Liu, Xiaobing Feng, Jingling Xue:
Optimizing deep neural networks on intelligent edge accelerators via flexible-rate filter pruning. J. Syst. Archit. 124: 102431 (2022) - [j87]Changwei Zou, Yaoqing Gao, Jingling Xue:
Practical Software-Based Shadow Stacks on x86-64. ACM Trans. Archit. Code Optim. 19(4): 61:1-61:26 (2022) - [j86]Yu Huang, Long Zheng, Pengcheng Yao, Qinggang Wang, Haifeng Liu, Xiaofei Liao, Hai Jin, Jingling Xue:
ReaDy: A ReRAM-Based Processing-in-Memory Accelerator for Dynamic Graph Convolutional Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3567-3578 (2022) - [j85]Long Zheng, Haifeng Liu, Yu Huang, Dan Chen, Chaoqiang Liu, Haiheng He, Xiaofei Liao, Hai Jin, Jingling Xue:
A Flexible Yet Efficient DNN Pruning Approach for Crossbar-Based Processing-in-Memory Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3745-3756 (2022) - [j84]Changwei Zou, Xudong Wang, Yaoqing Gao, Jingling Xue:
Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization. ACM Trans. Softw. Eng. Methodol. 31(2): 35e:1-35e:37 (2022) - [j83]Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling Xue:
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement. IEEE Trans. Software Eng. 48(2): 662-677 (2022) - 2021
- [j82]Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact). Dagstuhl Artifacts Ser. 7(2): 12:1-12:3 (2021) - [j81]Daniele D'Agostino, Francesco Leporati, Massimo Torquati, Jingling Xue:
Guest Editorial: Special Section on New Trends in Parallel and Distributed Computing for Human Sensible Applications. IEEE Trans. Emerg. Top. Comput. 9(4): 1640-1641 (2021) - [j80]Jingbo Lu, Dongjie He, Jingling Xue:
Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity. ACM Trans. Softw. Eng. Methodol. 30(4): 46:1-46:46 (2021) - 2020
- [j79]Chunwei Xia, Jiacheng Zhao, Huimin Cui, Xiaobing Feng, Jingling Xue:
DNNTune: Automatic Benchmarking DNN Models for Mobile-cloud Computing. ACM Trans. Archit. Code Optim. 16(4): 49:1-49:26 (2020) - [j78]Qinggang Wang, Long Zheng, Jieshan Zhao, Xiaofei Liao, Hai Jin, Jingling Xue:
A Conflict-free Scheduler for High-performance Graph Processing on Multi-pipeline FPGAs. ACM Trans. Archit. Code Optim. 17(2): 14:1-14:26 (2020) - [j77]Guangli Li, Xiu Ma, Xueying Wang, Lei Liu, Jingling Xue, Xiaobing Feng:
Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3614-3626 (2020) - [j76]Yulei Sui, Jingling Xue:
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++. IEEE Trans. Software Eng. 46(8): 812-835 (2020) - 2019
- [j75]Wang Li, Jingling Xue, Xiangke Liao, Yunchuan Wen, Min Chen:
LCCFS: a lightweight distributed file system for cloud computing without journaling and metadata services. Sci. China Inf. Sci. 62(7): 72101:1-72101:14 (2019) - [j74]Jingbo Lu, Jingling Xue:
Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity. Proc. ACM Program. Lang. 3(OOPSLA): 148:1-148:29 (2019) - [j73]Xing Su, Xiangke Liao, Hao Jiang, Canqun Yang, Jingling Xue:
SCP: Shared Cache Partitioning for High-Performance GEMM. ACM Trans. Archit. Code Optim. 15(4): 43:1-43:21 (2019) - [j72]Feng Zhang, Jingling Xue:
Poker: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding. ACM Trans. Archit. Code Optim. 15(4): 46:1-46:28 (2019) - [j71]Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. ACM Trans. Softw. Eng. Methodol. 28(2): 7:1-7:50 (2019) - 2018
- [j70]Yulei Sui, Hua Yan, Zheng Zheng, Yunpeng Zhang, Jingling Xue:
Parallel construction of interprocedural memory SSA form. J. Syst. Softw. 146: 186-195 (2018) - [j69]Yifei Zhang, Yue Li, Tian Tan, Jingling Xue:
Ripple: Reflection analysis for Android apps in incomplete information environments. Softw. Pract. Exp. 48(8): 1419-1437 (2018) - [j68]Yulei Sui, Xiaokang Fan, Hao Zhou, Jingling Xue:
Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization. ACM Trans. Embed. Comput. Syst. 17(2): 56:1-56:31 (2018) - 2017
- [j67]Yi Wang, Tianzheng Wang, Duo Liu, Zili Shao, Jingling Xue:
Fine grained, direct access file system support for storage class memory. J. Syst. Archit. 72: 80-92 (2017) - [j66]Xuesong Su, Hui Wu, Jingling Xue:
An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors. ACM Trans. Embed. Comput. Syst. 16(5s): 120:1-120:21 (2017) - [j65]Duo Liu, Kan Zhong, Tianzheng Wang, Yi Wang, Zili Shao, Edwin Hsing-Mean Sha, Jingling Xue:
Durable Address Translation in PCM-Based Flash Storage Systems. IEEE Trans. Parallel Distributed Syst. 28(2): 475-490 (2017) - 2016
- [j64]Zhiyuan Wang, Yuhua Tang, Juan Chen, Jingling Xue, Yun Zhou, Yong Dong:
Energy Wall for Exascale Supercomputing. Comput. Informatics 35(4): 941-962 (2016) - [j63]Tian Tan, Yue Li, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria (Artifact). Dagstuhl Artifacts Ser. 2(1): 08:1-08:3 (2016) - [j62]Hao Zhou, Jingling Xue:
A Compiler Approach for Exploiting Partial SIMD Parallelism. ACM Trans. Archit. Code Optim. 13(1): 11:1-11:26 (2016) - [j61]Juan Chen, Yuhua Tang, Yong Dong, Jingling Xue, Zhiyuan Wang, Wenhao Zhou:
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning. IEEE Trans. Computers 65(8): 2588-2602 (2016) - [j60]Yu Su, Ding Ye, Jingling Xue, Xiangke Liao:
An Efficient GPU Implementation of Inclusion-Based Pointer Analysis. IEEE Trans. Parallel Distributed Syst. 27(2): 353-366 (2016) - [j59]Jiacheng Zhao, Huimin Cui, Jingling Xue, Xiaobing Feng:
Predicting Cross-Core Performance Interference on Multicore Processors with Regression Analysis. IEEE Trans. Parallel Distributed Syst. 27(5): 1443-1456 (2016) - [j58]Yulei Sui, Ding Ye, Yu Su, Jingling Xue:
Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions. IEEE Trans. Reliab. 65(4): 1682-1699 (2016) - 2015
- [j57]Wang Li, Xiangke Liao, Jingling Xue, Sage A. Weil, Yunchuan Wen, Xuejun Yang:
Enhancement of cooperation between file systems and applications - on VFS extensions for optimized performance. Sci. China Inf. Sci. 58(9): 1-10 (2015) - 2014
- [j56]Li Wang, Jingling Xue, Xuejun Yang:
Acyclic orientation graph coloring for software-managed memory allocation. Sci. China Inf. Sci. 57(9): 1-18 (2014) - [j55]Xiangke Liao, Canqun Yang, Tao Tang, Huizhan Yi, Feng Wang, Qiang Wu, Jingling Xue:
OpenMC: Towards Simplifying Programming for TianHe Supercomputers. J. Comput. Sci. Technol. 29(3): 532-546 (2014) - [j54]Yulei Sui, Sen Ye, Jingling Xue, Jie Zhang:
Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation. Softw. Pract. Exp. 44(12): 1485-1510 (2014) - [j53]Yulei Sui, Ding Ye, Jingling Xue:
Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis. IEEE Trans. Software Eng. 40(2): 107-122 (2014) - 2013
- [j52]Xuemeng Zhang, Hui Wu, Jingling Xue:
Instruction scheduling with k-successor tree for clustered VLIW processors. Des. Autom. Embed. Syst. 17(2): 439-458 (2013) - [j51]Jianli Li, Jingling Xue, Xinwei Xie, Qing Wan, Qingping Tan, Lanfang Tan:
Epipe: A low-cost fault-tolerance technique considering WCET constraints. J. Syst. Archit. 59(10-D): 1383-1393 (2013) - [j50]Xinwei Xie, Jingling Xue, Jie Zhang:
Acculock: accurate and efficient detection of data races. Softw. Pract. Exp. 43(5): 543-576 (2013) - [j49]Huimin Cui, Qing Yi, Jingling Xue, Xiaobing Feng:
Layout-oblivious compiler optimization for matrix computations. ACM Trans. Archit. Code Optim. 9(4): 35:1-35:20 (2013) - [j48]Lin Gao, Lian Li, Jingling Xue, Pen-Chung Yew:
SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution. IEEE Trans. Computers 62(5): 1004-1016 (2013) - 2012
- [j47]Yang Yang, Huimin Cui, Xiaobing Feng, Jingling Xue:
A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs. J. Comput. Sci. Technol. 27(1): 57-74 (2012) - [j46]Xinhai Xu, Xue-Jun Yang, Jingling Xue, Yu-Fei Lin, Yi-Song Lin:
PartialRC: A Partial Recomputing Method for Efficient Fault Recovery on GPGPUs. J. Comput. Sci. Technol. 27(2): 240-255 (2012) - [j45]Peng Di, Hui Wu, Jingling Xue, Feng Wang, Canqun Yang:
Parallelizing SOR for GPGPUs using alternate loop tiling. Parallel Comput. 38(6-7): 310-328 (2012) - [j44]Xuejun Yang, Li Wang, Jingling Xue, Qingbo Wu:
Comparability Graph Coloring for Optimizing Utilization of Software-Managed Stream Register Files for Stream Processors. ACM Trans. Archit. Code Optim. 9(1): 5:1-5:30 (2012) - [j43]Huimin Cui, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng, Dongrui Fan:
Extendable pattern-oriented optimization directives. ACM Trans. Archit. Code Optim. 9(3): 14:1-14:37 (2012) - [j42]Xuejun Yang, Zhiyuan Wang, Jingling Xue, Yun Zhou:
The Reliability Wall for Exascale Supercomputing. IEEE Trans. Computers 61(6): 767-779 (2012) - [j41]Li Wang, Jingling Xue, Xuejun Yang:
Optimizing modulo scheduling to achieve reuse and concurrency for stream processors. J. Supercomput. 59(3): 1229-1251 (2012) - [j40]Duo Liu, Yi Wang, Zili Shao, Minyi Guo, Jingling Xue:
Optimally Maximizing Iteration-Level Loop Parallelism. IEEE Trans. Parallel Distributed Syst. 23(3): 564-572 (2012) - 2011
- [j39]Yong Guan, Jingling Xue:
Leakage-Aware Modulo Scheduling for Embedded VLIW Processors. J. Comput. Sci. Technol. 26(3): 405-417 (2011) - [j38]M. Wang, Zili Shao, Jingling Xue:
On Reducing Hidden Redundant Memory Accesses for DSP Applications. IEEE Trans. Very Large Scale Integr. Syst. 19(6): 997-1010 (2011) - 2010
- [j37]Anderson Kuei-An Ku, Jingling Xue, Yong Guan:
Gather/scatter hardware support for accelerating Fast Fourier Transform. J. Syst. Archit. 56(12): 667-684 (2010) - [j36]Lin Gao, Jingling Xue, Tin-Fook Ngai:
Loop recreation for thread-level speculation on multicore processors. Softw. Pract. Exp. 40(1): 45-72 (2010) - [j35]Xuejun Yang, Ying Zhang, Xicheng Lu, Jingling Xue, Ian Rogers, Gen Li, Guibin Wang, Xudong Fang:
Exploiting the reuse supplied by loop-dependent stream references for stream processors. ACM Trans. Archit. Code Optim. 7(2): 11:1-11:35 (2010) - [j34]Lian Li, Jingling Xue, Jens Knoop:
Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. ACM Trans. Embed. Comput. Syst. 10(2): 28:1-28:42 (2010) - 2009
- [j33]Wei Mi, Xiaobing Feng, Yao-Cang Jia, Li Chen, Jingling Xue:
PARBLO: Page-Allocation-Based DRAM Row Buffer Locality Optimization. J. Comput. Sci. Technol. 24(6): 1086-1097 (2009) - [j32]Lian Li, Hui Feng, Jingling Xue:
Compiler-directed scratchpad memory management via graph coloring. ACM Trans. Archit. Code Optim. 6(3): 9:1-9:17 (2009) - 2008
- [j31]Bernhard Scholz, Bernd Burgstaller, Jingling Xue:
Minimal placement of bank selection instructions for partitioned memory architectures. ACM Trans. Embed. Comput. Syst. 7(2): 12:1-12:32 (2008) - [j30]Minyi Guo, Jingling Xue:
Advances in high performance computing. J. Supercomput. 43(2): 105-106 (2008) - [j29]Jingling Xue, Minyi Guo, Daming Wei:
Improving the parallelism of iterative methods by aggressive loop fusion. J. Supercomput. 43(2): 147-164 (2008) - 2007
- [j28]Lian Li, Jingling Xue:
Trace-based leakage energy optimisations at link time. J. Syst. Archit. 53(1): 1-20 (2007) - [j27]Jingling Xue, Phung Hua Nguyen, John Potter:
Interprocedural side-effect analysis for incomplete object-oriented software modules. J. Syst. Softw. 80(1): 92-105 (2007) - [j26]Xavier Vera, Björn Lisper, Jingling Xue:
Data cache locking for tight timing calculations. ACM Trans. Embed. Comput. Syst. 7(1): 4:1-4:38 (2007) - 2006
- [j25]Jingling Xue, Qiong Cai, Lin Gao:
Partial dead code elimination on predicated code regions. Softw. Pract. Exp. 36(15): 1655-1685 (2006) - [j24]Jingling Xue, Jens Knoop:
A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem. Softwaretechnik-Trends 26(2) (2006) - [j23]Jingling Xue, Qiong Cai:
A lifetime optimal algorithm for speculative PRE. ACM Trans. Archit. Code Optim. 3(2): 115-155 (2006) - 2005
- [j22]Pen-Chung Yew, Jingling Xue:
Forword. J. Comput. Sci. Technol. 20(5): 575-576 (2005) - [j21]Jingling Xue:
Cache exploitation in embedded systems. J. Embed. Comput. 1(4): 435-436 (2005) - 2004
- [j20]Jingling Xue, Xavier Vera:
Efficient and Accurate Analytical Modeling of Whole-Program Data Cache Behavior. IEEE Trans. Computers 53(5): 547-566 (2004) - 2002
- [j19]Jingling Xue, Patrick M. Lenders:
Space-Time Equations for Non-Unimodular Mappings. Int. J. Comput. Math. 79(5): 555 (2002) - [j18]Patrick M. Lenders, Jingling Xue:
Eigenvectors-based parallelisation of nested loops with affine dependences. Parallel Algorithms Appl. 17(3): 227-248 (2002) - [j17]Jingling Xue, Wentong Cai:
Time-minimal tiling when rise is larger than zero. Parallel Comput. 28(6): 915-939 (2002) - 2001
- [j16]Shiping Chen, Jingling Xue:
Communication Overhead on Distributed Memory Machines. Parallel Distributed Comput. Pract. 4(1) (2001) - 2000
- [j15]Peiyi Tang, Jingling Xue:
Generating efficient tiled code for distributed memory machines. Parallel Comput. 26(11): 1369-1410 (2000) - 1999
- [j14]Shiping Chen, Jingling Xue:
Partitioning and scheduling loops on NOWs. Comput. Commun. 22(11): 1017-1033 (1999) - 1998
- [j13]Jingling Xue, Chua-Huang Huang:
Reuse-Driven Tiling for Improving Data Locality. Int. J. Parallel Program. 26(6): 671-696 (1998) - 1997
- [j12]Jingling Xue:
Communication-Minimal Tiling of Uniform Dependence Loops. J. Parallel Distributed Comput. 42(1): 42-59 (1997) - [j11]Jingling Xue:
Unimodular Transformations of Non-Perfectly Nested Loops. Parallel Comput. 22(12): 1621-1645 (1997) - [j10]Jingling Xue:
On Tiling as a Loop Transformation. Parallel Process. Lett. 7(4): 409-424 (1997) - 1996
- [j9]Jingling Xue:
Transformations of Nested Loops with Non-Convex Iteration Spaces. Parallel Comput. 22(3): 339-368 (1996) - [j8]Jingling Xue:
Generalising the Unimodular Approach to Restructure Imperfectly Nested Loops. Parallel Process. Lett. 6(3): 401-414 (1996) - 1995
- [j7]Jingling Xue:
Closed-form mapping conditions for the synthesis of linear processor arrays. J. VLSI Signal Process. 10(2): 181-199 (1995) - 1994
- [j6]Jingling Xue:
Automating Non-Unimodular Loop Transformations for Massive Parallelism. Parallel Comput. 20(5): 711-728 (1994) - 1992
- [j5]Jingling Xue, Christian Lengauer:
The synthesis of control signals for one-dimensional systolic arrays. Integr. 14(1): 1-32 (1992) - [j4]Christian Lengauer, Jingling Xue:
A systolic array for pyramidal algorithms. J. VLSI Signal Process. 4(1): 89 (1992) - 1991
- [j3]Jingling Xue:
Specifying control signals for Systolic Arrays by Uniform Recurrence Equations. Parallel Process. Lett. 1: 83-93 (1991) - [j2]Christian Lengauer, Jingling Xue:
A systolic array for pyramidal algorithms. J. VLSI Signal Process. 3(3): 237-257 (1991) - 1988
- [j1]Jingling Xue, Xian-Long Hong:
A new data structure for representing cell hierarchy in layout design. Comput. Graph. 12(3-4): 341-348 (1988)
Conference and Workshop Papers
- 2024
- [c179]Feng Yu, Guangli Li, Jiacheng Zhao, Huimin Cui, Xiaobing Feng, Jingling Xue:
Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization. ASPLOS (2) 2024: 797-812 - [c178]Wei Li, Dongjie He, Yujiang Gui, Wenguang Chen, Jingling Xue:
A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction. CC 2024: 60-72 - [c177]Guilherme Ottoni, Fernando Pereira, Michel Steuwer, Jingling Xue:
Welcome from the Program Chairs. CGO 2024: v-vi - [c176]Dongjie He, Jingbo Lu, Jingling Xue:
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction. ECOOP 2024: 18:1-18:29 - [c175]Minghua Wang, Jingling Xue, Lin Huang, Yuan Zi, Tao Wei:
UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking. FM (2) 2024: 307-324 - [c174]Haifeng Liu, Long Zheng, Yu Huang, Jingyi Zhou, Chaoqiang Liu, Runze Wang, Xiaofei Liao, Hai Jin, Jingling Xue:
Enabling Efficient Large Recommendation Model Training with Near CXL Memory Processing. ISCA 2024: 382-395 - [c173]Qinggang Wang, Long Zheng, Zhaozeng An, Shuyi Xiong, Runze Wang, Yu Huang, Pengcheng Yao, Xiaofei Liao, Hai Jin, Jingling Xue:
A Scalable, Efficient, and Robust Dynamic Memory Management Library for HLS-based FPGAs. MICRO 2024: 437-450 - [c172]Wei Song, Cong Cong, Haonan Zhong, Jingling Xue:
Correction-based Defense Against Adversarial Video Attacks via Discretization-Enhanced Video Compressive Sensing. USENIX Security Symposium 2024 - 2023
- [c171]Zhongcheng Zhang, Yan Ou, Ying Liu, Chenxi Wang, Yongbin Zhou, Xiaoyu Wang, Yuyang Zhang, Yucheng Ouyang, Jiahao Shan, Ying Wang, Jingling Xue, Huimin Cui, Xiaobing Feng:
Occamy: Elastically Sharing a SIMD Co-processor across Multiple CPU Cores. ASPLOS (3) 2023: 483-497 - [c170]Long Zheng, Xiangyu Ye, Haifeng Liu, Qinggang Wang, Yu Huang, Chuangyi Gui, Pengcheng Yao, Xiaofei Liao, Hai Jin, Jingling Xue:
AFaVS: Accurate Yet Fast Version Switching for Graph Processing Systems. ICDE 2023: 53-66 - [c169]Haifeng Liu, Long Zheng, Yu Huang, Chaoqiang Liu, Xiangyu Ye, Jingrui Yuan, Xiaofei Liao, Hai Jin, Jingling Xue:
Accelerating Personalized Recommendation with Cross-level Near-Memory Processing. ISCA 2023: 66:1-66:13 - [c168]Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue:
Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. ISSTA 2023: 101-113 - [c167]Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue:
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. ISSTA 2023: 114-126 - [c166]Yujiang Gui, Dongjie He, Jingling Xue:
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. ASE 2023: 319-331 - [c165]Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue:
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. ASE 2023: 624-636 - [c164]Jingbo Lu, Dongjie He, Wei Li, Yaoqing Gao, Jingling Xue:
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. ASE 2023: 736-747 - [c163]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. MLSys 2023 - [c162]Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li, Jingling Xue, Mengting Yuan:
Statistical Type Inference for Incomplete Programs. ESEC/SIGSOFT FSE 2023: 720-732 - [c161]Jiawei Yin, Menghao Li, Yuekang Li, Yong Yu, Boru Lin, Yanyan Zou, Yang Liu, Wei Huo, Jingling Xue:
RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing. SP 2023: 2155-2169 - 2022
- [c160]Xudong Wang, Xuezheng Xu, Qingan Li, Mengting Yuan, Jingling Xue:
Recovering Container Class Types in C++ Binaries. CGO 2022: 131-143 - [c159]Xuezheng Xu, Xudong Wang, Jingling Xue:
M3V: Multi-modal Multi-view Context Embedding for Repair Operator Prediction. CGO 2022: 266-277 - [c158]Dongjie He, Jingbo Lu, Jingling Xue:
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. ECOOP 2022: 30:1-30:29 - [c157]Pengcheng Yao, Long Zheng, Yu Huang, Qinggang Wang, Chuangyi Gui, Zhen Zeng, Xiaofei Liao, Hai Jin, Jingling Xue:
ScalaGraph: A Scalable Accelerator for Massively Parallel Graph Processing. HPCA 2022: 199-212 - [c156]Yu Huang, Long Zheng, Pengcheng Yao, Qinggang Wang, Xiaofei Liao, Hai Jin, Jingling Xue:
Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures. HPCA 2022: 1029-1042 - [c155]Zhe Chen, Jun Wu, Qi Zhang, Jingling Xue:
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation. ICSE-Companion 2022: 6-10 - [c154]Qinggang Wang, Long Zheng, Ao Hu, Yu Huang, Pengcheng Yao, Chuangyi Gui, Xiaofei Liao, Hai Jin, Jingling Xue:
A Data-Centric Accelerator for High-Performance Hypergraph Processing. MICRO 2022: 1326-1341 - [c153]Jiawei Yin, Menghao Li, Wei Wu, Dandan Sun, Jianhua Zhou, Wei Huo, Jingling Xue:
Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis. SP 2022: 1623-1637 - 2021
- [c152]Guangli Li, Jingling Xue, Lei Liu, Xueying Wang, Xiu Ma, Xiao Dong, Jiansong Li, Xiaobing Feng:
Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs. CGO 2021: 90-102 - [c151]Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, Jingling Xue:
GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. CGO 2021: 187-199 - [c150]Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. ECOOP 2021: 16:1-16:31 - [c149]Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue:
Runtime detection of memory errors with smart status. ISSTA 2021: 296-308 - [c148]Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue:
Detecting TensorFlow Program Bugs in Real-World Industrial Environment. ASE 2021: 55-66 - [c147]Dongjie He, Jingbo Lu, Jingling Xue:
Context Debloating for Object-Sensitive Pointer Analysis. ASE 2021: 79-91 - [c146]Jingbo Lu, Dongjie He, Jingling Xue:
Selective Context-Sensitivity for k-CFA with CFL-Reachability. SAS 2021: 261-285 - [c145]Xuezheng Xu, Xudong Wang, Jingling Xue:
Automatic Synthesis of Data-Flow Analyzers. SAS 2021: 453-478 - 2020
- [c144]Mingchuan Wu, Ying Liu, Huimin Cui, Qingfu Wei, Quanfeng Li, Limin Li, Fang Lv, Jingling Xue, Xiaobing Feng:
Bandwidth-Aware Loop Tiling for DMA-Supported Scratchpad Memory. PACT 2020: 97-109 - [c143]Feng Yu, Jiacheng Zhao, Huimin Cui, Xiaobing Feng, Jingling Xue:
VTensor: Using Virtual Tensors to Build a Layout-oblivious AI Programming Framework. PACT 2020: 345-346 - [c142]Wei Li, Libing Wu, Mengting Yuan, Chun Jason Xue, Jingling Xue, Qingan Li:
Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory. ICCD 2020: 581-588 - [c141]Changwei Zou, Jingling Xue:
Burn after reading: a shadow stack with microsecond-level runtime rerandomization for protecting return addresses. ICSE 2020: 258-270 - [c140]Xuezheng Xu, Changwei Zou, Jingling Xue:
Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates. ICSME 2020: 196-207 - [c139]Yu Huang, Long Zheng, Pengcheng Yao, Jieshan Zhao, Xiaofei Liao, Hai Jin, Jingling Xue:
A Heterogeneous PIM Hardware-Software Co-Design for Energy-Efficient Graph Processing. IPDPS 2020: 684-695 - [c138]Long Zheng, Jieshan Zhao, Yu Huang, Qinggang Wang, Zhen Zeng, Jingling Xue, Xiaofei Liao, Hai Jin:
Spara: An Energy-Efficient ReRAM-Based Accelerator for Sparse Graph Analytics Applications. IPDPS 2020: 696-707 - [c137]Jie Liu, Dongjie He, Diyu Wu, Jingling Xue:
Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis. ISSRE 2020: 241-252 - [c136]Diyu Wu, Dongjie He, Shiping Chen, Jingling Xue:
Exposing Android Event-Based Races by Selective Branch Instrumentation. ISSRE 2020: 265-276 - [c135]Pengcheng Yao, Long Zheng, Zhen Zeng, Yu Huang, Chuangyi Gui, Xiaofei Liao, Hai Jin, Jingling Xue:
A Locality-Aware Energy-Efficient Accelerator for Graph Mining Applications. MICRO 2020: 895-907 - [c134]Long Zheng, Xianliang Li, Yaohui Zheng, Yu Huang, Xiaofei Liao, Hai Jin, Jingling Xue, Zhiyuan Shao, Qiang-Sheng Hua:
Scaph: Scalable GPU-Accelerated Graph Processing with Value-Driven Differential Scheduling. USENIX ATC 2020: 573-588 - [c133]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. SANER 2020: 1-12 - 2019
- [c132]Ying Liu, Lei Huang, Mingchuan Wu, Huimin Cui, Fang Lv, Xiaobing Feng, Jingling Xue:
PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion. CC 2019: 2-16 - [c131]Xiaogang Zhu, Xiaotao Feng, Tengyun Jiao, Sheng Wen, Yang Xiang, Seyit Camtepe, Jingling Xue:
A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing. AsiaCCS 2019: 658-663 - [c130]Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue:
VFix: value-flow-guided precise program repair for null pointer dereferences. ICSE 2019: 512-523 - [c129]Diyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue:
Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. ICST 2019: 276-287 - [c128]Changwei Zou, Yulei Sui, Hua Yan, Jingling Xue:
TCD: Statically Detecting Type Confusion Errors in C++ Programs. ISSRE 2019: 292-302 - [c127]Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue:
Detecting memory errors at runtime with source-level instrumentation. ISSTA 2019: 341-351 - [c126]Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue:
Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. ASE 2019: 267-279 - [c125]Muyue Feng, Zimu Yuan, Feng Li, Gu Ban, Shiyang Wang, Qian Tang, He Su, Chendong Yu, Jiahuan Xu, Aihua Piao, Jingling Xue, Wei Huo:
B2SFinder: Detecting Open-Source Software Reuse in COTS Software. ASE 2019: 1038-1049 - [c124]Xuesong Su, Hui Wu, Jingling Xue:
WCET-aware hyper-block construction for clustered VLIW processors. LCTES 2019: 110-122 - [c123]Jieyuan Zhang, Jingling Xue:
Incremental precision-preserving symbolic inference for probabilistic programs. PLDI 2019: 237-252 - [c122]Hua Yan, Shiping Chen, Yulei Sui, Yueqian Zhang, Changwei Zou, Jingling Xue:
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. SAS 2019: 48-72 - [c121]Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, Jingling Xue:
Event trace reduction for effective bug replay of Android apps via differential GUI state analysis. ESEC/SIGSOFT FSE 2019: 1095-1099 - 2018
- [c120]Long Zheng, Xiaofei Liao, Hai Jin, Bingsheng He, Jingling Xue, Haikun Liu:
Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing. PACT 2018: 26:1-26:13 - [c119]Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue:
Live Path CFI Against Control Flow Hijacking Attacks. ACISP 2018: 768-779 - [c118]Feng Zhang, Jingling Xue:
Poker: permutation-based SIMD execution of intensive tree search by path encoding. CGO 2018: 87-99 - [c117]Qing Zhou, Lian Li, Lei Wang, Jingling Xue, Xiaobing Feng:
May-happen-in-parallel analysis with static vector clocks. CGO 2018: 228-240 - [c116]Jiacheng Zhao, Huimin Cui, Yalin Zhang, Jingling Xue, Xiaobing Feng:
Revisiting Loop Tiling for Datacenters: Live and Let Live. ICS 2018: 328-340 - [c115]Mohamad Barbar, Yulei Sui, Hongyu Zhang, Shiping Chen, Jingling Xue:
Live path control flow integrity. ICSE (Companion Volume) 2018: 195-196 - [c114]Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue:
Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities. ICSE 2018: 327-337 - [c113]Yifei Zhang, Yulei Sui, Jingling Xue:
Launch-mode-aware context-sensitive activity transition analysis. ICSE 2018: 598-608 - [c112]Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue:
Understanding and detecting evolution-induced compatibility issues in Android apps. ASE 2018: 167-177 - [c111]Jie Liu, Diyu Wu, Jingling Xue:
TDroid: exposing app switching attacks in Android with control flow specialization. ASE 2018: 236-247 - 2017
- [c110]Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue:
Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. ACSAC 2017: 42-54 - [c109]Lian Li, Yi Lu, Jingling Xue:
Dynamic symbolic execution for polymorphism. CC 2017: 120-130 - [c108]Xing Su, Xiangke Liao, Jingling Xue:
Automatic generation of fast BLAS3-GEMM: a portable compiler approach. CGO 2017: 122-133 - [c107]Yifei Zhang, Tian Tan, Yue Li, Jingling Xue:
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CODASPY 2017: 281-288 - [c106]Jie Liu, Yue Li, Tian Tan, Jingling Xue:
Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. ISSRE 2017: 12-23 - [c105]Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue:
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. ISSTA 2017: 329-340 - [c104]Tian Tan, Yue Li, Jingling Xue:
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. PLDI 2017: 278-291 - [c103]Jieyuan Zhang, Yulei Sui, Jingling Xue:
Incremental Analysis for Probabilistic Programs. SAS 2017: 450-472 - 2016
- [c102]Jianjun Xu, Xiankai Meng, QingPing Tan, Jingling Xue:
Masking Soft Errors with Static Bitwise Analysis. APSEC 2016: 281-288 - [c101]Yulei Sui, Jingling Xue:
SVF: interprocedural static value-flow analysis in LLVM. CC 2016: 265-266 - [c100]Hao Zhou, Jingling Xue:
Exploiting mixed SIMD parallelism by reducing data reorganization overhead. CGO 2016: 59-69 - [c99]Yulei Sui, Peng Di, Jingling Xue:
Sparse flow-sensitive pointer analysis for multithreaded programs. CGO 2016: 160-170 - [c98]Yue Li, Tian Tan, Yifei Zhang, Jingling Xue:
Program Tailoring: Slicing by Sequential Criteria. ECOOP 2016: 15:1-15:27 - [c97]Canqun Yang, Cheng Chen, Tao Tang, Xuhao Chen, Jianbin Fang, Jingling Xue:
An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems. ICPADS 2016: 971-979 - [c96]Feng Zhang, Peng Di, Hao Zhou, Xiangke Liao, Jingling Xue:
RegTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities. ICPP 2016: 562-571 - [c95]Yulei Sui, Xiaokang Fan, Hao Zhou, Jingling Xue:
Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization. LCTES 2016: 41-51 - [c94]Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue:
Automated memory leak fixing on value-flow slices for C programs. SAC 2016: 1386-1393 - [c93]Tian Tan, Yue Li, Jingling Xue:
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. SAS 2016: 489-510 - [c92]Yulei Sui, Jingling Xue:
On-demand strong update analysis via value-flow refinement. SIGSOFT FSE 2016: 460-473 - 2015
- [c91]Ryan W. Moore, Bruce R. Childers, Jingling Xue:
Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors. HPCC/CSS/ICESS 2015: 957-963 - [c90]Xiaokang Fan, Yulei Sui, Jingling Xue:
Contention-Aware Scheduling for Asymmetric Multicore Processors. ICPADS 2015: 742-751 - [c89]Feng Wang, Hao Jiang, Ke Zuo, Xing Su, Jingling Xue, Canqun Yang:
Design and Implementation of a Highly Efficient DGEMM for 64-Bit ARMv8 Multi-core Processors. ICPP 2015: 200-209 - [c88]Peng Di, Yulei Sui, Ding Ye, Jingling Xue:
Region-Based May-Happen-in-Parallel Analysis for C Programs. ICPP 2015: 889-898 - [c87]Wenting He, Huimin Cui, Binbin Lu, Jiacheng Zhao, Shengmei Li, Gong Ruan, Jingling Xue, Xiaobing Feng, Wensen Yang, Youliang Yan:
Hadoop+: Modeling and Evaluating the Heterogeneity for MapReduce Applications in Heterogeneous Clusters. ICS 2015: 143-153 - [c86]Yi Wang, Tianzheng Wang, Zili Shao, Duo Liu, Jingling Xue:
File system-independent block device support for storage class memory. INFOCOM Workshops 2015: 468-473 - [c85]Yue Li, Tian Tan, Jingling Xue:
Effective Soundness-Guided Reflection Analysis. SAS 2015: 162-180 - 2014
- [c84]Huimin Cui, Gong Ruan, Jingling Xue, Rui Xie, Lei Wang, Xiaobing Feng:
A collaborative divide-and-conquer K-means clustering algorithm for processing large data. Conf. Computing Frontiers 2014: 20:1-20:10 - [c83]Ding Ye, Yulei Sui, Jingling Xue:
Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis. CGO 2014: 154 - [c82]Xuemeng Zhang, Hui Wu, Haiyan Sun, Jingling Xue:
Lifetime holes aware register allocation for clustered VLIW processors. DATE 2014: 1-4 - [c81]Yue Li, Tian Tan, Yulei Sui, Jingling Xue:
Self-inferencing Reflection Resolution for Java. ECOOP 2014: 27-53 - [c80]Yu Su, Ding Ye, Jingling Xue:
Parallel Pointer Analysis with CFL-Reachability. ICPP 2014: 451-460 - [c79]Ding Ye, Yu Su, Yulei Sui, Jingling Xue:
WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. ISSRE 2014: 88-99 - [c78]Sen Ye, Yulei Sui, Jingling Xue:
Region-Based Selective Flow-Sensitive Pointer Analysis. SAS 2014: 319-336 - 2013
- [c77]Jiacheng Zhao, Xiaobing Feng, Huimin Cui, Youliang Yan, Jingling Xue, Wensen Yang:
An empirical model for predicting cross-core performance interference on multicore processors. PACT 2013: 201-212 - [c76]Qing Wan, Hui Wu, Jingling Xue:
Scratchpad Memory aware task scheduling with minimum number of preemptions on a single processor. ASP-DAC 2013: 741-748 - [c75]Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue:
An Incremental Points-to Analysis with CFL-Reachability. CC 2013: 61-81 - [c74]Yulei Sui, Yue Li, Jingling Xue:
Query-directed adaptive heap cloning for optimizing compilers. CGO 2013: 1:1-1:11 - [c73]Yi Lu, John Potter, Jingling Xue:
Structural Lock Correlation with Ownership Types. ESOP 2013: 391-410 - [c72]Yu Su, Ding Ye, Jingling Xue:
Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems. HiPC 2013: 149-158 - 2012
- [c71]Huimin Cui, Qing Yi, Jingling Xue, Xiaobing Feng:
Layout-oblivious optimization for matrix computations. PACT 2012: 429-430 - [c70]Yi Lu, John Potter, Jingling Xue:
Ownership Types for Object Synchronisation. APLAS 2012: 18-33 - [c69]Lei Shang, Xinwei Xie, Jingling Xue:
On-demand dynamic summary-based points-to analysis. CGO 2012: 264-274 - [c68]Yi Lu, John Potter, Chenyi Zhang, Jingling Xue:
A Type and Effect System for Determinism in Multithreaded Programs. ESOP 2012: 518-538 - [c67]Peng Di, Ding Ye, Yu Su, Yulei Sui, Jingling Xue:
Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs. ICPP 2012: 350-359 - [c66]Qiang Wu, Canqun Yang, Feng Wang, Jingling Xue:
A Fast Parallel Implementation of Molecular Dynamics with the Morse Potential on a Heterogeneous Petascale Supercomputer. IPDPS Workshops 2012: 140-149 - [c65]Huimin Cui, Qing Yi, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng:
A Highly Parallel Reuse Distance Analysis Algorithm on GPUs. IPDPS 2012: 1080-1092 - [c64]Yian Zhu, Yue Li, Jingling Xue, Tian Tan, Jialong Shi, Yang Shen, Chunyan Ma:
What Is System Hang and How to Handle It. ISSRE 2012: 141-150 - [c63]Yulei Sui, Ding Ye, Jingling Xue:
Static memory leak detection using full-sparse value-flow analysis. ISSTA 2012: 254-264 - [c62]Lei Shang, Yi Lu, Jingling Xue:
Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. ASE 2012: 270-273 - [c61]Qing Wan, Hui Wu, Jingling Xue:
WCET-aware data selection and allocation for scratchpad memory. LCTES 2012: 41-50 - 2011
- [c60]Yulei Sui, Sen Ye, Jingling Xue, Pen-Chung Yew:
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. APLAS 2011: 155-171 - [c59]Xuemeng Zhang, Hui Wu, Jingling Xue:
An efficient heuristic for instruction scheduling on clustered vliw processors. CASES 2011: 35-44 - [c58]Huimin Cui, Jingling Xue, Lei Wang, Yang Yang, Xiaobing Feng, Dongrui Fan:
Extendable pattern-oriented optimization directives. CGO 2011: 107-118 - [c57]Xinwei Xie, Jingling Xue:
Acculock: Accurate and efficient detection of data races. CGO 2011: 201-212 - [c56]Peng Di, Jingling Xue:
Model-Driven Tile Size Selection for DOACROSS Loops on GPUs. Euro-Par (2) 2011: 401-412 - [c55]Sabbir Mahmud, Hui Wu, Jingling Xue:
Efficient Energy Balancing Aware Multiple Base Station Deployment for WSNs. EWSN 2011: 179-194 - [c54]Huimin Cui, Lei Wang, Jingling Xue, Yang Yang, Xiaobing Feng:
Automatic Library Generation for BLAS3 on GPUs. IPDPS 2011: 255-265 - 2010
- [c53]Xuejun Yang, Li Wang, Jingling Xue, Tao Tang, Xiaoguang Ren, Sen Ye:
Improving scratchpad allocation with demand-driven data tiling. CASES 2010: 127-136 - [c52]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. CGO 2010: 218-229 - [c51]Li Wang, Jingling Xue, Xuejun Yang:
Reuse-aware modulo scheduling for stream processors. DATE 2010: 1112-1117 - [c50]Hui Wu, Jingling Xue, Sridevan Parameswaran:
Optimal WCET-aware code selection for scratchpad memory. EMSOFT 2010: 59-68 - [c49]Peng Di, Qing Wan, Xuemeng Zhang, Hui Wu, Jingling Xue:
Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs. ICPP 2010: 40-50 - [c48]Wei Mi, Xiaobing Feng, Jingling Xue, Yao-Cang Jia:
Software-Hardware Cooperative DRAM Bank Partitioning for Chip Multiprocessors. NPC 2010: 329-343 - 2009
- [c47]Yi Lu, John Potter, Jingling Xue:
Ownership Downgrading for Ownership Types. APLAS 2009: 144-160 - [c46]Duo Liu, Zili Shao, Meng Wang, Minyi Guo, Jingling Xue:
Optimal loop parallelization for maximizing iteration-level parallelism. CASES 2009: 67-76 - [c45]Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai:
Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction. CC 2009: 78-93 - [c44]Peng Di, Jingling Xue, Changjun Hu, Jingjing Zhou:
A Cache-Efficient Parallel Gauss-Seidel Solver with Alternating Tiling. ICPADS 2009: 244-251 - [c43]Xuejun Yang, Li Wang, Jingling Xue, Yu Deng, Ying Zhang:
Comparability graph coloring for optimizing utilization of stream register files in stream processors. PPoPP 2009: 111-120 - 2008
- [c42]Xuejun Yang, Ying Zhang, Jingling Xue, Ian Rogers, Gen Li, Guibin Wang:
Exploiting loop-dependent stream reuse for stream processors. PACT 2008: 22-31 - [c41]Anderson Kuei-An Ku, Jenny Yi-Chun Kuo, Jingling Xue:
A gather/scatter hardware support for efficient Fast Fourier Transform. ACSAC 2008: 1-8 - [c40]Anderson Kuei-An Ku, Jenny Yi-Chun Kuo, Jingling Xue:
Hardware Support for Efficient Sparse Matrix Vector Multiplication. EUC (1) 2008: 37-43 - [c39]Jenny Yi-Chun Kuo, Anderson Kuei-An Ku, Jingling Xue, Oliver Diessel, Usama Malik:
ACS: An Addressless Configuration Support for efficient partial reconfigurations. FPT 2008: 161-168 - [c38]Lin Gao, Quan Hoang Nguyen, Lian Li, Jingling Xue, Tin-Fook Ngai:
Thread-Sensitive Modulo Scheduling for Multicore Processors. ICPP 2008: 132-140 - [c37]Li Wang, Xuejun Yang, Jingling Xue, Yu Deng, Xiaobo Yan, Tao Tang, Quan Hoang Nguyen:
Optimizing scientific application loops on stream processors. LCTES 2008: 161-170 - 2007
- [c36]Lian Li, Hui Wu, Hui Feng, Jingling Xue:
Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation. Asia-Pacific Computer Systems Architecture Conference 2007: 63-74 - [c35]Yi Lu, John Potter, Jingling Xue:
Validity Invariants and Effects. ECOOP 2007: 202-226 - [c34]Lin Gao, Lian Li, Jingling Xue, Tin-Fook Ngai:
Loop recreation for thread-level speculation. ICPADS 2007: 1-10 - [c33]Lei Pan, Jingling Xue, Ming Kin Lai, Michael B. Dillencourt, Lubomir F. Bic:
Toward Automatic Data Distribution for Migrating Computations. ICPP 2007: 27 - [c32]Lian Li, Quan Hoang Nguyen, Jingling Xue:
Scratchpad allocation for data aggregates in superperfect graphs. LCTES 2007: 207-216 - 2006
- [c31]Lian Li, Jingling Xue:
Trace-Based Data Cache Leakage Reduction at Link Time. Asia-Pacific Computer Systems Architecture Conference 2006: 175-188 - [c30]Bernhard Scholz, Bernd Burgstaller, Jingling Xue:
Minimizing bank selection instructions for partitioned memory architecture. CASES 2006: 201-211 - [c29]Jingling Xue, Jens Knoop:
A Fresh Look at PRE as a Maximum Flow Problem. CC 2006: 139-154 - [c28]Baoliu Ye, Minyi Guo, Jingling Xue:
CoopStream: A Cooperative Cache Based Streaming Schedule Scheme for On-demand Media Services on Overlay Networks. ICPP 2006: 577-584 - [c27]Hui Wu, Joxan Jaffar, Jingling Xue:
Instruction Scheduling with Release Times and Deadlines on ILP Processors. RTCSA 2006: 51-60 - 2005
- [c26]Lian Li, Lin Gao, Jingling Xue:
Memory Coloring: A Compiler Approach for Scratchpad Memory Management. IEEE PACT 2005: 329-338 - [c25]Canqun Yang, Xuejun Yang, Jingling Xue:
Improving the Performance of GCC by Exploiting IA-64 Architectural Features. Asia-Pacific Computer Systems Architecture Conference 2005: 236-251 - [c24]Phung Hua Nguyen, Jingling Xue:
Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading. ACSC 2005: 9-18 - [c23]Jingling Xue, Phung Hua Nguyen:
Completeness Analysis for Incomplete Object-Oriented Programs. CC 2005: 271-286 - [c22]Jingling Xue:
Compiler-Directed Scratchpad Memory Management. ICESS 2005: 2 - [c21]Weng-Long Chang, Michael (Shan-Hui) Ho, Minyi Guo, Xiaohong Jiang, Jingling Xue, Minglu Li:
Fast Parallel DNA-Based Algorithms for Molecular Computation: Determining a Prime Number. ICITA (1) 2005: 447-452 - [c20]Jingling Xue, Qingguang Huang, Minyi Guo:
Enabling Loop Fusion and Tiling for Cache Performance by Fixing Fusion-Preventing Data Dependences. ICPP 2005: 107-115 - [c19]Jingling Xue:
Aggressive Loop Fusion for Improving Locality and Parallelism. ISPA 2005: 224-238 - 2004
- [c18]Phung Hua Nguyen, Jingling Xue:
Strength Reduction for Loop-Invariant Types. ACSC 2004: 213-222 - [c17]Budi Kurniawan, Jingling Xue:
A Comparative Study of Web Application Design Models Using the Java Technologies. APWeb 2004: 711-721 - [c16]Qiong Cai, Lin Gao, Jingling Xue:
Region-Based Partial Dead Code Elimination on Predicated Code. CC 2004: 150-166 - [c15]Lian Li, Jingling Xue:
A trace-based binary compilation framework for energy-aware computing. LCTES 2004: 95-106 - 2003
- [c14]Qiong Cai, Jingling Xue:
Optimal and Efficient Speculation-Based Partial Redundancy Elimination. CGO 2003: 91-104 - [c13]Qingguang Huang, Jingling Xue, Xavier Vera:
Code Tiling for Improving the Cache Performance of PDE Solvers. ICPP 2003: 615- - [c12]Xavier Vera, Björn Lisper, Jingling Xue:
Data Caches in Multitasking Hard Real-Time Systems. RTSS 2003: 154-165 - [c11]Xavier Vera, Björn Lisper, Jingling Xue:
Data cache locking for higher program predictability. SIGMETRICS 2003: 272-282 - 2002
- [c10]Xavier Vera, Jingling Xue:
Let's Study Whole-Program Cache Behaviour Analytically. HPCA 2002: 175-186 - 1997
- [c9]Jingling Xue, Chua-Huang Huang:
Reuse-Driven Tiling for Data Locality. LCPC 1997: 16-33 - 1996
- [c8]Jingling Xue:
Affine-by-Statement Transformations of Imperfectly Nested Loops. IPPS 1996: 34-38 - [c7]Jingling Xue:
Communication-Minimal Tiling of Uniform Dependence Loops. LCPC 1996: 330-349 - 1995
- [c6]Jingling Xue:
Constructing DO loops for non-convex iteration spaces in compiling for parallel machines. IPPS 1995: 364-368 - 1994
- [c5]Jingling Xue, Patrick M. Lenders:
Avoiding Data Link and Computational Conflicts in Mapping Nested Loop Algorithms to Lower-Dimensional Processor Arrays. ICPADS 1994: 567-572 - 1993
- [c4]Jingling Xue:
A new formulation of the mapping conditions for the synthesis of linear systolic arrays. ASAP 1993: 297-308 - [c3]Jingling Xue:
An Algorithm to Automate Non-Unimodular Transformations of Loop Nests. SPDP 1993: 512-521 - 1992
- [c2]Jingling Xue:
On the Loading, Recovery and Access of Stationary Data in Systolic Arrays. CONPAR 1992: 259-264 - 1991
- [c1]Jingling Xue, Christian Lengauer:
Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. Algorithms and Parallel VLSI Architectures 1991: 181-186
Editorship
- 2024
- [e6]Tobias Grosser, Christophe Dubach, Michel Steuwer, Jingling Xue, Guilherme Ottoni, ernando Magno Quintão Pereira:
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024. IEEE 2024, ISBN 979-8-3503-9509-9 [contents] - 2020
- [e5]Jingling Xue, Changhee Jung:
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020. ACM 2020, ISBN 978-1-4503-7094-3 [contents] - 2018
- [e4]Christophe Dubach, Jingling Xue:
Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria. ACM 2018 [contents] - 2013
- [e3]Björn Franke, Jingling Xue:
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES '13, Seattle, WA, USA, June 20-21, 2013. ACM 2013, ISBN 978-1-4503-2085-6 [contents] - 2005
- [e2]Thambipillai Srikanthan, Jingling Xue, Chip-Hong 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 [contents] - 2004
- [e1]Pen-Chung Yew, Jingling 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 [contents]
Data and Artifacts
- 2024
- [d1]Dongjie He, Jingbo Lu, Jingling Xue:
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction (Artifact). Zenodo, 2024
Informal and Other Publications
- 2022
- [i6]Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue:
Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework. CoRR abs/2210.14436 (2022) - 2020
- [i5]Guangli Li, Xiu Ma, Xueying Wang, Lei Liu, Jingling Xue, Xiaobing Feng:
Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices. CoRR abs/2010.16165 (2020) - 2019
- [i4]Xiaogang Zhu, Xiaotao Feng, Tengyun Jiao, Sheng Wen, Yang Xiang, Seyit Camtepe, Jingling Xue:
A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing. CoRR abs/1905.01405 (2019) - 2017
- [i3]Yulei Sui, Jingling Xue:
Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement. CoRR abs/1701.05650 (2017) - [i2]Yue Li, Tian Tan, Jingling Xue:
Understanding and Analyzing Java Reflection. CoRR abs/1706.04567 (2017) - 2016
- [i1]Yifei Zhang, Tian Tan, Yue Li, Jingling Xue:
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments. CoRR abs/1612.05343 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-09 15:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
