Teachers

Tobias Grosser

University of Cambridge · Topic lead — Formal methods & IR

Tobias Grosser is an Associate Professor at the University of Cambridge, where he leads the Cambridge Compiler Lab. His work spans compiler design, programming languages, and high-performance computing, with contributions across the LLVM and MLIR ecosystems — including polyhedral loop optimisation in LLVM/Polly and the co-development of xDSL, a Python-native MLIR-style framework. Before Cambridge, he was a Reader at the University of Edinburgh, an Ambizione Fellow at ETH Zurich, and a Google PhD Fellow at Inria / ENS Paris. His current interests include multi-level compilers for AI and HPC, formal semantics and verification for MLIR dialects, and open-source infrastructure that makes compiler design a practical everyday tool.

William S. Moses

University of Illinois Urbana-Champaign · Topic lead — HPC

William Moses is an Assistant Professor at the University of Illinois in the Computer Science and Electrical and Computer Engineering departments and a Researcher at Google. He received a Ph.D. in Computer Science from MIT, where he also received his M.Eng in electrical engineering and computer science (EECS) and B.S. in EECS and physics. William's research involves creating compilers and program representations that enable performance and use-case portability, thus enabling non-experts to leverage the latest in high-performance computing and ML. He is known as the lead developer of Enzyme, an automatic differentiation tool for LLVM, and the lead developer of Polygeist, a polyhedral compiler and C++ frontend for MLIR. He has also worked on the Tensor Comprehensions framework for synthesizing high-performance GPU kernels of ML code, the Tapir compiler for parallel programs, and compilers that use machine learning to better optimize. He is a recipient of the ACM SIGHPC Doctoral Dissertation Award, a U.S. Department of Energy Computational Science Graduate Fellowship, and the Karl Taylor Compton Prize, MIT's highest student award.

Ayal Zaks

Mobileye · Topic lead — Backends

Ayal Zaks is a Fellow at Mobileye, where he works on compiler technology for specialised architectures, and a senior adjunct lecturer at the Technion. His research and engineering interests include compiler middle-end and back-end analysis and transformations for thread-, data-, and instruction-level parallelism. Before Mobileye he spent a decade at Intel leading compiler development and research, and earlier managed the compiler technologies group at IBM's Haifa Research Laboratory. He received B.Sc., M.Sc., and Ph.D. degrees in Mathematics and Operations Research from Tel Aviv University, and has long been active in the LLVM community and in academic–industrial collaboration on compilation.

Alex Zinenko

Google · Topic lead — Front-ends

Alex Zinenko is a research engineer at Google. He previously served as Chief Scientist at Brium Inc., a company in high-performance AI that has since been acquired by AMD, and earlier worked as a staff research engineer at Google DeepMind and as a research engineer at Inria. Alex obtained his PhD from Université Paris-Saclay (Paris-Sud XI) for his work on “Interactive Program Restructuring”. His research interests span compilation, high-performance systems, and interactive software visualisation, with a shared goal of making it effective to write efficient programs.

See Topics for topic descriptions and Organization for the organizing and steering committees.