Welcome to the course homepage. Your instructor is Uday Khedker. Out TA is Faraz Shahbazker.
Announcements
(7 May 2008). Final marks and grades.
(26 Mar 2008). Here's some material related to interprocedural data flow analysis. The slides that I have used, the toplas paper proving the 3 occurrence bound, and the cc paper proposing the efficient variant of call strings based interprocedural data flow analysis.
(13 Feb 2008). Here are the slides used in past two lectures on the assignments of data flow values.
(12 Feb 2008). Some of you wanted to see past questions papers. Please observe that many questions in the examination are contextual in the sense that they relate to particular research issues discussed in the class. So not all questions may be relevant to this offering. Further many questions have been superseded by the research that our group has performed.
(6 Feb 2008). Here are the slides used in yesterday's lecture on the theoretical abstractions. A word of caution: All the slides put up on the course web page are a little dated. What we cover in lectures might be a little different from the contents of the slides. In any case, the draft chapters from the book would be available. In particular, I expect to give the chapter on theoretical abstractions in a week from now.
(8 Jan 2008). Here are the slides used in the introductory lecture and the slides used for bit vector frameworks. For those who are keen on knowing more about tomorrow's talk, here's a version which I will use after a bit of modifications.
(31 Dec 2007). The course begins with the lecture on Thursday 3 Jan 2008. Here's the page for last offering of the course.