Performance Portability for Large-Scale Heterogeneous Systems
Supervisor: Christophe Dubach
MSR Supervisor: Ant Rowstron
Student: Paul-Jules Micolet (web (opens in new tab))
Provenance for Configuration Language Security
Supervisor: James Cheney
MSR Supervisor: Dimitrios Vytiniotis
Student: Weili Fu (web (opens in new tab))
Bayesian Probabilistic Programming for Security
Supervisor: David Aspinall
MSR Supervisor: Andy Gordon
Student: Marcin Szymczak (web (opens in new tab))