CST Colloquium: Static Analysis and Verification of C Programs
N-923Date: September 17th, 2015 at 12:00 pm - 1:00 pm Location: Namm 923 Speaker: Subash Shankar Abstract: Department of Computer Science, Hunter College, City University of New York Recent years have seen the emergence of several static analysis techniques for reasoning about programs. This talk presents several major classes of techniques and tools that implement