The Compilation Game

Speaker: external page Tobias Grosser, external page University of Edinburgh
Time: Friday, September 08, 13:00 - 14:00
Place: CNB H 102
Talk title: The Compilation Game

Download Talk Slides (PDF, 6.3 MB)

Bio: Tobias Grosser is a reader (associate professor) in the external page School of Informatics at the external page University of Edinburgh and a member of the external page Edinburgh Compiler and Architecture Design Group. He is most widely known for his work on polyhedral loop optimization in production compilers such as GCC (graphite) and LLVM (Polly) during his masters at external page University of Passau (DE) with Christian Lengauer and later his Ph.D. as a Google Fellow at external page Ecole Normale Supérieure Paris (FR) Albert Cohen. As Ambizione Fellow at ETH Zurich Tobias expanded his research towards high-performance linear programming solvers, domain-specific compilers (e.g., for climate science), and open-source software for hardware design. Today, Tobias is interested in bringing open-source production compiler technology to a wide range of domains (e.g, databases, SMT solvers, formal theorem provers) and is in particular interested in identifying new ideas that cross domain boundaries