Slide 1Summarizing Procedures in Concurrent Programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Microsoft Research Slide 2 Motivation How do you scale program analyses for…