Welcome to the course homepage. Your instructor is Uday Khedker. and TA is Pushpraj Agrawal.
Announcements
(1 April 2009). The slides on
interprocedural data flow analysis have been revised to clean up the
material on functional approach. Introductory material on call strings approach for
tomorrow's lecture has also been included. More material will be included in next
few days. A
handout version for the slides is also available.
(29 March 2009). Here are the slides on
interprocedural data flow analysis for tomorrow's lecture, and
their handout version. These slides will
be updated as the lectures progress. In particular, the material on
call strings method has not been included in the slides at the moment.
(21 March 2009). I have updated slides for heap reference
analysis . They now cover all the material that we will cover
before the quiz to be held on Thursday 26 March. The quiz will be based
only on heap reference analysis. The handout version
is also complete now.
(17 March 2009). I have updated slides for heap reference
analysis . Its hand out version is not ready yet. I expect to make
some more changes in the slides over the week end. Will keep you
updated.
(12 March 2009). Updated slides containing pointer
analysis discussion and their handout version
(4 March 2009). The handout version of slides on non-separable data
flow frameworks . Will be updated as the lectures progress.
(2 March 2009). The slides on non-separable data
flow frameworks have been corrected and updated for tomorrow's
lecture. More updates will follow.
(1 March 2009). We have started discussion non-separable data
flow frameworks . These slides will be updated from time to time.
(5 Feb 2009). The complete set of slides on theoretical issues
in data flow analysis
and the corresponding handout
version.
(2 Feb 2009). The slides
for today's and
tomorrow's lecture and their handout
version.
(22 Jan 2009). The updated slides for
partial
redundancy elimination and its handout
version. Note that as I keep updating the slides, the previous
versions get over-written. So the slides on bit vector frameworks
available from the links below are also the latest slides.
(18 Jan 2009). The updated slides for
bit
vector frameworks and its handout version.
(15 Jan 2009). Here are the slides used in
today's lecture and the handout
version.
(12 Jan 2009). Some of you have requested me to make the actual slides
rather than the handouts
available. Please refrain from printing them to avoid wasting paper.
Die to animations, the number of pages is very high.
(6 Jan 2009). I have updated the handouts
to answer some of the question asked in today's lecture. It is proposed
to move this course to slot 1 to avoid clashes with HSS comunication
skills course. Some student wanted to initiate a search for a better
slot. We will take a final decision by Friday.
(5 Jan 2009). The handouts for
the first two lectures are available.
(4 Jan 2009). Here is the proposed
schedule for the course.