A new data structure for representing cell hierarchy in layout design. - Jingling Xue; Xian-Long Hong (Comput. Graph., 1988)

Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations. - Jingling Xue; Christian Lengauer (Algorithms and Parallel VLSI Architectures, 1991)

Specifying control signals for Systolic Arrays by Uniform Recurrence Equations. - Jingling Xue (Parallel Process. Lett., 1991)

A systolic array for pyramidal algorithms. - Christian Lengauer; Jingling Xue (J. VLSI Signal Process., 1991)

On the Loading, Recovery and Access of Stationary Data in Systolic Arrays. - Jingling Xue (CONPAR, 1992)

The synthesis of control signals for one-dimensional systolic arrays. - Jingling Xue; Christian Lengauer (Integr., 1992)

Formal synthesis of control signals for systolic arrays. - Jingling Xue (1992)

A new formulation of the mapping conditions for the synthesis of linear systolic arrays. - Jingling Xue (ASAP, 1993)

An Algorithm to Automate Non-Unimodular Transformations of Loop Nests. - Jingling Xue (SPDP, 1993)

Avoiding Data Link and Computational Conflicts in Mapping Nested Loop Algorithms to Lower-Dimensional Processor Arrays. - Jingling Xue; Patrick M. Lenders (ICPADS, 1994)

Automating Non-Unimodular Loop Transformations for Massive Parallelism. - Jingling Xue (Parallel Comput., 1994)

Constructing DO loops for non-convex iteration spaces in compiling for parallel machines. - Jingling Xue (IPPS, 1995)

Closed-form mapping conditions for the synthesis of linear processor arrays. - Jingling Xue (J. VLSI Signal Process., 1995)

Affine-by-Statement Transformations of Imperfectly Nested Loops. - Jingling Xue (IPPS, 1996)

Transformations of Nested Loops with Non-Convex Iteration Spaces. - Jingling Xue (Parallel Comput., 1996)

Generalising the Unimodular Approach to Restructure Imperfectly Nested Loops. - Jingling Xue (Parallel Process. Lett., 1996)

Reuse-Driven Tiling for Data Locality. - Jingling Xue; Chua-Huang Huang (LCPC, 1997)

Communication-Minimal Tiling of Uniform Dependence Loops. - Jingling Xue (J. Parallel Distributed Comput., 1997)

Unimodular Transformations of Non-Perfectly Nested Loops. - Jingling Xue (Parallel Comput., 1997)

On Tiling as a Loop Transformation. - Jingling Xue (Parallel Process. Lett., 1997)

Reuse-Driven Tiling for Improving Data Locality. - Jingling Xue; Chua-Huang Huang (Int. J. Parallel Program., 1998)

Partitioning and scheduling loops on NOWs. - Shiping Chen 001; Jingling Xue (Comput. Commun., 1999)

Loop Tiling for Parallelism - Jingling Xue (Kluwer, 2000)

Generating efficient tiled code for distributed memory machines. - Peiyi Tang; Jingling Xue (Parallel Comput., 2000)

Communication Overhead on Distributed Memory Machines. - Shiping Chen 001; Jingling Xue (Parallel Distributed Comput. Pract., 2001)

Let's Study Whole-Program Cache Behaviour Analytically. - Xavier Vera; Jingling Xue (HPCA, 2002)

Space-Time Equations for Non-Unimodular Mappings. - Jingling Xue; Patrick M. Lenders (Int. J. Comput. Math., 2002)

Eigenvectors-based parallelisation of nested loops with affine dependences. - Patrick M. Lenders; Jingling Xue (Parallel Algorithms Appl., 2002)

Time-minimal tiling when rise is larger than zero. - Jingling Xue; Wentong Cai 001 (Parallel Comput., 2002)

Optimal and Efficient Speculation-Based Partial Redundancy Elimination. - Qiong Cai; Jingling Xue (CGO, 2003)

Code Tiling for Improving the Cache Performance of PDE Solvers. - Qingguang Huang; Jingling Xue; Xavier Vera (ICPP, 2003)

Data Caches in Multitasking Hard Real-Time Systems. - Xavier Vera; Björn Lisper; Jingling Xue (RTSS, 2003)

Data cache locking for higher program predictability. - Xavier Vera; Björn Lisper; Jingling Xue (SIGMETRICS, 2003)

Strength Reduction for Loop-Invariant Types. - Phung Hua Nguyen; Jingling Xue (ACSC, 2004)

A Comparative Study of Web Application Design Models Using the Java Technologies. - Budi Kurniawan; Jingling Xue (APWeb, 2004)

Region-Based Partial Dead Code Elimination on Predicated Code. - Qiong Cai; Lin Gao 002; Jingling Xue (CC, 2004)

A trace-based binary compilation framework for energy-aware computing. - Lian Li 002; Jingling Xue (LCTES, 2004)

Efficient and Accurate Analytical Modeling of Whole-Program Data Cache Behavior. - Jingling Xue; Xavier Vera (IEEE Trans. Computers, 2004)

Memory Coloring: A Compiler Approach for Scratchpad Memory Management. - Lian Li 002; Lin Gao 002; Jingling Xue (IEEE PACT, 2005)

Improving the Performance of GCC by Exploiting IA-64 Architectural Features. - Canqun Yang; Xuejun Yang; Jingling Xue (Asia-Pacific Computer Systems Architecture Conference, 2005)

Interprocedural Side-Effect Analysis and Optimisation in the Presence of Dynamic Class Loading. - Phung Hua Nguyen; Jingling Xue (ACSC, 2005)

Completeness Analysis for Incomplete Object-Oriented Programs. - Jingling Xue; Phung Hua Nguyen (CC, 2005)

Compiler-Directed Scratchpad Memory Management. - Jingling Xue (ICESS, 2005)

Fast Parallel DNA-Based Algorithms for Molecular Computation: Determining a Prime Number. - Weng-Long Chang; Michael (Shan-Hui) Ho; Minyi Guo; Xiaohong Jiang 001; Jingling Xue; Minglu Li 001 (ICITA (1), 2005)

Enabling Loop Fusion and Tiling for Cache Performance by Fixing Fusion-Preventing Data Dependences. - Jingling Xue; Qingguang Huang; Minyi Guo (ICPP, 2005)

Aggressive Loop Fusion for Improving Locality and Parallelism. - Jingling Xue (ISPA, 2005)

Forword. - Pen-Chung Yew; Jingling Xue (J. Comput. Sci. Technol., 2005)

Cache exploitation in embedded systems. - Jingling Xue (J. Embed. Comput., 2005)

Trace-Based Data Cache Leakage Reduction at Link Time. - Lian Li 002; Jingling Xue (Asia-Pacific Computer Systems Architecture Conference, 2006)

Minimizing bank selection instructions for partitioned memory architecture. - Bernhard Scholz; Bernd Burgstaller; Jingling Xue (CASES, 2006)

