Publications

Pointer Analysis
http://smaragd.org/points-to-tutorial15.pdf

More Sound Static Handling of Java Reflection
http://smaragd.org/reflection-aplas15.pdf

Introspective Analysis: Context Sensitivity, Across the Board
http://smaragd.org/introspective-pldi14.pdf

Set-Based Pre-Processing for Points-To Analysis
http://smaragd.org/set-based-oopsla13.pdf

Hybrid Context-Sensitivity for Points-To Analysis
http://smaragd.org/hybrid-context-pldi13.pdf

Efficient and Effective Handling of Exceptions in Java Points-To Analysis http://smaragd.org/cc13-exceptions.pdf

Using Datalog for Fast and Easy Program Analysis
http://smaragd.org/doop-datalog2.0.pdf

Pick Your Contexts Well: Understanding Object-Sensitivity
http://martin.bravenboer.name/docs/popl11.pdf

Strictly Declarative Specification of Sophisticated Points-to Analyses
http://martin.bravenboer.name/docs/oopsla09.pdf

Exception Analysis and Points-to Analysis: Better Togethe
http://martin.bravenboer.name/docs/issta09.pdf