CSA Faculty Colloquium by K. V. Raghavan

Location: CSA Seminar Hall (Room No. 254, First Floor)

Department of Computer Science and Automation
CSA Faculty Colloquium

Speaker : Prof. K. V. Raghavan
Associate Professor
Dept. of CSA
IISc

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

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