[ICSE 2026] [ACM SIGSOFT Distinguished Paper Award] SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
☆21Apr 22, 2025Updated last year
Alternatives and similar repositories for SWE-Synth
Users that are interested in SWE-Synth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- New testbed of interactive SWE tasks for coding agents, set in a realistic multi-turn developer driven environment☆25Jun 30, 2026Updated 2 months ago
- ☆15Jun 10, 2025Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- ☆33Jan 14, 2025Updated last year
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆14Dec 16, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆21May 30, 2025Updated last year
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- ☆56May 3, 2026Updated 3 months ago
- Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)☆15Dec 5, 2023Updated 2 years ago
- ⚒️ Tree-sitter custom toolkit for extracting function and class from raw source file☆53Jul 1, 2024Updated 2 years ago
- ☆12Mar 6, 2026Updated 5 months ago
- ☆24May 7, 2026Updated 3 months ago
- SWE-Exp: Experience-Driven Software Issue Resolution☆44Oct 17, 2025Updated 10 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆19Oct 5, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- The first blockchain to support both the EVM and Ewasm virtual machines for current and next-gen Ethereum. Based on the CyberMiles blockc…☆16Dec 23, 2021Updated 4 years ago
- ☆25Jul 27, 2026Updated last month
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆33Mar 1, 2025Updated last year
- [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository☆75Sep 3, 2024Updated last year
- ☆58Apr 4, 2025Updated last year
- FrontierSmith, a new system that uses AI to synthesize open-ended coding problems at scale☆52May 30, 2026Updated 3 months ago
- [NAACL 2025] Benchmark for Repository-Level Code Generation, focus on Executability, Correctness from Test Cases and Usage of Contexts fr…☆47Jan 8, 2026Updated 7 months ago
- ☆25Jun 16, 2026Updated 2 months ago
- ☆32Apr 2, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆28Mar 18, 2026Updated 5 months ago
- CodeOCR: On the Effectiveness of Vision Language Models in Code Understanding [ISSTA 2026]☆30Feb 2, 2026Updated 6 months ago
- Inline completion provider using tranformers.js for JupyterLab☆21Nov 24, 2024Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated 10 months ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆44Jul 1, 2026Updated last month
- ☆53Apr 9, 2025Updated last year
- ESEC/FSE'21: Prediction-Preserving Program Simplification☆10Oct 4, 2022Updated 3 years ago
- The official repository for the paper "VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs".☆29Dec 9, 2025Updated 8 months ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Dependency graph generator for C++ code.☆19Feb 1, 2019Updated 7 years ago
- ☆27Sep 9, 2021Updated 4 years ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Implementation of Attention-based Fusion for Multi-source Human Image Generation, S. Lathuilière, E. Sangineto, A. Siarohin, N. Sebe, WAC…☆10Oct 9, 2020Updated 5 years ago
- Official implementation of our CVPR'22 paper.☆13Nov 18, 2022Updated 3 years ago
- Language Model for Mainframe Modernization☆74Aug 23, 2024Updated 2 years ago
- ☆14Jul 24, 2023Updated 3 years ago