Homepage of Ben Hardekopf

About Me

I am a Ph.D. student at the Computer Science Department of The University of Texas at Austin, working under Professor Calvin Lin. My research is on program analysis, with an emphasis on pointer analysis.

Select Publications

Ben Hardekopf and Calvin Lin. The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code. In Programming Language Design and Implementation (PLDI), June 2007. [Best Paper Award]	PDF
Ben Hardekopf and Calvin Lin. Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis. In the 14th International Static Analysis Symposium (SAS), August 2007.	PDF

Awards

Best Paper and Best Presentation in PLDI 2007, for "The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code".

Downloads

The following packages contain the source code and benchmarks used for the two papers:

The Ant and the Grasshopper
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis

The source code package contains public domain implementations of a number of different inclusion-based (i.e. Andersen-style) pointer analysis algorithms and various optimizations. The code is in C++ and has been tested on the Ubuntu 6.10 Linux distribution.

Dependencies:

To support profiling, we link to libraries from the Google Performance Tools. If desired, this dependency can be eliminated by editing the Makefiles.
Some algorithms use BDDs and require the BuDDy Binary Decision Diagram Package.