news
| Jul 30, 2026 | Our paper “Democratizing False Positives Filtering Through Learning Assisted Reasoning” has been accepted to RAID 2026. |
|---|---|
| Jul 01, 2025 | Our experience paper on applying CodeQL to open-source embedded software, which found 709 defects across 258 projects, appears at ISSTA 2025. |