Чланци са овлашћеним јавним приступом - Peisen YaoСазнајте више
Доступно негде: 20
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
H Huang, Y Guo, Q Shi, P Yao, R Wu, C Zhang
S&P, 2022
Овлашћења: Research Grants Council, Hong Kong
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
Овлашћења: National Natural Science Foundation of China
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
Овлашћења: Research Grants Council, Hong Kong
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
Овлашћења: Research Grants Council, Hong Kong
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
Овлашћења: Research Grants Council, Hong Kong
Program Analysis via Efficient Symbolic Abstraction
P YAO, Q SHI, H HEQING, Z CHARLES
Овлашћења: Research Grants Council, Hong Kong
Fast bit-vector satisfiability
P Yao, Q Shi, H Huang, C Zhang
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
Овлашћења: National Natural Science Foundation of China
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
Овлашћења: Research Grants Council, Hong Kong
Complexity-Guided Container Replacement Synthesis
C WANG, P YAO, W TANG, Q SHI, Z CHARLES
OOPSLA, 2022
Овлашћења: Research Grants Council, Hong Kong
Balance seed scheduling via monte carlo planning
H Huang, HC Chiu, Q Shi, P Yao, C Zhang
IEEE Transactions on Dependable and Secure Computing 21 (3), 1469-1483, 2023
Овлашћења: Research Grants Council, Hong Kong
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), 1849-1864, 2024
Овлашћења: Research Grants Council, Hong Kong
Enabling runtime verification of causal discovery algorithms with automated conditional independence reasoning
P Ma, Z Ji, P Yao, S Wang, K Ren
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
Овлашћења: National Natural Science Foundation of China
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions
W Tang, D Dong, S Li, C Wang, P Yao, J Zhou, C Zhang
ACM Transactions on Software Engineering and Methodology 33 (3), 1-33, 2024
Овлашћења: Research Grants Council, Hong Kong
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
Овлашћења: Research Grants Council, Hong Kong
Precise Divide-By-Zero Detection with Affirmative Evidence
Y Guo, J Zhou, P Yao, Q Shi, C Zhang
ICSE, 2022
Овлашћења: Research Grants Council, Hong Kong
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
Овлашћења: National Natural Science Foundation of China
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems
W Tange, C Wang, P Yao, R Wu, X Fu, G Fan, C Zhang
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
Овлашћења: National Natural Science Foundation of China, Research Grants Council, Hong Kong
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
Овлашћења: National Natural Science Foundation of China, Research Grants Council, Hong Kong
Program Analysis via E icient Symbolic Abstraction
P YAO, Q SHI, H HEQING, Z CHARLES
Овлашћења: Research Grants Council, Hong Kong
Program Analysis via E icient Symbolic Abstraction (Extended Version)
P YAO, Q SHI, H HEQING, Z CHARLES
Овлашћења: Research Grants Council, Hong Kong
Публикације и информације о финансирању аутоматски одређује рачунарски програм