Home

You're probably looking for the Meeting Notes.

Some older pages are:

• Eliminating useless changes (often introduced by brute force), described in Green-Red strategy.
• Characterizing the space of equivalent programs, described in Spectral Hypothesis.
• Detecting problem subexpressions to fix those first.

Also useful is

• The Related Work collection.
• A discussion of Venues.