Issue Date | Title | Author(s) |
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 |
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 |
2011-04-01 | Inhibition of highly pathogenic avian H5N1 influenza virus propagation by RNA oligonucleotides targeting the PB2 gene in combination with celecoxib | Jin, Y; Zhang, G; Hu, Y; Ding, M; Li, Y; Cao, S; Xue, J; Sun, LQ; Wang, M |
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 |
2018-02-01 | Loop-Oriented pointer analysis for automatic SIMD vectorization | Sui, Y; Fan, X; Zhou, H; Xue, J |
2017-12-04 | Machine-learning-guided typestate analysis for static use-After-free detection | Yan, H; Sui, Y; Chen, S; Xue, J |
2018-12-01 | Parallel construction of interprocedural memory SSA form | Sui, Y; Yan, H; Zheng, Z; Zhang, Y; 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 |
2018-05-27 | POSTER: Live path control flow integrity | Barbar, M; Sui, Y; Zhang, H; Chen, S; 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 | Progress of research on active noise radiation control with reflecting surfaces | Tao, J; Xue, J; Zhong, J; Qiu, X |
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 |
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 |
2019-08-01 | A switching strategy of the frequency-domain adaptive algorithm for active noise control | Wang, J; Xue, J; Lu, J; Qiu, X |
2018-09-06 | Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ | Sui, Y; Xue, J |
2019-05-01 | VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences | Xu, X; Sui, Y; Yan, H; Xue, J |