Showing results 21 to 40 of 42
< previous
next >
| Issue Date | Title | Author(s) |
| 2019-08-12 | Event trace reduction for effective bug replay of Android apps via differential GUI state analysis | Sui, Y; Zhang, Y; Zheng, W; Zhang, M; Xue, J |
| 2019-08-01 | A switching strategy of the frequency-domain adaptive algorithm for active noise control | Wang, J; Xue, J; Lu, J; Qiu, X |
| 2019-05-01 | VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences | Xu, X; Sui, Y; Yan, H; Xue, J |
| 2019-04-01 | Precise static happens-before analysis for detecting UAF order violations in android | Wu, D; Liu, J; Sui, Y; Chen, S; Xue, J |
| 2019-01-01 | Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis | Yan, H; Chen, S; Sui, Y; Zhang, Y; Zou, C; Xue, J |
| 2019-01-01 | Progress of research on active noise radiation control with reflecting surfaces | Tao, J; Xue, J; Zhong, J; Qiu, X |
| 2019-01-01 | Progress of research on active noise radiation control with reflecting surfaces | Tao, J; Xue, J; Zhong, J; Qiu, X |
| 2018-12-01 | Parallel construction of interprocedural memory SSA form | Sui, Y; Yan, H; Zheng, Z; Zhang, Y; Xue, J |
| 2018-09-06 | Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ | Sui, Y; Xue, J |
| 2018-05-27 | POSTER: Live path control flow integrity | Barbar, M; Sui, Y; Zhang, H; Chen, S; Xue, J |
| 2018-02-01 | Loop-Oriented pointer analysis for automatic SIMD vectorization | Sui, Y; Fan, X; Zhou, H; Xue, J |
| 2018-01-01 | Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities | Yan, H; Sui, Y; Chen, S; Xue, J |
| 2018-01-01 | Launch-Mode-Aware Context-Sensitive Activity Transition Analysis | Zhang, Y; Sui, Y; Xue, J |
| 2018-01-01 | Live path CFI against control flow hijacking attacks | Barbar, M; Sui, Y; Zhang, H; Chen, S; Xue, J |
| 2017-12-04 | Machine-learning-guided typestate analysis for static use-After-free detection | Yan, H; Sui, Y; Chen, S; Xue, J |
| 2017-07-10 | Boosting the precision of virtual call integrity protection with partial pointer analysis for C++ | Fan, X; Sui, Y; Liao, X; Xue, J |
| 2017-01-01 | Incremental analysis for probabilistic programs | Zhang, J; Sui, Y; Xue, J; Ranzato, F |
| 2016-12-01 | Eliminating redundant bounds checks in dynamic buffer overflow detection using weakest preconditions | Sui, Y; Ye, D; Su, Y; Xue, J |
| 2016-03-17 | SVF: Interprocedural static value-flow analysis in LLVM | Sui, Y; Xue, J |
| 2012-05-01 | Response of Pinus radiata D. Don to Boron Fertilization in a Glasshouse Study | Khan, RU; Anderson, CWN; Loganathan, P; Xue, J; Clinton, PW |
