Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.
Aritra SenguptaSwarnendu BiswasMinjia ZhangMichael D. BondMilind KulkarniPublished in: ASPLOS (2015)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- concurrency control
- model checking
- multidatabase systems
- input image
- abstract interpretation
- reference point
- region of interest
- training data
- artificial intelligence
- machine learning
- distributed database systems
- transaction management
- knowledge base
- malicious behavior
- real world