| How far we have come: testing decompilation correctness of C decompilers Z Liu, S Wang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 60 | 2020 |
| Cctest: Testing and repairing code completion systems Z Li, C Wang, Z Liu, H Wang, D Chen, S Wang, C Gao 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 51 | 2023 |
| Metamorphic Testing of Deep Learning Compilers D Xiao, Z Liu, Y Yuan, Q Pang, S Wang Proceedings of the ACM on Measurement and Analysis of Computing Systems 6 (1 …, 2022 | 47 | 2022 |
| Sok: demystifying binary lifters through the lens of downstream applications Z Liu, Y Yuan, S Wang, Y Bao 2022 IEEE Symposium on Security and Privacy (SP), 1100-1119, 2022 | 23 | 2022 |
| Exploring Missed Optimizations in WebAssembly Optimizers Z Liu, D Xiao, Z Li, S Wang, W Meng Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 17 | 2023 |
| Cctest: Testing and repairing code completion systems. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) Z Li, C Wang, Z Liu, H Wang, D Chen, S Wang, C Gao IEEE, 2023 | 16 | 2023 |
| Refining Decompiled C Code with Large Language Models WK Wong, H Wang, Z Li, Z Liu, S Wang, Q Tang, S Nie, S Wu arXiv preprint arXiv:2310.06530, 2023 | 14 | 2023 |
| CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in Production Software Y Yuan, Z Liu, S Wang 32nd USENIX Security Symposium (USENIX Security 23), 2023 | 14 | 2023 |
| Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking H Wang, P Ma, Y Yuan, Z Liu, S Wang, Q Tang, S Nie, S Wu IEEE Transactions on Software Engineering 49 (1), 226-250, 2022 | 14 | 2022 |
| Decompiling x86 deep neural network executables Z Liu, Y Yuan, S Wang, X Xie, L Ma 32nd USENIX Security Symposium (USENIX Security 23), 7357-7374, 2023 | 11 | 2023 |
| Cache Refinement Type for Side-Channel Detection of Cryptographic Software K Jiang, Y Bao, S Wang, Z Liu, T Zhang Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 7 | 2022 |
| Evaluating C/C++ Vulnerability Detectability of Query-Based Static Application Security Testing Tools Z Li, Z Liu, WK Wong, P Ma, S Wang IEEE Transactions on Dependable and Secure Computing, 2024 | 3 | 2024 |
| Metamorphic Shader Fusion for Testing Graphics Shader Compilers D Xiao, Z Liu, S Wang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 3 | 2023 |
| NeuralD: Detecting Indistinguishability Violations of Oblivious RAM With Neural Distinguishers P Ma, Z Liu, Y Yuan, S Wang IEEE Transactions on Information Forensics and Security 17, 982-997, 2022 | 3 | 2022 |
| Decompiling x86 Deep Neural Network executables.(2023) Z LIU, Y YUAN, S WANG, X XIE, L MA Proceedings of the 32nd USENIX Security Symposium, Anaheim, CA, 9-11, 2023 | 2 | 2023 |
| Unveiling Signle-Bit-Flip Attacks on DNN Executables Y Chen, Z Liu, Y Yuan, S Hu, T Li, S Wang arXiv preprint arXiv:2309.06223, 2023 | 1 | 2023 |
| Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers Y Li, D Xiao, Z Liu, Q Pang, S Wang Proceedings of the ACM on Software Engineering 1 (FSE), 1216-1237, 2024 | | 2024 |
| DTD: Comprehensive and Scalable Testing for Debuggers H Lu, Z Liu, S Wang, F Zhang Proceedings of the ACM on Software Engineering 1 (FSE), 1172-1193, 2024 | | 2024 |
| Detecting and Repairing Deviated Outputs of Compressed Models Y Li, Q Pang, D Xiao, Z Liu, S Wang Asian Conference on Machine Learning, 707-722, 2024 | | 2024 |
| PhyFu: Fuzzing Modern Physics Simulation Engines D Xiao, Z Liu, S Wang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
Shuai WangThe Hong Kong University of Science and TechnologyVerified email at cse.ust.hk
