All Stories

  1. Understanding Developer-Analyzer Interactions in Code Reviews
  2. NL2Code-Reasoning and Planning with LLMs for Code Development
  3. Inference for Ever-Changing Policy of Taint Analysis
  4. Compositional Taint Analysis for Enforcing Security Policies at Scale
  5. User-Assisted Code Query Optimization