ACM Turing Award 2009 — Charles P. Thacker