Static Analysis of Dynamic Schedules and Its Application to Optimization of Parallel Programs.
Christoph AngererThomas R. GrossPublished in: LCPC (2010)
Keyphrases
- static analysis
- dynamic analysis
- symbolic execution
- source code
- optimization algorithm
- abstract interpretation
- reverse engineering
- test generation
- malicious code
- scheduling problem
- regular expressions
- java card
- open source
- test suite
- test case generation
- artificial intelligence
- optimization problems
- domain knowledge