Calendar

Together with my group and collaborators, I investigate novel code generation schemes empowered by new abstractions to improve compilers and impact innovation in both computing and other domains.
Compilers are used everywhere by everyone to build all software.
Scientific discovery, engineering, machine learning, mobile systems, and robotics are just a few examples where generating high performance machine code automatically is essential to achieving fast software innovation.
For example, scientific discovery often relies on software simulators, which have become the eyes of scientists.
The faster simulators go, the more precise the simulation can be or the more simulated time can be observed.
Mobile systems are another example: rendering web pages needs to be fast and energy efficient.
These characteristics enable the responsiveness and appeal we enjoy on our smartphones while not taking a toll on battery lifetime.
Beyond performance, software development needs to meet the demands of portability, reliability, security, correctness, new features, and time-to-market.
Meeting these demands requires high-level programming languages that often lead to inefficiencies due to the mismatch between the generated code and the underlying hardware execution model.
Developers have to constantly face and deal with this mismatch.
The status quo forces programmers to either reduce innovation to meet development demands or invest time to reimplement parts of the software at the low level.
Independent of the choice made, innovation slows.
By automatically generating high performance machine code, compilers have the potential to accelerate software innovation and benefit society as a whole.

Our research tackles the problem of automatically generating high performance machine code by focusing on two questions:
What are the compilation techniques that can erase the mismatch between software and hardware execution?
What are the hardware and software abstractions that enable such compilation techniques to reach their full potential?
In this talk, I will answer these questions for the most dominant computer architectures we have today from the ultra-low power architectures that power smart devices to the performance-aggressive CPUs that power servers.