Techniques for finding bugs in programs:

• Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. ICSE 2023
• Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. ICSE 2023
• SymTuner: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. ICSE 2022
• SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. USENIX Security 2021
• Making Symbolic Execution Promising by Learning Aggressive State-Pruning Strategy. ESEC/FSE 2020
• Effective White-box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy. ISSTA 2020

Techniques for analyzing program behavior without execution:

• Learning to Boost Disjunctive Static Bug-Finders. ICSE 2023
• Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. POPL 2022
• Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features. OOPSLA 2020
• VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts. IEEE S&P 2020
• Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling. OOPSLA 2018
• Data-Driven Context-Sensitivity for Points-to Analysis. OOPSLA 2017

Techniques for automatically fixing bugs or generating correct code:

• SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. ESEC/FSE 2023
• PyTER: Effective Program Repair for Python Type Errors. ESEC/FSE 2022
• NPEX: Repairing Java Null Pointer Exceptions without Tests. ICSE 2022
• Context-Aware and Data-Driven Feedback Generation for Programming Assignments. ESEC/FSE 2021
• SAVER: Scalable, Precise, and Safe Memory-Error Repair. ICSE 2020
• MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C. FSE 2018

Techniques for building correct and efficient quantum programs:

• Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification. OOPSLA 2024
• Modular Component-Based Quantum Circuit Synthesis. OOPSLA 2023