Fellow
United States – 2009
CITATION

For his contributions to program analysis for parallel computing and techniques for enabling software systems to execute successfully in the face of errors and failures.