CS766 : Analysis of concurrent programs 2020

Instructors : Ashutosh Gupta and S. Krishna

Timings : 14:00 Monday and Thursday
Venue : CC105

Source material

Evaluation structure

For the first-half of the course

May change later.

Lectures

Introduction

2020-01-16 : Lecture 1 - Introduction to course and program semantics

Model checking : Road to CEGAR

2020-01-20 : Lecture 2 - strongest post

2020-01-23 : Lecture 3 - weakest pre

2020-01-27 : Lecture 4 - Invariants

2020-01-30 : Lecture 5 - Abstraction

2020-02-03 : Lecture 6 - CEGAR

Concurrency

2020-02-06 : Lecture 7 - Intro to Concurrency

2020-02-10 : Lecture 8 - Mutual exclusion protocols

2020-02-13 : Lecture 9 - Mutual exclusion protocols II

2020-02-17 : (cancelled)

2020-02-20 : Lecture 10 - Concurrent objects

2018-02-24 : Midterm week

2020-03-01 : Lecture 11 - Lock-free concurrent objects

Verification of concurrent programs

2020-03-02 : Lecture 12 - Proof systems for concurrent programs

2020-03-05 : Lecture 13 - Bounded model-checking of concurrent programs

Presentation 2/Project

Krishna will start from 2020-03-09

Last modified: ()