[PPT] - From Pointer Systems to Counter Systems using Shape Analysis Arnaud PowerPoint Presentation