A performance problem amplification framework and an instrumentation specification language
Analytical query processing based on abstraction refinement over very large graphs
Software tools for program understanding, transformation, verification, and testing often require an efficient yet highly-precise alias analysis.