Showing results 64 to 83 of 86
< previous
next >
| Issue Date | Title | Author(s) |
| 2022-07-18 | Path-sensitive code embedding via contrastive learning for software vulnerability detection | Cheng, X; Zhang, G; Wang, H; Sui, Y |
| 2020-11-08 | PCA: Memory leak detection using partial call-path analysis | Li, W; Cai, H; Sui, Y; Manz, D |
| 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 |
| 2020-10-05 | Perf-AL: Performance prediction for configurable software through adversarial learning | Shu, Y; Sui, Y; Zhang, H; Xu, G |
| 2018-09-05 | Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks | Nobakht, M; Sui, Y; Seneviratne, A; Hu, W |
| 2020-02-15 | PGFIT: Static permission analysis of health and fitness apps in IoT programming frameworks | Nobakht, M; Sui, Y; Seneviratne, A; Hu, W |
| 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 |
| 2020 | Reinforcement-Learning-Guided Source Code Summarization via Hierarchical Attention | Wang, W; Zhang, Y; Sui, Y; Wan, Y; Zhao, Z; Wu, J; Yu, P; Xu, G |
| 2023-11-04 | RNNtcs: A test case selection method for Recurrent Neural Networks | Wu, X; Shen, J; Zheng, W; Lin, L; Sui, Y; Semasaba, AOA |
| 2021-07-11 | Runtime detection of memory errors with smart status | Chen, Z; Wang, C; Yan, J; Sui, Y; Xue, J |
| 2020-01-01 | Secure Metric Learning via Differential Pairwise Privacy | Li, J; Pan, Y; Sui, Y; Tsang, IW |
| 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-11-01 | Static detection of control-flow-related vulnerabilities using graph embedding | Cheng, X; Wang, H; Hua, J; Zhang, M; Xu, G; Yi, L; Sui, Y |
| 2016-03-17 | SVF: Interprocedural static value-flow analysis in LLVM | Sui, Y; Xue, J |
| 2022-10-31 | Taming transitive redundancy for context-free language reachability | Lei, Y; Sui, Y; Ding, S; Zhang, Q |
| 2020 | TCD: Statically Detecting Type Confusion Errors in C++ Programs | Zou, C; Sui, Y; Yan, H; Xue, J |
| 2020-06-27 | Typestate-guided fuzzer for discovering use-after-free vulnerabilities | Wang, H; Xie, X; Li, Y; Wen, C; Li, Y; Liu, Y; Qin, S; Chen, H; Sui, Y |
| 2018-09-06 | Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ | Sui, Y; Xue, J |
| 2020-08-01 | Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ | Sui, Y |
