Static Analysis for Application-Level Checkpointing of MPI Programs.
Panfeng WangYunfei DuHongyi FuXuejun YangHaifang ZhouPublished in: HPCC (2008)
Keyphrases
- static analysis
- application level
- symbolic execution
- dynamic analysis
- operating system
- abstract interpretation
- source code
- network management
- distributed databases
- virtual machine
- quality of service
- test generation
- regular expressions
- parallel algorithm
- bottle neck
- overlay network
- fault tolerance
- distributed systems
- test suite
- pattern matching
- reverse engineering
- data exchange
- data processing
- information systems
- api calls
- databases