A Fresh Look at PRE as a Maximum Flow Problem. - Jingling Xue; Jens Knoop (CC, 2006)

CoopStream: A Cooperative Cache Based Streaming Schedule Scheme for On-demand Media Services on Overlay Networks. - Baoliu Ye; Minyi Guo; Jingling Xue (ICPP, 2006)

Instruction Scheduling with Release Times and Deadlines on ILP Processors. - Hui Wu 001; Joxan Jaffar; Jingling Xue (RTCSA, 2006)

Partial dead code elimination on predicated code regions. - Jingling Xue; Qiong Cai; Lin Gao 002 (Softw. Pract. Exp., 2006)

A Fresh Look at Partial Redundancy Elimination as a Maximum Flow Problem. - Jingling Xue; Jens Knoop (Softwaretechnik-Trends, 2006)

A lifetime optimal algorithm for speculative PRE. - Jingling Xue; Qiong Cai (ACM Trans. Archit. Code Optim., 2006)

Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation. - Lian Li 002; Hui Wu 001; Hui Feng; Jingling Xue (Asia-Pacific Computer Systems Architecture Conference, 2007)

Validity Invariants and Effects. - Yi Lu 003; John Potter; Jingling Xue (ECOOP, 2007)

Loop recreation for thread-level speculation. - Lin Gao 002; Lian Li 002; Jingling Xue; Tin-Fook Ngai (ICPADS, 2007)

Toward Automatic Data Distribution for Migrating Computations. - Lei Pan 001; Jingling Xue; Ming Kin Lai; Michael B. Dillencourt; Lubomir F. Bic (ICPP, 2007)

Scratchpad allocation for data aggregates in superperfect graphs. - Lian Li 002; Quan Hoang Nguyen 001; Jingling Xue (LCTES, 2007)

Trace-based leakage energy optimisations at link time. - Lian Li 002; Jingling Xue (J. Syst. Archit., 2007)

Interprocedural side-effect analysis for incomplete object-oriented software modules. - Jingling Xue; Phung Hua Nguyen; John Potter (J. Syst. Softw., 2007)

Data cache locking for tight timing calculations. - Xavier Vera; Björn Lisper; Jingling Xue (ACM Trans. Embed. Comput. Syst., 2007)

Exploiting loop-dependent stream reuse for stream processors. - Xuejun Yang; Ying Zhang 032; Jingling Xue; Ian Rogers; Gen Li 002; Guibin Wang (PACT, 2008)

A gather/scatter hardware support for efficient Fast Fourier Transform. - Anderson Kuei-An Ku; Jenny Yi-Chun Kuo; Jingling Xue (ACSAC, 2008)

Hardware Support for Efficient Sparse Matrix Vector Multiplication. - Anderson Kuei-An Ku; Jenny Yi-Chun Kuo; Jingling Xue (EUC (1), 2008)

ACS: An Addressless Configuration Support for efficient partial reconfigurations. - Jenny Yi-Chun Kuo; Anderson Kuei-An Ku; Jingling Xue; Oliver Diessel; Usama Malik (FPT, 2008)

Thread-Sensitive Modulo Scheduling for Multicore Processors. - Lin Gao 002; Quan Hoang Nguyen 001; Lian Li 002; Jingling Xue; Tin-Fook Ngai (ICPP, 2008)

Optimizing scientific application loops on stream processors. - Li Wang 027; Xuejun Yang; Jingling Xue; Yu Deng 001; Xiaobo Yan; Tao Tang 001; Quan Hoang Nguyen 001 (LCTES, 2008)

Minimal placement of bank selection instructions for partitioned memory architectures. - Bernhard Scholz; Bernd Burgstaller; Jingling Xue (ACM Trans. Embed. Comput. Syst., 2008)

Advances in high performance computing. - Minyi Guo; Jingling Xue (J. Supercomput., 2008)

Improving the parallelism of iterative methods by aggressive loop fusion. - Jingling Xue; Minyi Guo; Daming Wei (J. Supercomput., 2008)

Ownership Downgrading for Ownership Types. - Yi Lu 003; John Potter; Jingling Xue (APLAS, 2009)

Optimal loop parallelization for maximizing iteration-level parallelism. - Duo Liu; Zili Shao; Meng Wang 005; Minyi Guo; Jingling Xue (CASES, 2009)

Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction. - Lin Gao 002; Lian Li 002; Jingling Xue; Tin-Fook Ngai (CC, 2009)

A Cache-Efficient Parallel Gauss-Seidel Solver with Alternating Tiling. - Peng Di; Jingling Xue; Changjun Hu; Jingjing Zhou (ICPADS, 2009)

Comparability graph coloring for optimizing utilization of stream register files in stream processors. - Xuejun Yang; Li Wang 027; Jingling Xue; Yu Deng 001; Ying Zhang 032 (PPoPP, 2009)

PARBLO: Page-Allocation-Based DRAM Row Buffer Locality Optimization. - Wei Mi; Xiaobing Feng 002; Yao-Cang Jia; Li Chen; Jingling Xue (J. Comput. Sci. Technol., 2009)

Compiler-directed scratchpad memory management via graph coloring. - Lian Li 002; Hui Feng; Jingling Xue (ACM Trans. Archit. Code Optim., 2009)

Improving scratchpad allocation with demand-driven data tiling. - Xuejun Yang; Li Wang 027; Jingling Xue; Tao Tang 001; Xiaoguang Ren; Sen Ye (CASES, 2010)

Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code. - Hongtao Yu; Jingling Xue; Wei Huo; Xiaobing Feng 002; Zhaoqing Zhang (CGO, 2010)

Reuse-aware modulo scheduling for stream processors. - Li Wang 027; Jingling Xue; Xuejun Yang (DATE, 2010)

Optimal WCET-aware code selection for scratchpad memory. - Hui Wu 001; Jingling Xue; Sridevan Parameswaran (EMSOFT, 2010)

Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs. - Peng Di; Qing Wan; Xuemeng Zhang; Hui Wu 001; Jingling Xue (ICPP, 2010)

Software-Hardware Cooperative DRAM Bank Partitioning for Chip Multiprocessors. - Wei Mi; Xiaobing Feng 002; Jingling Xue; Yao-Cang Jia (NPC, 2010)

Gather/scatter hardware support for accelerating Fast Fourier Transform. - Anderson Kuei-An Ku; Jingling Xue; Yong Guan (J. Syst. Archit., 2010)

Loop recreation for thread-level speculation on multicore processors. - Lin Gao 002; Jingling Xue; Tin-Fook Ngai (Softw. Pract. Exp., 2010)

Exploiting the reuse supplied by loop-dependent stream references for stream processors. - Xuejun Yang; Ying Zhang 032; Xicheng Lu; Jingling Xue; Ian Rogers; Gen Li 002; Guibin Wang; Xudong Fang (ACM Trans. Archit. Code Optim., 2010)

Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs. - Lian Li 002; Jingling Xue; Jens Knoop (ACM Trans. Embed. Comput. Syst., 2010)

SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. - Yulei Sui; Sen Ye; Jingling Xue; Pen-Chung Yew (APLAS, 2011)

An efficient heuristic for instruction scheduling on clustered vliw processors. - Xuemeng Zhang; Hui Wu 001; Jingling Xue (CASES, 2011)

Acculock: Accurate and efficient detection of data races. - Xinwei Xie; Jingling Xue (CGO, 2011)

Model-Driven Tile Size Selection for DOACROSS Loops on GPUs. - Peng Di; Jingling Xue (Euro-Par (2), 2011)

Efficient Energy Balancing Aware Multiple Base Station Deployment for WSNs. - Sabbir Mahmud; Hui Wu 001; Jingling Xue (EWSN, 2011)

Automatic Library Generation for BLAS3 on GPUs. - Huimin Cui; Lei Wang 004; Jingling Xue; Yang Yang; Xiaobing Feng 002 (IPDPS, 2011)

Leakage-Aware Modulo Scheduling for Embedded VLIW Processors. - Yong Guan; Jingling Xue (J. Comput. Sci. Technol., 2011)

On Reducing Hidden Redundant Memory Accesses for DSP Applications. - M. Wang; Zili Shao; Jingling Xue (IEEE Trans. Very Large Scale Integr. Syst., 2011)

Layout-oblivious optimization for matrix computations. - Huimin Cui; Qing Yi; Jingling Xue; Xiaobing Feng 002 (PACT, 2012)

Ownership Types for Object Synchronisation. - Yi Lu 003; John Potter; Jingling Xue (APLAS, 2012)

On-demand dynamic summary-based points-to analysis. - Lei Shang 002; Xinwei Xie; Jingling Xue (CGO, 2012)

A Type and Effect System for Determinism in Multithreaded Programs. - Yi Lu 003; John Potter; Chenyi Zhang 001; Jingling Xue (ESOP, 2012)

Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs. - Peng Di; Ding Ye; Yu Su 012; Yulei Sui; Jingling Xue (ICPP, 2012)

A Highly Parallel Reuse Distance Analysis Algorithm on GPUs. - Huimin Cui; Qing Yi; Jingling Xue; Lei Wang 004; Yang Yang; Xiaobing Feng 002 (IPDPS, 2012)

A Fast Parallel Implementation of Molecular Dynamics with the Morse Potential on a Heterogeneous Petascale Supercomputer. - Qiang Wu; Canqun Yang; Feng Wang 050; Jingling Xue (IPDPS Workshops, 2012)

What Is System Hang and How to Handle It. - Yian Zhu; Yue Li 006; Jingling Xue; Tian Tan 001; Jialong Shi; Yang Shen; Chunyan Ma (ISSRE, 2012)

Static memory leak detection using full-sparse value-flow analysis. - Yulei Sui; Ding Ye; Jingling Xue (ISSTA, 2012)

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience. - Lei Shang 002; Yi Lu 003; Jingling Xue (ASE, 2012)

WCET-aware data selection and allocation for scratchpad memory. - Qing Wan; Hui Wu 001; Jingling Xue (LCTES, 2012)

PartialRC: A Partial Recomputing Method for Efficient Fault Recovery on GPGPUs. - Xinhai Xu; Xue-Jun Yang; Jingling Xue; Yu-Fei Lin; Yi-Song Lin (J. Comput. Sci. Technol., 2012)

A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs. - Yang Yang; Huimin Cui; Xiaobing Feng 002; Jingling Xue (J. Comput. Sci. Technol., 2012)

Parallelizing SOR for GPGPUs using alternate loop tiling. - Peng Di; Hui Wu 001; Jingling Xue; Feng Wang 050; Canqun Yang (Parallel Comput., 2012)

Extendable pattern-oriented optimization directives. - Huimin Cui; Jingling Xue; Lei Wang 004; Yang Yang; Xiaobing Feng 002; Dongrui Fan (ACM Trans. Archit. Code Optim., 2012)

Comparability Graph Coloring for Optimizing Utilization of Software-Managed Stream Register Files for Stream Processors. - Xuejun Yang; Li Wang 027; Jingling Xue; Qingbo Wu 003 (ACM Trans. Archit. Code Optim., 2012)

The Reliability Wall for Exascale Supercomputing. - Xuejun Yang; Zhiyuan Wang; Jingling Xue; Yun Zhou 004 (IEEE Trans. Computers, 2012)

Optimizing modulo scheduling to achieve reuse and concurrency for stream processors. - Li Wang 027; Jingling Xue; Xuejun Yang (J. Supercomput., 2012)

Optimally Maximizing Iteration-Level Loop Parallelism. - Duo Liu; Yi Wang 003; Zili Shao; Minyi Guo; Jingling Xue (IEEE Trans. Parallel Distributed Syst., 2012)

An empirical model for predicting cross-core performance interference on multicore processors. - Jiacheng Zhao; Xiaobing Feng 002; Huimin Cui; Youliang Yan; Jingling Xue; Wensen Yang (PACT, 2013)

Scratchpad Memory aware task scheduling with minimum number of preemptions on a single processor. - Qing Wan; Hui Wu 001; Jingling Xue (ASP-DAC, 2013)

An Incremental Points-to Analysis with CFL-Reachability. - Yi Lu 003; Lei Shang 002; Xinwei Xie; Jingling Xue (CC, 2013)

Query-directed adaptive heap cloning for optimizing compilers. - Yulei Sui; Yue Li 006; Jingling Xue (CGO, 2013)

Structural Lock Correlation with Ownership Types. - Yi Lu 003; John Potter; Jingling Xue (ESOP, 2013)

Accelerating inclusion-based pointer analysis on heterogeneous CPU-GPU systems. - Yu Su 012; Ding Ye; Jingling Xue (HiPC, 2013)

Instruction scheduling with k-successor tree for clustered VLIW processors. - Xuemeng Zhang; Hui Wu 001; Jingling Xue (Des. Autom. Embed. Syst., 2013)

Epipe: A low-cost fault-tolerance technique considering WCET constraints. - Jianli Li; Jingling Xue; Xinwei Xie; Qing Wan; Qingping Tan; Lanfang Tan (J. Syst. Archit., 2013)

Acculock: accurate and efficient detection of data races. - Xinwei Xie; Jingling Xue; Jie Zhang (Softw. Pract. Exp., 2013)

Layout-oblivious compiler optimization for matrix computations. - Huimin Cui; Qing Yi; Jingling Xue; Xiaobing Feng 002 (ACM Trans. Archit. Code Optim., 2013)

SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution. - Lin Gao 002; Lian Li 002; Jingling Xue; Pen-Chung Yew (IEEE Trans. Computers, 2013)

