Leslie Valiant wins 2010 ACM A. M. Turing Award