All Stories

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