A collaborative divide-and-conquer K-means clustering algorithm for processing large data. - Huimin Cui; Gong Ruan; Jingling Xue; Rui Xie; Lei Wang 004; Xiaobing Feng 002 (Conf. Computing Frontiers, 2014)

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis. - Ding Ye; Yulei Sui; Jingling Xue (CGO, 2014)

Lifetime holes aware register allocation for clustered VLIW processors. - Xuemeng Zhang; Hui Wu 001; Haiyan Sun; Jingling Xue (DATE, 2014)

Self-inferencing Reflection Resolution for Java. - Yue Li 006; Tian Tan 001; Yulei Sui; Jingling Xue (ECOOP, 2014)

Parallel Pointer Analysis with CFL-Reachability. - Yu Su 012; Ding Ye; Jingling Xue (ICPP, 2014)

WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions. - Ding Ye; Yu Su 012; Yulei Sui; Jingling Xue (ISSRE, 2014)

Region-Based Selective Flow-Sensitive Pointer Analysis. - Sen Ye; Yulei Sui; Jingling Xue (SAS, 2014)

Acyclic orientation graph coloring for software-managed memory allocation. - Li Wang 027; Jingling Xue; Xuejun Yang (Sci. China Inf. Sci., 2014)

OpenMC: Towards Simplifying Programming for TianHe Supercomputers. - Xiangke Liao; Canqun Yang; Tao Tang 001; Huizhan Yi; Feng Wang 050; Qiang Wu; Jingling Xue (J. Comput. Sci. Technol., 2014)

Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation. - Yulei Sui; Sen Ye; Jingling Xue; Jie Zhang (Softw. Pract. Exp., 2014)

Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis. - Yulei Sui; Ding Ye; Jingling Xue (IEEE Trans. Software Eng., 2014)

Performance Modeling of Multithreaded Programs for Mobile Asymmetric Chip Multiprocessors. - Ryan W. Moore; Bruce R. Childers; Jingling Xue (HPCC/CSS/ICESS, 2015)

Contention-Aware Scheduling for Asymmetric Multicore Processors. - Xiaokang Fan; Yulei Sui; Jingling Xue (ICPADS, 2015)

Region-Based May-Happen-in-Parallel Analysis for C Programs. - Peng Di; Yulei Sui; Ding Ye; Jingling Xue (ICPP, 2015)

Design and Implementation of a Highly Efficient DGEMM for 64-Bit ARMv8 Multi-core Processors. - Feng Wang 050; Hao Jiang 001; Ke Zuo; Xing Su 004; Jingling Xue; Canqun Yang (ICPP, 2015)

Hadoop+: Modeling and Evaluating the Heterogeneity for MapReduce Applications in Heterogeneous Clusters. - Wenting He; Huimin Cui; Binbin Lu; Jiacheng Zhao; Shengmei Li; Gong Ruan; Jingling Xue; Xiaobing Feng 002; Wensen Yang; Youliang Yan (ICS, 2015)

File system-independent block device support for storage class memory. - Yi Wang 003; Tianzheng Wang 001; Zili Shao; Duo Liu; Jingling Xue (INFOCOM Workshops, 2015)

Effective Soundness-Guided Reflection Analysis. - Yue Li 006; Tian Tan 001; Jingling Xue (SAS, 2015)

Enhancement of cooperation between file systems and applications - on VFS extensions for optimized performance. - Wang Li 003; Xiangke Liao; Jingling Xue; Sage A. Weil; Yunchuan Wen; Xuejun Yang (Sci. China Inf. Sci., 2015)

Masking Soft Errors with Static Bitwise Analysis. - Jianjun Xu; Xiankai Meng; QingPing Tan; Jingling Xue (APSEC, 2016)

SVF: interprocedural static value-flow analysis in LLVM. - Yulei Sui; Jingling Xue (CC, 2016)

Sparse flow-sensitive pointer analysis for multithreaded programs. - Yulei Sui; Peng Di; Jingling Xue (CGO, 2016)

Exploiting mixed SIMD parallelism by reducing data reorganization overhead. - Hao Zhou 009; Jingling Xue (CGO, 2016)

Program Tailoring: Slicing by Sequential Criteria. - Yue Li 006; Tian Tan 001; Yifei Zhang 001; Jingling Xue (ECOOP, 2016)

An Energy-Efficient Implementation of LU Factorization on Heterogeneous Systems. - Canqun Yang; Cheng Chen 005; Tao Tang 001; Xuhao Chen 001; Jianbin Fang; Jingling Xue (ICPADS, 2016)

RegTT: Accelerating Tree Traversals on GPUs by Exploiting Regularities. - Feng Zhang 026; Peng Di; Hao Zhou 009; Xiangke Liao; Jingling Xue (ICPP, 2016)

Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization. - Yulei Sui; Xiaokang Fan; Hao Zhou 009; Jingling Xue (LCTES, 2016)

Automated memory leak fixing on value-flow slices for C programs. - Hua Yan; Yulei Sui; Shiping Chen 001; Jingling Xue (SAC, 2016)

Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting. - Tian Tan 001; Yue Li 006; Jingling Xue (SAS, 2016)

On-demand strong update analysis via value-flow refinement. - Yulei Sui; Jingling Xue (SIGSOFT FSE, 2016)

Energy Wall for Exascale Supercomputing. - Zhiyuan Wang; Yuhua Tang; Juan Chen 001; Jingling Xue; Yun Zhou 004; Yong Dong (Comput. Informatics, 2016)

Program Tailoring: Slicing by Sequential Criteria (Artifact). - Tian Tan 001; Yue Li 006; Yifei Zhang 001; Jingling Xue (Dagstuhl Artifacts Ser., 2016)

A Compiler Approach for Exploiting Partial SIMD Parallelism. - Hao Zhou 009; Jingling Xue (ACM Trans. Archit. Code Optim., 2016)

Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning. - Juan Chen 001; Yuhua Tang; Yong Dong; Jingling Xue; Zhiyuan Wang; Wenhao Zhou (IEEE Trans. Computers, 2016)

An Efficient GPU Implementation of Inclusion-Based Pointer Analysis. - Yu Su 012; Ding Ye; Jingling Xue; Xiangke Liao (IEEE Trans. Parallel Distributed Syst., 2016)

Predicting Cross-Core Performance Interference on Multicore Processors with Regression Analysis. - Jiacheng Zhao; Huimin Cui; Jingling Xue; Xiaobing Feng 002 (IEEE Trans. Parallel Distributed Syst., 2016)

Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions. - Yulei Sui; Ding Ye; Yu Su 012; Jingling Xue (IEEE Trans. Reliab., 2016)

Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection. - Hua Yan; Yulei Sui; Shiping Chen 001; Jingling Xue (ACSAC, 2017)

Dynamic symbolic execution for polymorphism. - Lian Li 002; Yi Lu 003; Jingling Xue (CC, 2017)

Automatic generation of fast BLAS3-GEMM: a portable compiler approach. - Xing Su 004; Xiangke Liao; Jingling Xue (CGO, 2017)

Reflection Analysis for Java: Uncovering More Reflective Targets Precisely. - Jie Liu 020; Yue Li 006; Tian Tan 001; Jingling Xue (ISSRE, 2017)

Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. - Xiaokang Fan; Yulei Sui; Xiangke Liao; Jingling Xue (ISSTA, 2017)

Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. - Tian Tan 001; Yue Li 006; Jingling Xue (PLDI, 2017)

Incremental Analysis for Probabilistic Programs. - Jieyuan Zhang; Yulei Sui; Jingling Xue (SAS, 2017)

Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement. - Yulei Sui; Jingling Xue (CoRR, 2017)

Fine grained, direct access file system support for storage class memory. - Yi Wang 003; Tianzheng Wang 001; Duo Liu; Zili Shao; Jingling Xue (J. Syst. Archit., 2017)

An Efficient WCET-Aware Instruction Scheduling and Register Allocation Approach for Clustered VLIW Processors. - Xuesong Su; Hui Wu 001; Jingling Xue (ACM Trans. Embed. Comput. Syst., 2017)

Durable Address Translation in PCM-Based Flash Storage Systems. - Duo Liu; Kan Zhong; Tianzheng Wang 001; Yi Wang 003; Zili Shao; Edwin Hsing-Mean Sha; Jingling Xue (IEEE Trans. Parallel Distributed Syst., 2017)

Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing. - Long Zheng 003; Xiaofei Liao; Hai Jin 001; Bingsheng He; Jingling Xue; Haikun Liu (PACT, 2018)

Live Path CFI Against Control Flow Hijacking Attacks. - Mohamad Barbar; Yulei Sui; Hongyu Zhang 002; Shiping Chen 001; Jingling Xue (ACISP, 2018)

May-happen-in-parallel analysis with static vector clocks. - Qing Zhou; Lian Li 002; Lei Wang 004; Jingling Xue; Xiaobing Feng 002 (CGO, 2018)

Revisiting Loop Tiling for Datacenters: Live and Let Live. - Jiacheng Zhao; Huimin Cui; Yalin Zhang; Jingling Xue; Xiaobing Feng 002 (ICS, 2018)

Live path control flow integrity. - Mohamad Barbar; Yulei Sui; Hongyu Zhang 002; Shiping Chen 001; Jingling Xue (ICSE (Companion Volume), 2018)

Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities. - Hua Yan; Yulei Sui; Shiping Chen 001; Jingling Xue (ICSE, 2018)

Launch-mode-aware context-sensitive activity transition analysis. - Yifei Zhang 001; Yulei Sui; Jingling Xue (ICSE, 2018)

Understanding and detecting evolution-induced compatibility issues in Android apps. - Dongjie He; Lian Li 002; Lei Wang 004; Hengjie Zheng; Guangwei Li; Jingling Xue (ASE, 2018)

TDroid: exposing app switching attacks in Android with control flow specialization. - Jie Liu 020; Diyu Wu; Jingling Xue (ASE, 2018)

Parallel construction of interprocedural memory SSA form. - Yulei Sui; Hua Yan; Zheng Zheng 001; Yunpeng Zhang; Jingling Xue (J. Syst. Softw., 2018)

Ripple: Reflection analysis for Android apps in incomplete information environments. - Yifei Zhang 001; Yue Li 006; Tian Tan 001; Jingling Xue (Softw. Pract. Exp., 2018)

Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization. - Yulei Sui; Xiaokang Fan; Hao Zhou 009; Jingling Xue (ACM Trans. Embed. Comput. Syst., 2018)

PPOpenCL: a performance-portable OpenCL compiler with host and kernel thread code fusion. - Ying Liu 055; Lei Huang; Mingchuan Wu; Huimin Cui; Fang Lv; Xiaobing Feng 002; Jingling Xue (CC, 2019)

A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing. - Xiaogang Zhu 001; Xiaotao Feng; Tengyun Jiao; Sheng Wen; Yang Xiang 001; Seyit Camtepe; Jingling Xue (AsiaCCS, 2019)

VFix: value-flow-guided precise program repair for null pointer dereferences. - Xuezheng Xu; Yulei Sui; Hua Yan; Jingling Xue (ICSE, 2019)

Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android. - Diyu Wu; Jie Liu 020; Yulei Sui; Shiping Chen 001; Jingling Xue (ICST, 2019)

TCD: Statically Detecting Type Confusion Errors in C++ Programs. - Changwei Zou; Yulei Sui; Hua Yan; Jingling Xue (ISSRE, 2019)

Detecting memory errors at runtime with source-level instrumentation. - Zhe Chen 011; Junqi Yan; Shuanglong Kan; Ju Qian; Jingling Xue (ISSTA, 2019)

B2SFinder: Detecting Open-Source Software Reuse in COTS Software. - Muyue Feng; Zimu Yuan; Feng Li 045; Gu Ban; Shiyang Wang; Qian Tang; He Su; Chendong Yu; Jiahuan Xu; Aihua Piao; Jingling Xue; Wei Huo (ASE, 2019)

Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. - Dongjie He; Haofeng Li; Lei Wang 004; Haining Meng; Hengjie Zheng; Jie Liu 020; Shuangwei Hu; Lian Li 002; Jingling Xue (ASE, 2019)

WCET-aware hyper-block construction for clustered VLIW processors. - Xuesong Su; Hui Wu 001; Jingling Xue (LCTES, 2019)

Incremental precision-preserving symbolic inference for probabilistic programs. - Jieyuan Zhang; Jingling Xue (PLDI, 2019)

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. - Hua Yan; Shiping Chen 001; Yulei Sui; Yueqian Zhang; Changwei Zou; Jingling Xue (SAS, 2019)

Event trace reduction for effective bug replay of Android apps via differential GUI state analysis. - Yulei Sui; Yifei Zhang 001; Wei Zheng 006; Manqing Zhang; Jingling Xue (ESEC/SIGSOFT FSE, 2019)

LCCFS: a lightweight distributed file system for cloud computing without journaling and metadata services. - Wang Li 003; Jingling Xue; Xiangke Liao; Yunchuan Wen; Min Chen (Sci. China Inf. Sci., 2019)

Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity. - Jingbo Lu; Jingling Xue (Proc. ACM Program. Lang., 2019)

SCP: Shared Cache Partitioning for High-Performance GEMM. - Xing Su 004; Xiangke Liao; Hao Jiang 001; Canqun Yang; Jingling Xue (ACM Trans. Archit. Code Optim., 2019)

Poker: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding. - Feng Zhang 026; Jingling Xue (ACM Trans. Archit. Code Optim., 2019)

Understanding and Analyzing Java Reflection. - Yue Li 006; Tian Tan 001; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2019)

Bandwidth-Aware Loop Tiling for DMA-Supported Scratchpad Memory. - Mingchuan Wu; Ying Liu 055; Huimin Cui; Qingfu Wei; Quanfeng Li; Limin Li; Fang Lv; Jingling Xue; Xiaobing Feng 002 (PACT, 2020)

