ACM Fellows
USA - 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.
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.