FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs.
Philipp SchaadTimo SchneiderTal Ben-NunAlexandru CalotoiuAlexandros Nikolaos ZiogasTorsten HoeflerPublished in: SC (2023)
Keyphrases
- test cases
- discrete optimization
- global optimization
- control flow
- static analysis
- optimization algorithm
- optimization method
- optimization strategies
- programming environment
- evolution strategy
- optimization model
- design methodology
- mathematical programming
- optimization methods
- database
- software systems
- optimization problems
- query processing
- search algorithm
- website
- e learning
- neural network
- data sets
- real time