| PANGOLIN: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction H Huang, P Yao, R Wu, Q Shi, C Zhang 2020 IEEE Symposium on Security and Privacy (SP), 1199-1213, 2020 | 82 | 2020 |
| BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning H Huang, Y Guo, Q Shi, P Yao, R Wu, C Zhang S&P, 2022 | 72 | 2022 |
| Path-sensitive sparse analysis without path conditions Q Shi, P Yao, R Wu, C Zhang Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 22 | 2021 |
| Canary: practical static detection of inter-thread value-flow bugs Y Cai, P Yao, C Zhang Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 18 | 2021 |
| Fuzzing SMT solvers via two-dimensional input space exploration P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 16 | 2021 |
| Skeletal approximation enumeration for smt solver testing P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 15 | 2021 |
| Fast bit-vector satisfiability P Yao, Q Shi, H Huang, C Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 11 | 2020 |
| Program Analysis via Efficient Symbolic Abstraction P YAO, Q SHI, H HEQING, Z CHARLES | 8 | 2021 |
| Complexity-Guided Container Replacement Synthesis C WANG, P YAO, W TANG, Q SHI, Z CHARLES OOPSLA, 2022 | 5 | 2022 |
| Balance seed scheduling via monte carlo planning H Huang, HC Chiu, Q Shi, P Yao, C Zhang IEEE Transactions on Dependable and Secure Computing, 2023 | 4 | 2023 |
| Place your locks well: understanding and detecting lock misuse bugs Y Cai, P Yao, C Ye, C Zhang 32nd USENIX Security Symposium (USENIX Security 23), 3727-3744, 2023 | 4 | 2023 |
| Indexing the extended dyck-cfl reachability for context-sensitive program analysis Q Shi, Y Wang, P Yao, C Zhang Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1438-1468, 2022 | 4 | 2022 |
| Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation C Wang, W Wang, P Yao, Q Shi, J Zhou, X Xiao, C Zhang ACM Transactions on Software Engineering and Methodology 32 (3), 1-39, 2023 | 3 | 2023 |
| Precise Divide-By-Zero Detection with Affirmative Evidence Y Guo, J Zhou, P Yao, Q Shi, C Zhang ICSE, 2022 | 3 | 2022 |
| Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection Y Zhang, P Yao, R Wu, C Zhang arXiv preprint arXiv:2107.03660, 2021 | 2 | 2021 |
| Titan: Efficient Multi-target Directed Greybox Fuzzing H Huang, P Yao, HC Chiu, Y Guo, C Zhang 2024 IEEE Symposium on Security and Privacy (SP), 59-59, 2023 | 1 | 2023 |
| Demystifying template-based invariant generation for bit-vector programs P Yao, J Ke, J Sun, H Fu, R Wu, K Ren 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
| Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version) P Ma, Z Ji, P Yao, S Wang, K Ren arXiv preprint arXiv:2309.05264, 2023 | 1 | 2023 |
| Verifying data constraint equivalence in fintech systems C Wang, G Fan, P Yao, F Pan, C Zhang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 1 | 2023 |
| Transcode: detecting status code mapping errors in large-scale systems W Tang, Y Hu, G Fan, P Yao, R Wu, G Bai, P Wang, C Zhang 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 1 | 2021 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
