Research Focus

Compilers translate coded programs written in high level languages into machine instructions that can be understood by processors. System software, such as operating systems, hypervisors, and distributed protocols, are also essential components of modern computing systems. Our research explores how to build these compilers and system software to make full use of computing hardware as it continues to evolve.