Showing results 24 to 39 of 39
< previous
Issue Date | Title | Author(s) |
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 |
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 |
2022-04-01 | Responses of seawater bacteria in the bioremediation process of petroleum contamination by immobilized bacteria | Xue, J; Liu, Y; Shi, K; Qiao, Y; Cheng, D; Bai, Y; Shen, C; Jiang, Q |
2021-07-11 | Runtime detection of memory errors with smart status | Chen, Z; Wang, C; Yan, J; Sui, Y; 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 |
2023-01-01 | Stability improvement and the mechanism of a microbial electrolysis cell biocathode for treating wastewater containing sulfate by quorum sensing | Shi, K; Cheng, W; Cheng, D; Xue, J; Qiao, Y; Gao, Y; Jiang, Q; Wang, J |
2016-03-17 | SVF: Interprocedural static value-flow analysis in LLVM | Sui, Y; 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 |
2020 | TCD: Statically Detecting Type Confusion Errors in C++ Programs | Zou, C; Sui, Y; Yan, H; Xue, J |
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 |