Removing Anti Dependences by Repairing
No abstract available.
Related papers
- Proof repair across type equivalences PLDI 2021
- GPURepair: Automated Repair of GPU Kernels VMCAI 2021
- TarTar: A Timed Automata Repair Tool CAV 2020
- Error repair with validation in LR-based parsing TOPLAS 2001
- Modular and verified automatic program repair OOPSLA 2012
- Repairing Regex-Dependent String-Manipulation Programs CAV 2026
- Abstract interpretation repair PLDI 2022
- Dependence Analysis for Pointer Variables PLDI 1989