I gave some guest lectures in Deepak D’Souza’s course at the Indian Institute of Science in Spring 2006. Here are some slides (ppt files):

 

Abstract interpretation 1

Abstract interpretation 2

Flow Insensitive Analysis

Context Sensitive Analysis

Slides from the IISc course in Fall 2007 (ppt files):

Introduction: Program Verification. Theory and Practice

Examples of Program Verification Tools (1)

Examples of Program Verification Tools (2)

Examples of Program Verification Tools (3)

Type systems:

Untyped Lambda Calculus

Simply Typed Lambda Calculus

Type Inference

Extending Simply Typed Lambda Calculus

Type Based Pointer Analysis