Workshop on Sheaf-Theoretic Methods in Symplectic Topology
Nadler, Microlocal Branes are constructible sheaves, by D. Nadler
Microlocal condition for non-displaceablility, by D. Tamarkyn
Sheaf quantization of Hamiltonian isotopies and applications to non displaceability problems,
by S. Guillermou, M. Kashiwara and P. Schapira