Presenter

My research focuses on compiler technologies — code generation and optimization — as well as programming language design for parallel architectures, including GPU and CPU, based on formal methods. My overall research goal is to achieve *Performance* & *Portability* & *Productivity* for data-parallel computations with particular focus on computations relevant for deep learning platforms (e.g., linear algebra routines and stencil computations).