LLOR: Automated Repair of OpenMP Programs
Abstract elided by the publisher.
Related papers
- Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis VMCAI 2021
- Compiler-enhanced incremental checkpointing for OpenMP applications PPoPP 2008
- Syntax-Guided Automated Program Repair for Hyperproperties CAV 2024
- Automated clustering and program repair for introductory programming assignments PLDI 2018
- Mostly Automated Proof Repair for Verified Libraries PLDI 2023
- A hybrid approach of OpenMP for clusters PPoPP 2012
- GPURepair: Automated Repair of GPU Kernels VMCAI 2021
- Efficient automated repair of high floating-point errors in numerical libraries POPL 2019