All Stories

  1. Understanding Developer-Analyzer Interactions in Code Reviews
  2. NL2Code-Reasoning and Planning with LLMs for Code Development
  3. A Deep Dive into Large Language Models for Automated Bug Localization and Repair
  4. Inference for Ever-Changing Policy of Taint Analysis
  5. Compositional Taint Analysis for Enforcing Security Policies at Scale
  6. User-Assisted Code Query Optimization