VTensor: Using Virtual Tensors to Build a Layout-oblivious AI Programming Framework. - Feng Yu 019; Jiacheng Zhao; Huimin Cui; Xiaobing Feng 002; Jingling Xue (PACT, 2020)

Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory. - Wei Li 241; Libing Wu; Mengting Yuan 001; Chun Jason Xue; Jingling Xue; Qingan Li (ICCD, 2020)

Burn after reading: a shadow stack with microsecond-level runtime rerandomization for protecting return addresses. - Changwei Zou; Jingling Xue (ICSE, 2020)

Every Mutation Should Be Rewarded: Boosting Fault Localization with Mutated Predicates. - Xuezheng Xu; Changwei Zou; Jingling Xue (ICSME, 2020)

Spara: An Energy-Efficient ReRAM-Based Accelerator for Sparse Graph Analytics Applications. - Long Zheng 003; Jieshan Zhao; Yu Huang 013; Qinggang Wang; Zhen Zeng; Jingling Xue; Xiaofei Liao; Hai Jin 001 (IPDPS, 2020)

A Heterogeneous PIM Hardware-Software Co-Design for Energy-Efficient Graph Processing. - Yu Huang 013; Long Zheng 003; Pengcheng Yao; Jieshan Zhao; Xiaofei Liao; Hai Jin 001; Jingling Xue (IPDPS, 2020)

Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis. - Jie Liu 020; Dongjie He; Diyu Wu; Jingling Xue (ISSRE, 2020)

Exposing Android Event-Based Races by Selective Branch Instrumentation. - Diyu Wu; Dongjie He; Shiping Chen 001; Jingling Xue (ISSRE, 2020)

A Locality-Aware Energy-Efficient Accelerator for Graph Mining Applications. - Pengcheng Yao; Long Zheng 003; Zhen Zeng; Yu Huang 013; Chuangyi Gui; Xiaofei Liao; Hai Jin 001; Jingling Xue (MICRO, 2020)

Scaph: Scalable GPU-Accelerated Graph Processing with Value-Driven Differential Scheduling. - Long Zheng 003; Xianliang Li; Yaohui Zheng; Yu Huang 013; Xiaofei Liao; Hai Jin 001; Jingling Xue; Zhiyuan Shao; Qiang-Sheng Hua (USENIX ATC, 2020)

Referee: A Pattern-Guided Approach for Auto Design in Compiler-Based Analyzers. - Fang Lv; Hao Li; Lei Wang 004; Ying Liu 055; Huimin Cui; Jingling Xue; Xiaobing Feng 002 (SANER, 2020)

A Conflict-free Scheduler for High-performance Graph Processing on Multi-pipeline FPGAs. - Qinggang Wang; Long Zheng 003; Jieshan Zhao; Xiaofei Liao; Hai Jin 001; Jingling Xue (ACM Trans. Archit. Code Optim., 2020)

DNNTune: Automatic Benchmarking DNN Models for Mobile-cloud Computing. - Chunwei Xia; Jiacheng Zhao; Huimin Cui; Xiaobing Feng 002; Jingling Xue (ACM Trans. Archit. Code Optim., 2020)

Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices. - Guangli Li; Xiu Ma; Xueying Wang 003; Lei Liu 030; Jingling Xue; Xiaobing Feng 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Value-Flow-Based Demand-Driven Pointer Analysis for C and C++. - Yulei Sui; Jingling Xue (IEEE Trans. Software Eng., 2020)

Unleashing the Low-Precision Computation Potential of Tensor Cores on GPUs. - Guangli Li; Jingling Xue; Lei Liu 030; Xueying Wang 003; Xiu Ma; Xiao Dong; Jiansong Li; Xiaobing Feng 002 (CGO, 2021)

GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs. - Ting Yuan; Guangwei Li; Jie Lu 009; Chen Liu; Lian Li 002; Jingling Xue (CGO, 2021)

Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. - Dongjie He; Jingbo Lu; Yaoqing Gao; Jingling Xue (ECOOP, 2021)

Runtime detection of memory errors with smart status. - Zhe Chen 011; Chong Wang; Junqi Yan; Yulei Sui; Jingling Xue (ISSTA, 2021)

Context Debloating for Object-Sensitive Pointer Analysis. - Dongjie He; Jingbo Lu; Jingling Xue (ASE, 2021)

Detecting TensorFlow Program Bugs in Real-World Industrial Environment. - Chen Liu; Jie Lu 009; Guangwei Li; Ting Yuan; Lian Li 002; Feng Tan; Jun Yang; Liang You; Jingling Xue (ASE, 2021)

Selective Context-Sensitivity for k-CFA with CFL-Reachability. - Jingbo Lu; Dongjie He; Jingling Xue (SAS, 2021)

Automatic Synthesis of Data-Flow Analyzers. - Xuezheng Xu; Xudong Wang; Jingling Xue (SAS, 2021)

Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact). - Dongjie He; Jingbo Lu; Yaoqing Gao; Jingling Xue (Dagstuhl Artifacts Ser., 2021)

Guest Editorial: Special Section on New Trends in Parallel and Distributed Computing for Human Sensible Applications. - Daniele D'Agostino; Francesco Leporati; Massimo Torquati; Jingling Xue (IEEE Trans. Emerg. Top. Comput., 2021)

Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity. - Jingbo Lu; Dongjie He; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2021)

Recovering Container Class Types in C++ Binaries. - Xudong Wang; Xuezheng Xu; Qingan Li; Mengting Yuan 001; Jingling Xue (CGO, 2022)

M3V: Multi-modal Multi-view Context Embedding for Repair Operator Prediction. - Xuezheng Xu; Xudong Wang; Jingling Xue (CGO, 2022)

Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. - Dongjie He; Jingbo Lu; Jingling Xue (ECOOP, 2022)

Accelerating Graph Convolutional Networks Using Crossbar-based Processing-In-Memory Architectures. - Yu Huang 013; Long Zheng 003; Pengcheng Yao; Qinggang Wang; Xiaofei Liao; Hai Jin 001; Jingling Xue (HPCA, 2022)

ScalaGraph: A Scalable Accelerator for Massively Parallel Graph Processing. - Pengcheng Yao; Long Zheng 003; Yu Huang 013; Qinggang Wang; Chuangyi Gui; Zhen Zeng; Xiaofei Liao; Hai Jin 001; Jingling Xue (HPCA, 2022)

A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation. - Zhe Chen 011; Jun Wu; Qi Zhang; Jingling Xue (ICSE-Companion, 2022)

A Data-Centric Accelerator for High-Performance Hypergraph Processing. - Qinggang Wang; Long Zheng 003; Ao Hu; Yu Huang 013; Pengcheng Yao; Chuangyi Gui; Xiaofei Liao; Hai Jin 001; Jingling Xue (MICRO, 2022)

