[PPT] - Static Analysis with Demand-Driven Value Refinement Benno Stein, PowerPoint Presentation