Traveling through Dakota: Experiences with an object-oriented program analysis systemMichael HindAnthony Pioli2000TOOLS 2000
Evaluating the effectiveness of pointer alias analysesMichael HindAnthony Pioli2001Science of Computer Programming