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: Proceedings of the 38th annual ACM SIGPLAN-SIGACT
symposium on Principles of programming languages, January
2009.
|
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.
|
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
|
