Browsing byAuthorYan, H

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 19 to 28 of 28< previous 
Issue DateTitleAuthor(s)
2018-12-01Parallel construction of interprocedural memory SSA formSui, Y; Yan, H; Zheng, Z; Zhang, Y; Xue, J
2019-01-01Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive AnalysisYan, H; Chen, S; Sui, Y; Zhang, Y; Zou, C; Xue, J
2023-02-01Predicting the hydraulic conductivity of frozen coarse-grained soilsTeng, J; Dong, A; Yan, H; Tong, C; Zhang, S
2005-01Processor Independent Automatic SIMD Vectorization for Signal Processing and Multimedia ApplicationsAllen, J; Jin, J; Yan, H; Jin, J; Liu, Z; Yeung, D
2020-12-01Self-supporting topology optimization method for selective laser meltingWang, Y; Xia, J; Luo, Z; Yan, H; Sun, J; Lü, E
2017-11-01Simulation of the Unexpected Photosynthetic Seasonality in Amazonian Evergreen Forests by Using an Improved Diffuse Fraction-Based Light Use Efficiency ModelYan, H; Wang, SQ; da Rocha, HR; Rap, A; Bonal, D; Butt, N; Coupe, NR; Shugart, HH
2019-01-01Single Image Depth Estimation with Normal Guided Scale Invariant Deep Convolutional FieldsYan, H; Yu, X; Zhang, Y; Zhang, S; Zhao, X; Zhang, L
2018-01-01Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free VulnerabilitiesYan, H; Sui, Y; Chen, S; Xue, J
2020TCD: Statically Detecting Type Confusion Errors in C++ ProgramsZou, C; Sui, Y; Yan, H; Xue, J
2019-05-01VFix: Value-Flow-Guided Precise Program Repair for Null Pointer DereferencesXu, X; Sui, Y; Yan, H; Xue, J