Jingling Xue
Jingling Xue
IEEE Fellow (Computer Society), Scientia Professor, School of Computer Science and Engineering, UNSW
Verified email at - Homepage
Cited by
Cited by
SVF: interprocedural static value-flow analysis in LLVM
Y Sui, J Xue
Proceedings of the 25th international conference on compiler construction …, 2016
Loop tiling for parallelism
J Xue
Kluwer Academic Publishers, 2000
Data cache locking for higher program predictability
X Vera, B Lisper, J Xue
ACM SIGMETRICS Performance Evaluation Review 31 (1), 272-282, 2003
Static memory leak detection using full-sparse value-flow analysis
Y Sui, D Ye, J Xue
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
Memory coloring: a compiler approach for scratchpad memory management
L Li, L Gao, J Xue
14th International Conference on Parallel Architectures and Compilation …, 2005
Level by level: making flow-and context-sensitive pointer analysis scalable for millions of lines of code
H Yu, J Xue, W Huo, X Feng, Z Zhang
Proceedings of the 8th annual IEEE/ACM international symposium on Code …, 2010
Detecting memory leaks statically with full-sparse value-flow analysis
Y Sui, D Ye, J Xue
IEEE Transactions on Software Engineering 40 (2), 107-122, 2014
On tiling as a loop transformation
J Xue
Parallel Processing Letters 7 (04), 409-424, 1997
Communication-minimal tiling of uniform dependence loops
J Xue
Journal of Parallel and Distributed Computing 42 (1), 42--59, 1997
Data caches in multitasking hard real-time systems
X Vera, B Lisper, J Xue
RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003, 154-165, 2003
The reliability wall for exascale supercomputing
X Yang, Z Wang, J Xue, Y Zhou
IEEE Transactions on Computers 61 (6), 767-779, 2011
Let's study whole-program cache behaviour analytically
X Vera, J Xue
Proceedings Eighth International Symposium on High Performance Computer …, 2002
On-demand dynamic summary-based points-to analysis
L Shang, X Xie, J Xue
Proceedings of the Tenth International Symposium on Code Generation and …, 2012
ACCULOCK: Accurate and Efficient Detection of Data Races
X Xie, J Xue
9th Annual IEEE/ACM International Symposium on Code Generation and …, 2011
An incremental points-to analysis with CFL-reachability
Y Lu, L Shang, X Xie, J Xue
Compiler Construction: 22nd International Conference, CC 2013, Held as Part …, 2013
On-demand strong update analysis via value-flow refinement
Y Sui, J Xue
Proceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016
Spatio-temporal context reduction: A pointer-analysis-based static approach for detecting use-after-free vulnerabilities.
H Yan, Y Sui, S Chen, J Xue
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata
T Tan, Y Li, J Xue
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
Understanding and detecting evolution-induced compatibility issues in Android apps
D He, L Li, L Wang, H Zheng, G Li, J Xue
2018 33rd IEEE/ACM International Conference on Automated Software …, 2018
Data cache locking for tight timing calculations
X Vera, B Lisper, J Xue
ACM Transactions on Embedded Computing Systems (TECS) 7 (1), 1-38, 2007
The system can't perform the operation now. Try again later.
Articles 1–20