Jingling Xue

Available identifiers

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	2017-07-12	Paper
The Reliability Wall for Exascale Supercomputing	2017-07-12	Paper
Reducing Static Energy in Supercomputer Interconnection Networks Using Topology-Aware Partitioning	2017-05-16	Paper
A Type and Effect System for Determinism in Multithreaded Programs	2012-06-22	Paper
Factorization of singular integer matrices	2008-02-06	Paper
Compiler Construction	2007-09-28	Paper
Eigenvectors-based parallelisation of nested loops with affine dependences	2003-06-29	Paper
Space-Time Equations for Non-Unimodular Mappings	2002-08-08	Paper
Time-minimal and processor-time-minimal loop tiling	2001-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4510184	2000-10-23	Paper
Unimodular transformations of non-perfectly nested loops	1998-07-23	Paper
Transformations of nested loops with non-convex iteration spaces	1997-02-27	Paper
Automating non-unimodular loop transformations for massive parallelism	1995-01-26	Paper
The synthesis of control signals for one-dimensional systolic arrays	1993-01-13	Paper

This page was built for person: Jingling Xue