Følg
Jingling Xue
Jingling Xue
IEEE Fellow (Computer Society), Scientia Professor, School of Computer Science and Engineering, UNSW
Verifisert e-postadresse på cse.unsw.edu.au - Startside
Tittel
Sitert av
Sitert av
År
SVF: interprocedural static value-flow analysis in LLVM
Y Sui, J Xue
Proceedings of the 25th international conference on compiler construction …, 2016
4972016
Loop tiling for parallelism
J Xue
Kluwer Academic Publishers, 2000
3422000
Data cache locking for higher program predictability
X Vera, B Lisper, J Xue
ACM SIGMETRICS Performance Evaluation Review 31 (1), 272-282, 2003
1982003
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
1792012
Memory coloring: a compiler approach for scratchpad memory management
L Li, L Gao, J Xue
14th International Conference on Parallel Architectures and Compilation …, 2005
1592005
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
1512014
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
1382010
On tiling as a loop transformation
J Xue
Parallel Processing Letters 7 (04), 409-424, 1997
1361997
The reliability wall for exascale supercomputing
X Yang, Z Wang, J Xue, Y Zhou
IEEE Transactions on Computers 61 (6), 767-779, 2011
1132011
Communication-minimal tiling of uniform dependence loops
J Xue
Journal of Parallel and Distributed Computing 42 (1), 42--59, 1997
1111997
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
1102003
Let's study whole-program cache behaviour analytically
X Vera, J Xue
Proceedings Eighth International Symposium on High Performance Computer …, 2002
1082002
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
1072012
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
100*2018
ACCULOCK: Accurate and Efficient Detection of Data Races
X Xie, J Xue
9th Annual IEEE/ACM International Symposium on Code Generation and …, 2011
1002011
On-demand strong update analysis via value-flow refinement
Y Sui, J Xue
Proceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016
972016
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
942013
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
922017
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
862018
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
T Tan, Y Li, J Xue
International Static Analysis Symposium, 489-510, 2016
752016
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20