Assistant Professor (Aug 2019 ~ )
Cheriton School of Computer Science
University of Waterloo, Canada
Ph.D. (Aug 2008 ~ Nov 2013)
School of Computing
National University of Singapore
Research Interests
- Software Engineering
- Programming Languages
with a focus on software reliability and programming productivity, e.g.,
- Compiler Testing: EMI, Dfusor, Kitten
- Android Testing: APE
- Program Reduction: Perses, Vulcan, PPR
- Testing of DNN: DFlare
Misc
Latest
- FITS: Inferring Intermediate Taint Sources for Effective Vulnerability Analysis of IoT Device Firmware
- An Empirical Study of Data Disruption by Ransomware Attacks
- Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
- Battling against Protocol Fuzzing: Protecting Networked Embedded Devices from Dynamic Fuzzers
- On the Caching Schemes to Speed Up Program Reduction
- PPR: Pairwise Program Reduction
- Building Dynamic System Call Sandbox with Partial Order Analysis
- Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
- Revisiting the Evaluation of Deep Learning-Based Compiler Testing
- CoopHance: Cooperative Enhancement for Robustness of Deep Learning System
- Ad Hoc Syntax-Guided Program Reduction
- Finding Deviated Behaviors of Compressed DNN Models for Image Classifications
- Compilation Consistency Modulo Debug Information
- EDAssistant: Supporting Exploratory Data Analysis in Computational Notebooks with In-Situ Code Search and Recommendation
- Bash in the Wild: Language Usage, Code Smells, and Bugs
- Toward More Efficient Statistical Debugging with Abstraction Refinement
- SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets
- Feature-FL: Feature-based Fault Localization
- RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing
- Empirical Evaluation of Smart Contract Testing: What is the Best Choice?
- VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
- Engineering a Better Fuzzer with Synergically Integrated Optimizations
- Practical GUI Testing of Android Applications via Model Abstraction and Refinement
- Perses: Syntax-Guided Program Reduction
- How Test Suites Impact Fault Localization Starting from the Size
- AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications
- Skeletal program enumeration for rigorous compiler testing
- Stochastic Optimization of Program Obfuscation
- Finding Compiler Bugs via Live Code Mutation
- Automatic Runtime Recovery via Error Handler Synthesis
- Toward Understanding Compiler Bugs in GCC and LLVM
- Coverage-Directed Differential Testing of JVM Implementations
- Finding and Analyzing Compiler Warning Defects
- Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
- Randomized Stress-Testing of Link-Time Optimizers
- Querying Sequential Software Engineering Data
- Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
- Automated Prediction of Bug Report Priority Using Multi-Factor Analysis
- Efficient Predicated Bug Signature Mining via Hierarchical Instrumentation
- Constraint-Based Automatic Symmetry Detection
- TzuYu: Learning Stateful Typestates
- DRONE: Predicting Priority of Reported Bugs by Multi-Factor Analysis
- Mining Succinct Predicated Bug Signatures
- Mining Explicit Rules for Software Process Evaluation
- Information Retrieval Based Nearest Neighbor Classification for Fine-Grained Bug Severity Prediction
- Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling
- Improved Duplicate Bug Report Identification
- Graph-based Detection of Library API Imitations
- Towards More Accurate Retrieval of Duplicate Bug Reports
- A Discriminative Model Approach for Accurate Duplicate Bug Report Retrieval
- Classification of Software Behaviors for Failure Detection: A Discriminative Pattern Mining Approach