The original PLDI paper by Chow:

Fred Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu, A new algorithm for partial redundancy elimination based on SSA form, Proceedings of the ACM SIGPLAN 1997 conference on Programming Languages Design and Implementation

and a more verbose journal article by the same team:

Robert Kennedy, Sun Chan, Shin-Ming Liu, Raymond Lo, Peng Tu, Fred Chow, Partial redundancy elimination in SSA form, ACM Trans. on Programming Languages and Systems (1999) vol. 21 (3) pp. 627-676

An improvement proposed by VanDrunen:

Thomas VanDrunen, Antony Hosking, Anticipation-based partial redundancy elimination for static single assignment form, Software Practice and Experience (2004)

Some topics from last year:

• a garbage collector for J06
• a block profiler which makes use of MMX registers which is then used to perform basic block placement (to optimize the instruction cache usage)
• PRE
• an interactive PRE optimizier which makes use of Eclipse to graphically show every step of the optimization and allows the user to modify the decisions about the profitable insertions.
• a profiler (gprof) based function placement optimizer

As stated during the lecture don’t hesitate to contact me or Albert if you have questions.

The third assignment is online. The list of last year’s topics will follow.

Hi,

I have taken a first look at assignment 1. The intermediate results are in svn (…/a1/grade). I will take a closer look at the code next week, which will then determine the final points. I don’t expect much changes unless you cheated.

The grade-file also contains some comments concerning the correctness of the SSA construction. I suggest that if your solution did no pass all SSA-tests you should continue with the master solution.

Have a nice weekend,

Albert

Hi,

I set new access permissions for the second assignment. You can create a new repository at:

https://svn.id.ethz.ch/cd2_students/2007hs/teams/teamxx/frameworks/a2/
You can either use your own code or the master solution, which you can get from:

https://svn.id.ethz.ch/cd2_students/2007hs/frameworks/a1_sol/

Cheers,

Albert

A course and assignment table is available (the lecture topics are not yet definitive):

http://www.lst.inf.ethz.ch/teaching/lectures/hs07/223/schedule.html

we fixed a new due date for assignment 2:

it is 2007-11-15 10 p.m.

Cheers,

Albert

There is a recitation class this friday.

We will discuss assignment2, which covers

- constant folding

- CSE

- copy propagation

Also, we will talk about optimizations in general, which might be interesting for assignment 3.

Cheers,

Albert

P.S.: I think 9:15 should be fine

Topics covered in lecture:

SSA & references

Optimizations based on SSA

constant propagation

copy propagation

constant folding

Method Resolution

CSE

PRE

Cheers

Albert

Tomorrow (2007-10-19) will be no class

Cheers,

Albert