KAUST CEMSE CS Seminar Riyadh Baghdadi Building Compilers for High-Performance Code Generation