The content for the 2007 Design Research Summer School is located at http://www.cs.cmu.edu/~sfinger/summerschool/
You will be taken there automatically in seconds or click here