Showing results 17 to 28 of 28
< previous
Issue Date | Title | Author(s) |
2017-12-04 | Machine-learning-guided typestate analysis for static use-After-free detection | Yan, H; Sui, Y; Chen, S; Xue, J |
2016-02-25 | Novel loci and pathways significantly associated with longevity. | Zeng, Y; Nie, C; Min, J; Liu, X; Li, M; Chen, H; Xu, H; Wang, M; Ni, T; Li, Y; Yan, H; Zhang, J-P; Song, C; Chi, L-Q; Wang, H-M; Dong, J; Zheng, G-Y; Lin, L; Qian, F; Qi, Y; Liu, X; Cao, H; Wang, Y; Zhang, L; Li, Z; Zhou, Y; Wang, Y; Lu, J; Li, J; Qi, M; Bolund, L; Yashin, A; Land, KC; Gregory, S; Yang, Z; Gottschalk, W; Tao, W; Wang, J; Wang, J; Xu, X; Bae, H; Nygaard, M; Christiansen, L; Christensen, K; Franceschi, C; Lutz, MW; Gu, J; Tan, Q; Perls, T; Sebastiani, P; Deelen, J; Slagboom, E; Hauser, E; Xu, H; Tian, X-L; Yang, H; Vaupel, JW |
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 |
2023-02-01 | Predicting the hydraulic conductivity of frozen coarse-grained soils | Teng, J; Dong, A; Yan, H; Tong, C; Zhang, S |
2005-01 | Processor Independent Automatic SIMD Vectorization for Signal Processing and Multimedia Applications | Allen, J; Jin, J; Yan, H; Jin, J; Liu, Z; Yeung, D |
2020-12-01 | Self-supporting topology optimization method for selective laser melting | Wang, Y; Xia, J; Luo, Z; Yan, H; Sun, J; Lü, E |
2017-11-01 | Simulation of the Unexpected Photosynthetic Seasonality in Amazonian Evergreen Forests by Using an Improved Diffuse Fraction-Based Light Use Efficiency Model | Yan, H; Wang, SQ; da Rocha, HR; Rap, A; Bonal, D; Butt, N; Coupe, NR; Shugart, HH |
2019-01-01 | Single Image Depth Estimation with Normal Guided Scale Invariant Deep Convolutional Fields | Yan, H; Yu, X; Zhang, Y; Zhang, S; Zhao, X; Zhang, L |
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 |
2020 | TCD: Statically Detecting Type Confusion Errors in C++ Programs | Zou, C; Sui, Y; Yan, H; Xue, J |
2019-05-01 | VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences | Xu, X; Sui, Y; Yan, H; Xue, J |