Seminar by Dr. Shrawan Kumar
Techniques for Generic and Scalable Program Analysis
Shrawan Kumar
Tata Research Design and Development Center (TRDDC)
Tata Consultancy Services, Pune
Date: Tuesday, September 11, 2001
Time: 03:30 PM
Venue: CC-217
Abstract
As the volume of existing software in the industry grows at a rapid pace, the problems of understanding, maintaining, and developing software assume great significance. A strong support for analysis of programs is essential for a practical and meaningful solution to such problems. Though program analysis has been studied extensively in literature, it has not been adopted successfully by the industry. The primary reasons for this are lack of genericity and scalability of the analysis techniques to large programs in real programming languages. The talk will present a set of techniques to achieve genericity and scalability in program analysis, and present some experimental results using our techniques.
About the Speaker
Shrawan Kumar did his BTech in Computer Science from IIT Kanpur in 1984. He worked with UPTRON for over 10 years. For the last 6 years, he has been working with TRDDC, Pune. He has been involved in developing migration tools and techniques which enable an automated conversion of application written in one source language to another. He has also been associated with developing a program analysis framework for industry strength applications.