Department of Computer Science and Automation
CSA Faculty Colloquium
Speaker : Prof. K. V. Raghavan
Dept. of CSA
Title : Interpretation — a framework for verifying correctness of programs
Date : Friday, October 04, 2019
Time : 4:00 PM
Venue : CSA Seminar Hall (Room No. 254, First Floor)
Abstract interpretation is a technique for static analysis of programs. The objective of any static analysis technique is to identify whether a property of interest holds across all executions of a program without running the program at all. Abstract interpretation has certain unique advantages: (1) It is a framework, in that it can be customized by a user to analyze any property of interest. (2) It is safe, in that it declares a property as holding only if it provably holds in all possible runs of the program. (3) Implementations of it are provided by many tools, for various prevalent programming languages. (4) It is efficient in practice, even on very large programs. In this talk we will explore abstract interpretation by going over some examples involving it, by taking a look at the mathematical theory underlying it, and by looking at its usage in practical settings.
Biography of the speaker
K. V. Raghavan is an Associate Professor at the Department of Computer Science and Automation, Indian Institute of Science, Bangalore. His areas of interest are program analysis and verification, programming tools, and formal methods in software engineering.
Host Faculty : Prof. Sunil L Chandran & Prof. Shalabh Bhatnagar
ALL ARE WELCOME