All Stories

  1. SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair
  2. Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization
  3. UPBEAT: Test Input Checks of Q# Quantum Libraries
  4. Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction