PhD in Computer Science and Engineering
The Hong Kong University of Science and Technology, 2023
LPR: Large Language Models-Aided Program Reduction
Conference paper
Towards Understanding the Bugs in Solidity Compiler
Conference paper
Bash in the Wild: Language Usage, Code Smells, and Bugs
Article
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Article
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications
Article
On the Caching Schemes to Speed Up Program Reduction
Article
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Article
Toward actionable testing of deep learning models
Article
Ad Hoc Syntax-Guided Program Reduction
Conference paper
Compilation Consistency Modulo Debug Information
Conference paper
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Conference paper
Fuzzing Deep Learning Compilers with HirGen
Conference paper
PPR: Pairwise Program Reduction
Conference paper
Revisiting the Evaluation of Deep Learning-Based Compiler Testing
Conference paper
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Conference paper
SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets
Conference paper
Historical Spectrum based Fault Localization
Article
To what extent do DNN-based image classification models make unreliable inferences?
Article
A Comprehensive Study of Deep Learning Compiler Bugs
Conference paper
AdvDoor: Adversarial backdoor attack of deep learning system
Conference paper
EvalDNN: A toolbox for evaluating deep neural network models
Conference paper
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits
Conference paper
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
EvalDNN: A toolbox for evaluating deep neural network models
COMP1021 | Introduction to Computer Science |
UROP1100N | Undergraduate Research Opportunities Series 1 |
No Teaching Assignments |
No Teaching Assignments |
No Teaching Assignments |
No Teaching Assignments |
No Teaching Assignments |
Update your browser to view this website correctly. Update your browser now