Program analysis using random interpretation (2005) [pdf] (sigplan.org)

The PDF appears to be a dissertation titled “Program analysis using random interpretation” (2005) by Gulwani, proposing a program analysis approach based on randomized interpretation methods.