2024
On the Caching Schemes to Speed Up Program Reduction.
ACM Trans. Softw. Eng. Methodol., January, 2024
WDD: Weighted Delta Debugging.
CoRR, 2024
Deep Dive into Probabilistic Delta Debugging: Insights and Simplifications.
CoRR, 2024
A Tale of Two DL Cities: When Library Tests Meet Compiler.
CoRR, 2024
DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.
CoRR, 2024
LPR: Large Language Models-Aided Program Reduction.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Towards Understanding the Bugs in Solidity Compiler.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
2023
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications.
ACM Trans. Softw. Eng. Methodol., September, 2023
COMET: Coverage-guided Model Generation For Deep Learning Library Testing.
ACM Trans. Softw. Eng. Methodol., September, 2023
Artifact for "PPR: Pairwise Program Reduction".
Dataset, August, 2023
Artifact for "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction".
Dataset, July, 2023
Artifact for "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction".
Dataset, July, 2023
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction.
Proc. ACM Program. Lang., April, 2023
Bash in the Wild: Language Usage, Code Smells, and Bugs.
ACM Trans. Softw. Eng. Methodol., January, 2023
Lampr: Boosting the Effectiveness of Language-Generic Program Reduction via Large Language Models.
CoRR, 2023
PPR: Pairwise Program Reduction.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Ad Hoc Syntax-Guided Program Reduction.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Fuzzing Deep Learning Compilers with HirGen.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Revisiting the Evaluation of Deep Learning-Based Compiler Testing.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Compilation Consistency Modulo Debug Information.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023
2022
HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation.
CoRR, 2022
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.
CoRR, 2022
SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
Historical Spectrum Based Fault Localization.
IEEE Trans. Software Eng., 2021
To what extent do DNN-based image classification models make unreliable inferences?
Empir. Softw. Eng., 2021
Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network.
CoRR, 2021
A comprehensive study of deep learning compiler bugs.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
AdvDoor: adversarial backdoor attack of deep learning system.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
2020
EvalDNN: a toolbox for evaluating deep neural network models.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
2019
Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations.
CoRR, 2019
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
2017
Unveiling performance of NFV software dataplanes.
Proceedings of the 2nd Workshop on Cloud-Assisted Networking, 2017
2016
Benchmarking NFV Software Dataplanes.
CoRR, 2016
Kuijia: Traffic rescaling in data center WANs.
Proceedings of the 37th IEEE Sarnoff Symposium 2016, Newark, NJ, USA, 2016