← authors · overview

• Is ChatGPT the Ultimate Programming Assistant -- How far is it?
  2023 · 108 citations
• Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting
  2023 · 51 citations
• Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
  2024 · 41 citations
• A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair
  2023 · 33 citations
• Characterizing and Detecting Configuration Compatibility Issues in Android Apps
  2021 · 14 citations
• JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
  2024 · 9 citations
• Hero: On the Chaos When PATH Meets Modules
  2021 · 8 citations
• When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
  2025 · 1 citations
• Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries