Follow
Zhibo Liu
Title
Cited by
Cited by
Year
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
402020
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
362023
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
292022
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
122022
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
102022
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
92023
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
72022
CCTEST: Testing and Repairing Code Completion Systems. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE). 1238–1250
Z Li, C Wang, Z Liu, H Wang, D Chen, S Wang, C Gao
62023
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
52023
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
42023
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
42023
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
22024
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
22022
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
12023
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
12023
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
DTD: Comprehensive and Scalable Testing for Debuggers
H LU, Z LIU, S WANG, F ZHANG
2024
PhyFu: Fuzzing Modern Physics Simulation Engines
D Xiao, Z Liu, S Wang
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
2023
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
2023
The system can't perform the operation now. Try again later.
Articles 1–19