FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs.
Philipp SchaadTimo SchneiderTal Ben-NunAlexandru CalotoiuAlexandros Nikolaos ZiogasTorsten HoeflerPublished in: CoRR (2023)
Keyphrases
- test cases
- optimization algorithm
- global optimization
- information systems
- optimization problems
- optimization method
- optimization process
- control flow
- image sequences
- database machine
- discrete optimization
- computer programs
- static analysis
- parallel computing
- convex optimization
- parallel execution
- software systems
- graph transformation