Program Repair without Regret
No abstract available.
Related papers
- Optimization space pruning without regrets CC 2017
- LMS-Verify: abstraction without regret for verified systems programming POPL 2017
- Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees ESOP 2018
- Must Fault Localization for Program Repair CAV 2020
- Automatic repair of regular expressions OOPSLA 2019
- Architecture-Preserving Provable Repair of Deep Neural Networks PLDI 2023
- NNrepair: Constraint-Based Repair of Neural Network Classifiers CAV 2021
- A Self-Repairing Prefetcher in an Event-Driven Dynamic Optimization Framework CGO 2006