||In the study Shimura varieties, it is an important question to count the points reduction modulo p (Langlands-Rapoport conjecture) as it provides a way to compute the Hasse-Weil zeta function. The most interesting piece showing up in the point counting is affine Deligne-Lusztig variety (ADLV) and it has been studied in various level structures including the hyperspecial level and the Iwahori level. In this talk, we will see explicit examples of ADLV described as a set of certain lattices and flags. Moreover, we will discuss the nonemptiness criterion for ADLV along with the results already known and newly discovered. If time permits, the dimension formula will be discussed shortly.