I will first describe certain conjectural Tate classes in the middle dimensional etale cohomology of many Shimura varieties over finite fields (e.g. Hilbert and Picard modular surfaces at inert primes). According to the Tate conjecture, there should exist corresponding algebraic cycles. Surprisingly, we find that these cycles are provided by the supersingular (or more precisely basic) loci of these Shimura varieties. This is based on a joint work with Liang Xiao.