Publications

Strictly Declarative Specification of Sophisticated Points-to Analyses
	Martin Bravenboer and Yannis Smaragdakis. In Proceedings of the 24th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), October 2009.
Exception Analysis and Points-to Analysis: Better Together
	Martin Bravenboer and Yannis Smaragdakis. In Proceedings of the 2009 International Symposium on Software Testing and Analysis (ISSTA 2009), 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