Loading Events

« All Events

  • This event has passed.

CST Colloquium: Static Analysis and Verification of C Programs

September 17, 2015 @ 12:00 pm - 1:00 pm

CST Colloquium: Static Analysis and Verification of C Programs 1

Date: 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 these techniques. Part of the presentation will be a demonstration of the tools.

Dr. Subash Shankar is an Associate Professor in the Computer Science department at Hunter College, CUNY. Prior to joining CUNY, he received a PhD from the University of Minnesota and was a postdoctoral fellow in the model checking group at Carnegie Mellon University. Dr. Shankar also has over 10 years of industrial experience, mostly in the areas of formal methods and tools for analyzing hardware and software systems.

For additional information, please go to openlab.citytech.cuny.edu/cstcolloquium/

[icon name=”file-pdf-o” class=””] Click to view poster.

Other seminars

CST Colloquium: Static Analysis and Verification of C Programs 2

CST Colloquium: Static Analysis and Verification of C Programs 3

CST Colloquium: Static Analysis and Verification of C Programs 4

Details

Date:
September 17, 2015
Time:
12:00 pm - 1:00 pm
Event Category:
Event Tags:
, ,

Venue

N-923