A Type-Directed Approach to Program Repair
No abstract available.
Related papers
- SQLizer: query synthesis from natural language OOPSLA 2017
- Type error feedback via analytic program repair PLDI 2020
- Proof repair across type equivalences PLDI 2021
- Proof Repair across Quotient Type Equivalences OOPSLA 2025
- We've Got You Covered: Type-Guided Repair of Incomplete Input Generators OOPSLA 2025
- GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair SLE 2023
- Deductive Program Repair CAV 2015
- Scalable, Validated Code Translation of Entire Projects using Large Language Models PLDI 2025