Framework for Java Pointer Analysis

Publications

Pointer Analysis

Yannis Smaragdakis and George Balatsouras. Foundations and Trends in PL, official link.

More Sound Static Handling of Java Reflection

Yannis Smaragdakis, George Balatsouras, George Kastrinis and Martin Bravenboer. In APLAS'15: Asian Symposium on Programming Languages and Systems, November 2015.

Introspective Analysis: Context Sensitivity, Across the Board

Yannis Smaragdakis, George Kastrinis and George Balatsouras. In PLDI'14: Programming Language Design and Implementation, June 2014. Code for paper experiments.

Set-Based Pre-Processing for Points-To Analysis

Yannis Smaragdakis, George Balatsouras and George Kastrinis. In OOPSLA'13: Object-Oriented Programming, Systems, Languages, and Applications, October 2013.

Hybrid Context-Sensitivity for Points-To Analysis

George Kastrinis and Yannis Smaragdakis. In PLDI'13: Programming Language Design and Implementation, June 2013.

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

George Kastrinis and Yannis Smaragdakis. In CC'13: Proceedings of the 22nd International Conference on Compiler Construction, March 2013.

Using Datalog for Fast and Easy Program Analysis

Yannis Smaragdakis, Martin Bravenboer. In Datalog Reloaded: Datalog 2.0 post-workshop proceedings.

Pick Your Contexts Well: Understanding Object-Sensitivity (The Making of a Precise and Scalable Pointer Analysis)

Yannis Smaragdakis, Martin Bravenboer, and Ondrej Lhotak. In POPL'11: Principles of programming languages, January 2011.

Strictly Declarative Specification of Sophisticated Points-to Analyses

Martin Bravenboer and Yannis Smaragdakis. In OOPSLA'09: Object-Oriented Programming, Systems, Languages, and Applications, October 2009.

Exception Analysis and Points-to Analysis: Better Together

Martin Bravenboer and Yannis Smaragdakis. In ISSTA'09: International Symposium on Software Testing and Analysis, July 2009.

Presentations

Strictly Declarative Specification of Sophisticated Points-to Analyses

Presented at New York University, March 30, 2009. Other versions presented at University of Texas at San Antonio, University of Massachusetts Amherst, and University of Waterloo.

Screaming Fast Declarative Pointer Analysis

Presented at the New England Programming Languages and Systems Symposium Series (NEPLS), March 5, 2009

Pointer Analysis

Presented at LogicBlox, Atlanta, May 6, 2008
last update: 2016-9-21