In 2011,
Michael Harris and Shin resolved the dependencies on improved forms of the
Arthur–Selberg trace formula in the conditional proofs of generalizations of the
Sato–Tate conjecture by Harris (for products of non-
isogenous elliptic curves) and Barnet-Lamb–Geraghty–Harris–
Taylor (for arbitrary non-
CM holomorphic
modular forms of weight greater than or equal to two). ==Awards==