Checkout the slides of my presentation about the Guided Static Analysis paper by Denis Gopan and Thomas Reps.

Continue reading