Finding SMM Privilege-Escalation Vulnerabilities in UEFI Firmware with Protocol-Centric Static Analysis. - Jiawei Yin; Menghao Li; Wei Wu; Dandan Sun; Jianhua Zhou; Wei Huo; Jingling Xue (SP, 2022)

Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework. - Jiangchao Liu; Jierui Liu; Peng Di; Diyu Wu; Hengjie Zheng; Alex X. Liu; Jingling Xue (CoRR, 2022)

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact). - Dongjie He; Jingbo Lu; Jingling Xue (Dagstuhl Artifacts Ser., 2022)

Optimizing deep neural networks on intelligent edge accelerators via flexible-rate filter pruning. - Guangli Li; Xiu Ma; Xueying Wang 003; Hengshan Yue; Jiansong Li; Lei Liu 030; Xiaobing Feng 002; Jingling Xue (J. Syst. Archit., 2022)

Practical Software-Based Shadow Stacks on x86-64. - Changwei Zou; Yaoqing Gao; Jingling Xue (ACM Trans. Archit. Code Optim., 2022)

ReaDy: A ReRAM-Based Processing-in-Memory Accelerator for Dynamic Graph Convolutional Networks. - Yu Huang 013; Long Zheng 003; Pengcheng Yao; Qinggang Wang; Haifeng Liu 003; Xiaofei Liao; Hai Jin 001; Jingling Xue (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

A Flexible Yet Efficient DNN Pruning Approach for Crossbar-Based Processing-in-Memory Architectures. - Long Zheng 003; Haifeng Liu 003; Yu Huang 013; Dan Chen 006; Chaoqiang Liu; Haiheng He; Xiaofei Liao; Hai Jin 001; Jingling Xue (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Buddy Stacks: Protecting Return Addresses with Efficient Thread-Local Storage and Runtime Re-Randomization. - Changwei Zou; Xudong Wang; Yaoqing Gao; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2022)

CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement. - Jie Lu 009; Feng Li 045; Chen Liu; Lian Li 002; Xiaobing Feng 002; Jingling Xue (IEEE Trans. Software Eng., 2022)

Occamy: Elastically Sharing a SIMD Co-processor across Multiple CPU Cores. - Zhongcheng Zhang; Yan Ou; Ying Liu 055; Chenxi Wang; Yongbin Zhou; Xiaoyu Wang; Yuyang Zhang; Yucheng Ouyang; Jiahao Shan; Ying Wang 001; Jingling Xue; Huimin Cui; et al. (ASPLOS (3), 2023)

AFaVS: Accurate Yet Fast Version Switching for Graph Processing Systems. - Long Zheng 003; Xiangyu Ye; Haifeng Liu 003; Qinggang Wang; Yu Huang 013; Chuangyi Gui; Pengcheng Yao; Xiaofei Liao; Hai Jin 001; Jingling Xue (ICDE, 2023)

Accelerating Personalized Recommendation with Cross-level Near-Memory Processing. - Haifeng Liu 003; Long Zheng 003; Yu Huang 013; Chaoqiang Liu; Xiangyu Ye; Jingrui Yuan; Xiaofei Liao; Hai Jin 001; Jingling Xue (ISCA, 2023)

Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. - Dongjie He; Yujiang Gui; Yaoqing Gao; Jingling Xue (ISSTA, 2023)

Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. - Jiangchao Liu; Jierui Liu; Peng Di; Diyu Wu; Hengjie Zheng; Alex X. Liu; Jingling Xue (ISSTA, 2023)

Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. - Yujiang Gui; Dongjie He; Jingling Xue (ASE, 2023)

Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. - Jingbo Lu; Dongjie He; Wei Li 241; Yaoqing Gao; Jingling Xue (ASE, 2023)

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. - Chenghang Shi; Haofeng Li; Yulei Sui; Jie Lu 009; Lian Li 002; Jingling Xue (ASE, 2023)

SIRIUS: Harvesting Whole-Program Optimization Opportunities for DNNs. - Yijin Li; Jiacheng Zhao; Qianqi Sun; Haohui Mai; Lei Chen; Wanlu Cao; Yanfan Chen; Zhicheng Li; Ying Liu 055; Xinyuan Zhang; Xiyu Shi; Jie Zhao 002; et al. (MLSys, 2023)

Statistical Type Inference for Incomplete Programs. - Yaohui Peng; Jing Xie; Qiongling Yang; Hanwen Guo; Qingan Li; Jingling Xue; Mengting Yuan 001 (ESEC/SIGSOFT FSE, 2023)

RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing. - Jiawei Yin; Menghao Li; Yuekang Li; Yong Yu; Boru Lin; Yanyan Zou; Yang Liu 003; Wei Huo; Jingling Xue (SP, 2023)

Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis. - Dongjie He; Jingbo Lu; Yaoqing Gao; Jingling Xue (IEEE Trans. Software Eng., 2023)

A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety. - Zhe Chen 011; Qi Zhang; Jun Wu; Junqi Yan; Jingling Xue (IEEE Trans. Software Eng., 2023)

IFDS-based Context Debloating for Object-Sensitive Pointer Analysis. - Dongjie He; Jingbo Lu; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2023)

VTensor: Using Virtual Tensors to Build a Layout-Oblivious AI Programming Framework. - Feng Yu 019; Jiacheng Zhao; Hui-Min Cui; Xiaobing Feng 002; Jingling Xue (J. Comput. Sci. Technol., 2023)

A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis. - Dongjie He; Yujiang Gui; Wei Li 241; Yonggang Tao; Changwei Zou; Yulei Sui; Jingling Xue (Proc. ACM Program. Lang., 2023)

