Franz Franchetti (Associate Research Professor, Carnegie Mellon University, USA) | "Demystifying the Black Art of Autotuning and Formal Software...