My first student, Arash Sahebolamri, passed his PhD proposal today (hoping to defend in several months). He has worked on highly-optimized declarative languages for implementing higher-order program analyses, including Ascent (https://s-arash.github.io/ascent/) and https://arxiv.org/abs/2211.11573.