Effective Stack Wear Leveling for NVM. - Jifeng Wu; Wei Li 241; Libing Wu; Mengting Yuan 001; Chun Jason Xue; Jingling Xue; Qingan Li (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Automatic Target Description File Generation. - Hongna Geng; Fang Lyu; Ming Zhong 016; Hui-Min Cui; Jingling Xue; Xiaobing Feng 002 (J. Comput. Sci. Technol., 2023)

Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization. - Feng Yu 019; Guangli Li; Jiacheng Zhao; Huimin Cui; Xiaobing Feng 002; Jingling Xue (ASPLOS (2), 2024)

A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction. - Wei Li 241; Dongjie He; Yujiang Gui; Wenguang Chen; Jingling Xue (CC, 2024)

Welcome from the Program Chairs. - Guilherme Ottoni; Fernando Pereira; Michel Steuwer; Jingling Xue (CGO, 2024)

A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction. - Dongjie He; Jingbo Lu; Jingling Xue (ECOOP, 2024)

UnsafeCop: Towards Memory Safety for Real-World Unsafe Rust Code with Practical Bounded Model Checking. - Minghua Wang; Jingling Xue; Lin Huang; Yuan Zi; Tao Wei 002 (FM (2), 2024)

Enabling Efficient Large Recommendation Model Training with Near CXL Memory Processing. - Haifeng Liu 003; Long Zheng 003; Yu Huang 013; Jingyi Zhou; Chaoqiang Liu; Runze Wang; Xiaofei Liao; Hai Jin 001; Jingling Xue (ISCA, 2024)

A Scalable, Efficient, and Robust Dynamic Memory Management Library for HLS-based FPGAs. - Qinggang Wang; Long Zheng 003; Zhaozeng An; Shuyi Xiong; Runze Wang; Yu Huang 013; Pengcheng Yao; Xiaofei Liao; Hai Jin 001; Jingling Xue (MICRO, 2024)

Correction-based Defense Against Adversarial Video Attacks via Discretization-Enhanced Video Compressive Sensing. - Wei Song; Cong Cong; Haonan Zhong; Jingling Xue (USENIX Security Symposium, 2024)

Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers. - Haofeng Li; Chenghang Shi; Jie Lu 009; Lian Li 002; Jingling Xue (Proc. ACM Program. Lang., 2024)

Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability. - Pei Xu; Yuxiang Lei; Yulei Sui; Jingling Xue (Proc. ACM Program. Lang., 2024)

TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers. - Changwei Zou; Dongjie He; Yulei Sui; Jingling Xue (Proc. ACM Softw. Eng., 2024)

Artifact for "A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction". - Wei Li 241; Dongjie He; Yujiang Gui; Wenguang Chen; Jingling Xue (Zenodo, 2024)

A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction (Artifact). - Dongjie He; Jingbo Lu; Jingling Xue (Zenodo, 2024)

A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety. - Zhe Chen 011; Rui Yan; Yingzi Ma; Yulei Sui; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2024)

Artifact for "Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis". - Wei Li 241; Dongjie He; Wenguang Chen; Jingling Xue (Zenodo, 2024)

Artifact for "Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis". - Wei Li 241; Dongjie He; Wenguang Chen; Jingling Xue (Zenodo, 2024)

Artifact for "Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis". - Wei Li 241; Dongjie He; Wenguang Chen; Jingling Xue (Zenodo, 2024)

Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving. - Chenghang Shi; Haofeng Li; Yulei Sui; Jie Lu 009; Lian Li 002; Jingling Xue (IEEE Trans. Software Eng., 2024)

ReSBM: Region-based Scale and Minimal-Level Bootstrapping Management for FHE via Min-Cut. - Yan Liu 082; Jianxin Lai; Long Li 015; Tianxiang Sui; Linjie Xiao; Peng Yuan; Xiaojing Zhang; Qing Zhu; Wenguang Chen; Jingling Xue (ASPLOS (1), 2025)

Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis. - Wei Li 241; Dongjie He; Wenguang Chen; Jingling Xue (CGO, 2025)

ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference. - Long Li 015; Jianxin Lai; Peng Yuan; Tianxiang Sui; Yan Liu 082; Qing Zhu; Xiaojing Zhang; Linjie Xiao; Wenguang Chen; Jingling Xue (CGO, 2025)

Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption Programs. - Zhongcheng Zhang; Ying Liu 055; Yuyang Zhang; Zhenchuan Chen; Jiacheng Zhao; Xiaobing Feng 002; Huimin Cui; Jingling Xue (CGO, 2025)

VEGA: Automatically Generating Compiler Backends using a Pre-trained Transformer Model. - Ming Zhong 016; Fang Lv; Lulin Wang; Lei Qiu; Yingying Wang; Ying Liu 055; Huimin Cui; Xiaobing Feng 002; Jingling Xue (CGO, 2025)

TopServe: Task-Operator Co-scheduling for Efficient Multi-DNN Inference Serving on GPUs. - Ao Chen; Guangli Li; Feng Yu 019; Xueying Wang 003; Jiacheng Zhao; Huimin Cui; Xiaobing Feng 002; Jingling Xue (Euro-Par (2), 2025)

MetaHG: Enhancing HGNN Systems Leveraging Advanced Metapath Graph Abstraction. - Haiheng He; Haifeng Liu 003; Long Zheng 003; Yu Huang 013; Xinyang Shen; Wenkan Huang; Shuaihu Cao; Xiaofei Liao; Hai Jin 001; Jingling Xue (EuroSys, 2025)

MeHyper: Accelerating Hypergraph Neural Networks by Exploring Implicit Dataflows. - Wenju Zhao; Pengcheng Yao; Dan Chen 006; Long Zheng 003; Xiaofei Liao; Qinggang Wang; Shaobo Ma; Yu Li; Haifeng Liu 003; Wenjing Xiao; Yufei Sun; Bing Zhu; et al. (HPCA, 2025)

VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-object Typestate Analysis. - Liqing Cao; Haofeng Li; Chenghang Shi; Jie Lu 009; Haining Meng; Lian Li 002; Jingling Xue (Proc. ACM Softw. Eng., 2025)

PRAGA: A Priority-Aware Hardware/Software Co-design for High-Throughput Graph Processing Acceleration. - Long Zheng 003; Bing Zhu; Pengcheng Yao; Yuhang Zhou; Chengao Pan; Wenju Zhao; Xiaofei Liao; Hai Jin 001; Jingling Xue (ACM Trans. Archit. Code Optim., 2025)

ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet. - Yuekang Li; Wei Song; Bangshuo Zhu; Dong Gong; Yi Liu 069; Gelei Deng; Chunyang Chen 001; Lei Ma 003; Jun Sun 001; Toby Walsh; Jingling Xue (CoRR, 2025)

Accelerating Delta Debugging through Probabilistic Monotonicity Assessment. - Yonggang Tao; Jingling Xue (CoRR, 2025)

OptiFX: Automatic Optimization for Convolutional Neural Networks with Aggressive Operator Fusion on GPUs. - Xueying Wang 003; Shigang Li 002; Hao Qian; Fan Luo; Zhaoyang Hao; Tong Wu; Ruiyuan Xu; Huimin Cui; Xiaobing Feng 002; Guangli Li; Jingling Xue (ACM Trans. Archit. Code Optim., 2025)

Cheetah: Accelerating Dynamic Graph Mining with Grouping Updates. - Yi Zhang 004; Xiaomeng Yi; Yu Huang 013; Jingrui Yuan; Chuangyi Gui; Dan Chen 006; Long Zheng 003; Jianhui Yue; Xiaofei Liao; Hai Jin 001; Jingling Xue (ACM Trans. Archit. Code Optim., 2025)

Failures to Surface Harmful Contents in Video Large Language Models. - Yuxin Cao; Wei Song; Derui Wang; Jingling Xue; Jin Song Dong (CoRR, 2025)

Help or Hurdle? Rethinking Model Context Protocol-Augmented Large Language Models. - Wei Song; Haonan Zhong; Ziqi Ding; Jingling Xue; Yuekang Li (CoRR, 2025)