Although static analysis has always been an active area of research at IBM, in recent years a concerted effort has been made to harness static analysis technology for building tools for improving software quality. In this talk, I will give an overview of the various projects we have underway in bug finding, verification, testing, and security analysis of Java applications. I will also present recent research results on modular analysis of programs (based on joint work with Greta Yorsh and Eran Yahav).

BIO
Satish Chandra obtained a PhD from the University of Wisconsin-Madison in 1997, and a B.Tech from the Indian Institute of Technology-Kanpur in 1991, both in computer science. From 1997 to 2002, he was a member of technical staff at Bell Laboratories, where his research focused on program analysis, domain-specific languages, and data-communication protocols. In September 2002, he joined IBM Research in New Delhi, India, where he managed a small research group in software engineering. He is currently a member of programming languages and software engineering department at IBM's T. J. Watson Research Center in Hawthorne, New York.

Return to 2008 Events Calendar