KAUST CEMSE Workshop Roy Maxion Reproducibility in Computer Science part 2