Jingling Xue

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis	2024-04-19	Paper
Automatic synthesis of data-flow analyzers	2022-06-17	Paper
Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability	2022-06-17	Paper
SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution IEEE Transactions on Computers	2017-07-12	Paper
The Reliability Wall for Exascale Supercomputing IEEE Transactions on Computers	2017-07-12	Paper
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning IEEE Transactions on Computers	2017-05-16	Paper
A type and effect system for determinism in multithreaded programs Programming Languages and Systems	2012-06-22	Paper
Factorization of singular integer matrices Linear Algebra and its Applications	2008-02-06	Paper
Compiler Construction Lecture Notes in Computer Science	2007-09-28	Paper
Eigenvectors-based parallelisation of nested loops with affine dependences	2003-06-29	Paper
Space-Time Equations for Non-Unimodular Mappings International Journal of Computer Mathematics	2002-08-08	Paper
Time-minimal and processor-time-minimal loop tiling	2001-10-21	Paper
scientific article; zbMATH DE number 1520614 (Why is no real title available?)	2000-10-23	Paper
Unimodular transformations of non-perfectly nested loops Parallel Computing	1998-07-23	Paper
Transformations of nested loops with non-convex iteration spaces Parallel Computing	1997-02-27	Paper
Automating non-unimodular loop transformations for massive parallelism Parallel Computing	1995-01-26	Paper
The synthesis of control signals for one-dimensional systolic arrays Integration	1993-01-13	Paper

Research outcomes over time

This page was built for person: Jingling Xue