In this talk, I will report recent results about quantizations of exact Lagrangians using microlocal sheaves of spectra, and some applications. These include a complete characterization of obstructions to quantizations which can be seen as an upgrade of the Maslov index to the higher topological levels, and an alternative proof of a result of Abouzaid--Kragh concerning compact exact smooth Lagrangians in cotangent bundles.