Pointer Analysis

More Sound Static Handling of Java Reflection

Introspective Analysis: Context Sensitivity, Across the Board

Set-Based Pre-Processing for Points-To Analysis

Hybrid Context-Sensitivity for Points-To Analysis

Efficient and Effective Handling of Exceptions in Java Points-To Analysis

Using Datalog for Fast and Easy Program Analysis

Pick Your Contexts Well: Understanding Object-Sensitivity

Strictly Declarative Specification of Sophisticated Points-to Analyses

Exception Analysis and Points-to Analysis: Better Togethe